ABSTRACT

Mathematics and logic, historically speaking, have been entirely distinct studies. Mathematics has been connected with science, logic with Greek. But both have developed in modern times: logic has become more mathematical and mathematics has become more logical. It used to be said that mathematics is the science of “quantity.” Although all logical or mathematical propositions can be expressed wholly in terms of logical constants together with variables, it is not the case that, conversely, all propositions that can be expressed in this way are logical. It is clear that the definition of “logic” or “mathematics” must be sought by trying to give a new definition of the old notion of “analytic” propositions.