Logic and Mathematics
Stephen G. Simpson
Department of Mathematics
April 30, 1999
Pennsylvania State University
This article is an overview of logic and the philosophy of mathematics. It is intended for the general reader. It has appeared in the volume The Examined Life: Readings from Western Philosophy from Plato to Kant, edited by Stanley Rosen, published in 2000 by Random House.
Logic is the science of formal principles of reasoning or correct inference. Historically, logic originated with the ancient Greek philosopher Aristotle. Logic was further developed and systematized by the Stoics and by the medieval scholastic philosophers. In the late 19th and 20th centuries, logic saw explosive growth, which has continued up to the present.
One may ask whether logic is part of philosophy or independent of it. According to Bochenski [2, §10B], this issue is nowhere explicitly raised in the writings of Aristotle. However, Aristotle did go to great pains to formulate the basic concepts of logic (terms, premises, syllogisms, etc.) in a neutral way, independent of any particular philosophical orientation. Thus Aristotle seems to have viewed logic not as part of philosophy but rather as a tool or instrument1 to be used by philosophers and scientists alike. This attitude about logic is in agreement with the modern view, according to which the predicate calculus (see 1.2 below) is a general method or framework not only for philosophical reasoning but also for reasoning about any subject matter whatsoever.
Logic is the science of correct reasoning. What then is reasoning? According to Aristotle [13, Topics, 100a25], reasoning is any argument in which certain assumptions or premises are laid down and then something other than these necessarily follows. Thus logic is the science of necessary inference. However, when logic is applied to specific subject matter, it is important to note that not all logical inference constitutes a scientifically valid demonstration. This is because a piece of formally correct reasoning is not scientifically valid unless it is based on a true and primary starting point. Furthermore, any decisions about what is true and primary do not pertain to logic but rather to the specific subject matter under consideration. In this way we limit the scope of logic, maintaining a sharp distinction between logic and the other sciences. All reasoning, both scientific and non-scientific, must take place within the logical framework, but it is only a framework, nothing more. This is what is meant by saying that logic is a formal science.
For example, consider the following inference:
|Some real estate will increase in value.|
|Anything that will increase in value is a good investment.|
|Therefore, some real estate is a good investment.|
We shall now briefly indicate the basics of Aristotelean logic.
Aristotle's collection of logical treatises is known as the Organon. Of these treatises, the Prior Analytics contains the most systematic discussion of formal logic. In addition to the Organon, the Metaphysics2also contains relevant material. See Aristotle  and Ross .
Subjects and predicates
Aristotelean logic begins with the familiar grammatical distinction between subject and predicate. A subject is typically an individual entity, for instance a man3 or a house or a city. It may also be a class of entities, for instance all men. A predicate is a property or attribute or mode of existence which a given subject may or may not possess. For example, an individual man (the subject) may or may not be skillful (the predicate), and all men (the subject) may or may not be brothers (the predicate).
The fundamental principles of predication are:
- Identity. Everything is what it is and acts accordingly. In symbols: is .For example, an acorn will grow into an oak tree and nothing else.
- Non-contradiction. It is impossible for a thing both to be and not to be. A given predicate cannot both belong and not belong to a given subject in a given respect at a given time. Contradictions do not exist. Symbolically: and non- cannot both be the case.For example, an honest man cannot also be a thief.
- Either-or. Everything must either be or not be. A given predicate either belongs or does not belong to a given subject in a given respect at a given time. Symbolically: Either or non-.For example, a society must be either free or not free.
According to Aristotelean logic, the basic unit of reasoning is the syllogism. For example, the real estate inference which was presented above is a syllogism. It is of the formHere denotes real estate, denotes increase in value, and denotes a good investment. Just as in the case of this example, every syllogism consists of two premises and one conclusion. Each of the premises and the conclusion is of one of four types: The letters , , are known as terms. Every syllogism contains three terms. The two premises always share a common term which does not appear in the conclusion. This is known as the middle term. In our real estate example, the middle term is , i.e., that which increases in value.
In order to classify the various types of syllogisms, one must take account of certain symmetries. In particular, ``no is '' and ``no is '' are equivalent, as are ``some is '' and ``some is ''. Furthermore, the order of the two premises in a syllogism does not matter. Allowing for these symmetries, we can enumerate a total of possible syllogistic forms. Of these , only represent correct inferences. For example, the formrepresents a correct inference, while does not.
The classification of syllogisms leads to a rather complex theory. Medieval thinkers perfected it and developed ingenious mnemonics to aid in distinguishing the correct forms from the incorrect ones. This culminated in the famous pons asinorum (``bridge of asses''), an intricate diagram which illustrates all of the syllogistic forms by means of a contrast between the good and the pleasurable. See Bochenski [2, §24H, §32F].
The predicate calculus
In 1879 the German philosopher Gottlob Frege published a remarkable treatise, the Begriffsschrift (``concept script'') . This brilliant monograph is the origin of modern logical theory. However, Frege's account was defective in several respects, and notationally awkward to boot. Instead of Frege's system, we shall present a streamlined system known as first-order logic or the predicate calculus.
The predicate calculus dates from the 1910's and 1920's. It is basic for all subsequent logical research. It is a very general system of logic which accurately expresses a huge variety of assertions and modes of reasoning. We shall see that it is much more flexible than the Aristotelean syllogistic.
Predicates and individuals
In the predicate calculus, the subject/predicate distinction is drawn somewhat differently from the way it is drawn in Aristotelean logic. The main point here is that, in the predicate calculus, a subject is always an individual entity, never a class of entities. For example, an individual man can be treated as a subject, but the class of all men must be treated as a predicate. Since a subject in the predicate calculus is always an individual entity, it is usual to speak of individuals rather than subjects. We shall follow this customary practice.
The predicate calculus makes heavy use of symbolic notation. Lower-case letters , , , ..., , , , ... are used to denote individuals. Upper-case letters , , , , , ... are used to denote predicates. Simple assertions may be formed by juxtaposing a predicate with an individual.
For example, if is the predicate ``to be a man'' and is the individual ``Socrates'', then denotes the assertion ``Socrates is a man''. The symbol is called an argument of . The predicate may be applied to any individual, and that individual is then an argument of . If is the individual ``New York'', then asserts, falsely, that New York is a man. In general, if is any individual whatsoever, then is the assertion that is a man. This assertion may or may not be true, depending on what is. The expression is called an atomic formula of the predicate calculus.
Some predicates require more than one argument. For example, if is the predicate ``bigger than'', then denotes the assertion `` is bigger than ''. Thus requires two arguments, and is an atomic formula. If we try to use with only one argument, we obtain something like , i.e., `` is bigger than''. This is not an atomic formula or any other kind of assertion. It is only a meaningless combination of symbols. In analogy with English grammar, we could say that is like a grammatically correct sentence, while is merely a sentence fragment. Such fragments play no role in the predicate calculus.
Let us now go into more detail about the role of individuals in the predicate calculus. We have already said that lower-case letters denote individuals. We now divide the lower-case letters into two groups: , , , ... near the beginning of the alphabet, and , , , ... near the end of the alphabet. We insist on an important grammatical or logical distinction between these two groups. Letters of the first group are known as individual constants or simply constants. As in the above examples, we think of them as denoting specific individuals, such as Socrates or New York. Letters of the second group are known as individual variables or simply variables. For example, is a variable. We think of as denoting not a specific individual but rather an arbitrary or unspecified individual.5
Formulas and logical operators
We have already mentioned two kinds of symbols: lower-case letters for individuals (constants and variables), and upper-case letters for predicates. In addition to these, the predicate calculus employs seven special symbols known as logical operators6:
A formula is a meaningful expression built up from atomic formulas by repeated application of the logical operators. In the above table, an ellipsis mark ... stands for a formula within a larger formula.
For example, suppose we have a predicate meaning ``is a man'', another predicate meaning ``is a truck'', and another predicate meaning ``drives''. Here and are predicates which require only one argument apiece. The predicate requires two arguments: the driver, and the vehicle being driven. Thus , , and are atomic formulas meaning `` is a man'', `` is a truck'', and `` drives '', respectively. A typical formula built from these atomic formulas is
Every man drives at least one truck.Similarly, the formula
Every truck is driven by at least one man.
In writing formulas, we often use parentheses as punctuation marks to indicate grouping and thereby remove ambiguity. If parentheses were not used, one could construe the formula in two logically inequivalent ways: as (`` is not a truck, and drives ''), or as (`` is not a truck that drives''). The parentheses allow us to choose the meaning that we intend.
The predicate calculus is very rich in expressive power. For example, the four Aristotelean premise types discussed in 1.1.2 can easily be rendered as formulas of the predicate calculus. Letting and be predicates which require one argument apiece, we haveIn the second line of this table, the universal negative ``no is '' could have been rendered equivalently as , or as .
The above table may tend to gloss over a subtle but philosophically significant difference between Aristotelean logic and the predicate calculus. Namely, where Aristotelean logic views as a subject and as a predicate, the predicate calculus views both and as predicates. This is typical of the different perspectives involved. Aristotelean logic emphasizes the universal essences of subjects or entities, while the predicate calculus elevates predicates to a position of supreme importance.
Logical validity and logical consequence
A formula of the predicate calculus is said to be logically valid if it is necessarily always true, regardless of the specific predicates and individuals involved. For example, the three fundamental principles of Aristotelean logic (see 1.1.1 above) correspond to formulas as follows:
The predicate calculus concept of logical validity subsumes the Aristotelean syllogism. Each syllogism corresponds to a logically valid implication
More generally, a formula is said to be a logical consequence of a set of formulas , ..., just in case
|all horses are animals,|
|therefore, the head of a horse is the head of an animal|
of the predicate calculus. Here , , denote ``is a horse'', ``is an animal'', ``is the head of'', respectively. Thus DeMorgan's conclusion is indeed a logical consequence of his premise.
The completeness theorem
Formulas of the predicate calculus can be exceedingly complicated. How then can we distinguish the formulas that are logically valid from the formulas that are not logically valid? It turns out that there is an algorithm10 for recognizing logically valid formulas. We shall now sketch this algorithm.
In order to recognize that a formula is logically valid, it suffices to construct what is known as a proof tree for , or equivalently a refutation tree for . This is a tree which carries at the root. Each node of the tree carries a formula. The growth of the tree is guided by the meaning of the logical operators appearing in . New nodes are added to the tree depending on what nodes have already appeared. For example, if a node carrying has appeared, we create two new nodes carrying and respectively. The thought behind these new nodes is that the only way for to be the case is if at least one of or is the case. Similarly, if a node carrying has already appeared, we create a new node carrying , where is the result of substituting a new constant for the variable throughout the formula . The idea here is that the only way for the universal statement to be false is if is false for some particular . Since is a new constant, is a formula which may be considered as the most general false instance of . Corresponding to each of the seven logical operators, there are prescribed procedures for adding new nodes to the tree. We apply these procedures repeatedly until they cannot be applied any more. If explicit contradictions11 are discovered along each and every branch of the tree, then we have a refutation tree for . Thus is seen to be logically impossible. In other words, is logically valid.
The adequacy of proof trees for recognizing logically valid formulas is a major insight of 20th century logic. It is a variant of the famous completeness theorem, first proved in 1930 by the great logician Kurt Gödel [5,22].
On the other hand, the class of logically valid formulas is known to be extremely complicated. Indeed, this class is undecidable: there is no algorithm12 which accepts as input an arbitrary formula and outputs ``yes'' if is logically valid and ``no'' if is not logically valid. In this sense, the concept of logical validity is too general and too intractable to be analyzed thoroughly. There will never be a predicate calculus analog of the pons asinorum.
The predicate calculus is a very general and flexible framework for reasoning. By choosing appropriate predicates, one can reason about any subject whatsoever. These considerations lead to the notion of a formal theory.
In order to specify a formal theory, one first chooses a small collection of predicates which are regarded as basic for a given field of study. These predicates are the primitives of the theory. They delimit the scope of the theory. Other predicates must be defined in terms of the primitives. Using them, one writes down certain formulas which are regarded as basic or self-evident within the given field of study. These formulas are the axioms of the theory. It is crucial to make all of our underlying assumptions explicit as axioms. Once this has been done, a theorem is any formula which is a logical consequence of the axioms. A formal theory is this structure of primitives, axioms, and theorems.
As a frivolous example, we could envision a theory of cars, trucks, and drivers. We would begin with some primitives such as (``is a car''), (``is a truck''), (``drives''), (``is a man''), etc. We could then write down certain obvious or self-evident axioms such as (``no man is a car''), (``every driver is a man''), etc. Then, within the constraints imposed by the axioms, we could investigate the logical consequence relationships among various non-obvious assertions, such as
More seriously, one could try to write down formal theories corresponding to various scientific disciplines, such as mechanics or statistics or law. In this way one could hope to analyze the logical structure of the respective disciplines.
The process of codifying a scientific discipline by means of primitives and axioms in the predicate calculus is known as formalization. The key issue here is the choice of primitives and axioms. They cannot be chosen arbitrarily. The scientist who chooses them must exercise a certain aesthetic touch. They must be small in number; they must be basic and self-evident; and they must account for the largest possible number of other concepts and facts.
To date, this kind of formal theory-building has been convincingly carried out in only a few cases. A survey is in Tarski . The most notable successes have been in mathematics.
Foundations of mathematics
Mathematics is the science of quantity. Traditionally there were two branches of mathematics, arithmetic and geometry, dealing with two kinds of quantities: numbers and shapes. Modern mathematics is richer and deals with a wider variety of objects, but arithmetic and geometry are still of central importance.
Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Among the most basic mathematical concepts are: number, shape, set, function, algorithm, mathematical axiom, mathematical definition, mathematical proof.
The reader may reasonably ask why mathematics appears at all in this volume. Isn't mathematics too narrow a subject? Isn't the philosophy of mathematics of rather specialized interest, all the more so in comparison to the broad humanistic issues of philosophy proper, issues such as the good, the true, and the beautiful?
There are three reasons for discussing mathematics in a volume on general philosophy:
- Mathematics has always played a special role in scientific thought. The abstract nature of mathematical objects presents philosophical challenges that are unusual and unique.
- Foundations of mathematics is a subject that has always exhibited an unusually high level of technical sophistication. For this reason, many thinkers have conjectured that foundations of mathematics can serve as a model or pattern for foundations of other sciences.
- The philosophy of mathematics has served as a highly articulated test-bed where mathematicians and philosophers alike can explore how various general philosophical doctrines play out13 in a specific scientific context.
The purpose of this section is to indicate the role of logic in the foundations of mathematics. We begin with a few remarks on the geometry of Euclid. We then describe some modern formal theories for mathematics.
The geometry of Euclid
Above the gateway to Plato's academy appeared a famous inscription:
Let no one who is ignorant of geometry enter here.In this way Plato indicated his high opinion of geometry. According to Heath [9, page 284], Plato regarded geometry as ``the first essential in the training of philosophers'', because of its abstract character. See also Plato [17, Republic, 527B].
In the Posterior Analytics , Aristotle laid down the basics of the scientific method.14 The essence of the method is to organize a field of knowledge logically by means of primitive concepts, axioms, postulates, definitions, and theorems. The majority of Aristotle's examples of this method are drawn from arithmetic and geometry [1,7,9].
The methodological ideas of Aristotle decisively influenced the structure and organization of Euclid's monumental treatise on geometry, the Elements . Euclid begins with 21 definitions, five postulates, and five common notions. After that, the rest of the Elements are an elaborate deductive structure consisting of hundreds of propositions. Each proposition is justified by its own demonstration. The demonstrations are in the form of chains of syllogisms. In each syllogism, the premises are identified as coming from among the definitions, postulates, common notions, and previously demonstrated propositions. For example, in Book I of the Elements, the demonstration of Proposition 16 (``in any triangle, if one of the sides be produced, the exterior angle is greater than either of the interior and opposite angles'') is a chain of syllogisms with Postulate 2, Common Notion 5, and Propositions 3, 4 and 15 (``if two straight lines cut one another, they make the vertical angles equal to one another'') occurring as premises. It is true that the syllogisms of Euclid do not always conform strictly to Aristotelean templates. However, the standards of rigor are very high, and Aristotle's influence is readily apparent.
The logic of Aristotle and the geometry of Euclid are universally recognized as towering scientific achievements of ancient Greece.
Formal theories for mathematics
A formal theory for geometry
With the advent of calculus in the 17th and 18th centuries, mathematics developed very rapidly and with little attention to logical foundations. Euclid's geometry was still regarded as a model of logical rigor, a shining example of what a well-organized scientific discipline ideally ought to look like. But the prolific Enlightenment mathematicians such as Leonhard Euler showed almost no interest in trying to place calculus on a similarly firm foundation. Only in the last half of the 19th century did scientists begin to deal with this foundational problem in earnest. The resulting crisis had far-reaching consequences. Even Euclid's geometry itself came under critical scrutiny. Geometers such as Moritz Pasch discovered what they regarded as gaps or inaccuracies in the Elements. Great mathematicians such as David Hilbert entered the fray.
An outcome of all this foundational activity was a thorough reworking of geometry, this time as a collection of formal theories within the predicate calculus. Decisive insights were obtained by Alfred Tarski. We shall sketch Tarski's formal theory for Euclidean15 plane geometry.16
As his primitive predicates, Tarski takes (``point''), (``between''), (``distance''), (``identity''). The atomic formulas , , , and mean `` is a point'', `` lies between and '', ``the distance from to is equal to the distance from to '', and `` is identical to '', respectively. Geometrical objects other than points, such as line segments, angles, triangles, circles, etc., are handled by means of the primitives. For example, the circle with center and radius consists of all points such that holds.
In geometry, two points and are considered identical if the distance between them is zero. Tarski expresses this by means of an axiom
Altogether Tarski presents twelve axioms, plus an additional collection of axioms expressing the idea that a line is continuous. The full statement of Tarski's axioms for Euclidean plane geometry is given at [10, pages 19-20]. Let be the formal theory based on Tarski's axioms.
Remarkably, Tarski has demonstrated that is complete. This means that, for any purely geometrical17 statement , either or is a theorem of . Thus we see that the axioms of suffice to answer all yes/no questions of Euclidean plane geometry. Combining this with the completeness theorem of Gödel, we find that is decidable: there is an algorithm18 which accepts as input an arbitrary statement of plane Euclidean geometry, and outputs ``true'' if the statement is true, and ``false'' if it is false. This is a triumph of modern foundational research.
A formal theory for arithmetic
By arithmetic we mean elementary school arithmetic, i.e., the study of the positive whole numbers , , , ... along with the familiar operations of addition () and multiplication (). This part of mathematics is obviously fundamental, yet it turns out to be surprisingly complicated. Below we write down some of the axioms which go into a formal theory of arithmetic.19
Our primitive predicates for arithmetic are (``number''), (``addition''), (``multiplication''), (``identity''). The atomic formulas , , , mean `` is a number'', ``'', ``'', ``'', respectively. Our axioms will use the predicates , , , to assert that for any given numbers and , the numbers and always exist and are unique. We shall also have axioms expressing some well known arithmetical laws:Let be the formal theory specified by the above primitives and axioms.
It is known that suffices to derive many familiar arithmetical facts. For example, may be expressed, awkwardly20 to be sure, as orand this formula is indeed a theorem of , i.e., a logical consequence of the axioms of . Another theorem of is
On the other hand, the axioms of are by no means exhaustive. They can be supplemented with other axioms expressing the so-called mathematical induction or least number principle: if there exists a number having some well-defined property, then among all numbers having the property there is a smallest one. The resulting formal theory is remarkably powerful, in the sense that its theorems include virtually all known arithmetical facts. But it is not so powerful as one might wish. Indeed, any formal theory which includes is necessarily either inconsistent22 or incomplete. Thus there is no hope of writing down enough axioms or developing an algorithm to decide all arithmetical facts. This is a variant of the famous 1931 incompleteness theorem of Gödel [5,22]. There are several methods of coping with the incompleteness phenomenon, and this constitutes a currently active area of research in foundations of mathematics.
The contrast between the completeness of formal geometry and the incompleteness of formal arithmetic is striking. Both sides of this dichotomy are of evident philosophical interest.
A formal theory of sets
One of the aims of modern logical research is to devise a single formal theory which will unify all of mathematics. Such a theory will necessarily be subject to the Gödel incompleteness phenomenon, because it will incorporate not only but also .
One approach to a unified mathematics is to straightforwardly embed arithmetic into geometry, by identifying whole numbers with evenly spaced points on a line. This idea was familiar to the ancient Greeks. Another approach is to explain geometry in terms of arithmetic and algebra, by means of coordinate systems, like latitude and longitude on a map. This idea goes back to the 17th century mathematician and philosopher René Descartes and the 19th century mathematician Karl Weierstrass. Both approaches give rise to essentially the same formal theory, known as second-order arithmetic.23 This theory includes both and and is adequate for the bulk of modern mathematics. Thus the decision about whether to make geometry more fundamental than arithmetic or vice versa seems to be mostly a matter of taste.
A very different approach to a unified mathematics is via set theory. This is a peculiarly 20th century approach. It is based on one very simple-looking concept: sets. Remarkably, this one concept leads directly to a vast structure which encompasses all of modern mathematics.
A set is a collection of objects called the elements of the set. We sometimes use informal notations such as to indicate that is a set consisting of elements , , .... The number of elements in a set can be arbitrarily large or even infinite. A basic principle of set theory is that a set is determined by its elements. Thus two sets are identical if and only if they have the same elements. This principle is known as extensionality. For example, the set is considered to be the same set as because the elements are the same, even though written in a different order.
Much of the complexity of set theory arises from the fact that sets may be elements of other sets. For instance, the set is an element of the set and this is distinct from the set .
For a formal theory of sets, we use three primitives: (``set''), (``identity''), (``element''). The atomic formulas , , mean `` is a set'', `` is identical to '', `` is an element of '', respectively. One of the ground rules of set theory is that only sets may have elements. This is expressed as an axiom . In addition there is an axiom of extensionality
The set theory approach to arithmetic is in terms of the non-negative whole numbers , , , , .... These numbers are identified with specific sets. Namely, we identify with the empty set , with , with , with , etc. In general, we identify the number with the set of smaller numbers . Among the axioms of is an axiom of infinity asserting the existence of the infinite set . One can use the set to show that includes a theory equivalent to . After that, one can follow the ideas of Descartes and Weierstrass to see that also includes a theory equivalent to . It turns out that the rest of modern mathematics can also be emulated within . This includes an elaborate theory of infinite sets which are much larger than .
The set-theoretical approach to arithmetic and geometry is admittedly somewhat artificial. However, the idea of basing all of mathematics on one simple concept, sets, has exerted a powerful attraction.24 The implications of this idea are not yet fully understood and are a topic of current research.
Philosophy of mathematics
In this section we indicate some issues and trends in the philosophy of mathematics.
Plato and Aristotle
The objects that are studied in mathematics tend to be somewhat abstract and remote from everyday perceptual experience. Therefore, the existence and nature of mathematical objects present special philosophical challenges. For example, is a geometrical square different from a square floor tile? If so, then where is the geometrical square? Is it on the floor, in our minds, or somewhere else? And what about sets? Is a set of cards something other than the cards themselves?
The ancient Greek philosophers took such questions very seriously. Indeed, many of their general philosophical discussions were carried on with extensive reference to geometry and arithmetic. Plato seemed to insist that mathematical objects, like the Platonic forms or essences, must be perfectly abstract and have a separate, non-material kind of existence. Aristotle [1,7,13,19] dissected and refuted this view in books and of the Metaphysics. According to Aristotle, the geometrical square is a significant aspect of the square floor tile, but it can only be understood by discarding other irrelevant aspects such as the exact measurements, the tiling material, etc. Clearly these questions provide much food for philosophical analysis and debate.
The 20th century
In the 20th century, the advent of the predicate calculus and the digital computer profoundly affected our view of mathematics. The discovery that all of mathematics can be codified in formal theories created a huge stir. One expression of this excitement was the rise of an extreme philosophical doctrine known as formalism.25
According to formalism, mathematics is only a formal game, concerned solely with algorithmic manipulation of symbols. Under this view, the symbols of the predicate calculus do not denote predicates or anything else. They are merely marks on paper, or bits and bytes in the memory of a computer. Therefore, mathematics cannot claim to be any sort of knowledge of mathematical objects. Indeed, mathematical objects do not exist at all, and the profound questions debated by Plato and Aristotle become moot. Mathematics is nothing but a kind of blind calculation.
The formalist doctrine fits well with certain modern trends in computer science, e.g., artificial intelligence. However, formalism has proved inadequate as an integrated philosophy of mathematics, because it fails to account for human mathematical understanding, not to mention the spectacular applications of mathematics in fields such as physics and engineering.
By way of reaction against formalism, several alternative doctrines have been advocated. One of these is constructivism, the idea that mathematical knowledge can be obtained by means of a series of purely mental constructions. Under this view, mathematical objects exist solely in the mind of the mathematician, so mathematical knowledge is absolutely certain. However, the status of mathematics vis a vis the external world becomes doubtful. An extreme version of constructivism is so solipsistic that it does not even allow for the possibility of mathematical communication from one mind to another.
An additional disturbing feature of constructivism is that it entails rejection of the basic laws of logic. To see how this comes about, consider some specific mathematical problem or question26 of a yes/no nature, for which the answer is currently unknown. (Mathematics abounds with such questions, and the Gödel incompleteness phenomenon suggests that such questions will always exist.) Express the ``yes'' answer as a formula and the ``no'' answer as the negated formula . Since the answer is unknown, neither nor is in the mind of the mathematician. Therefore, according to the constructivists, the disjunction is not a legitimate mathematical assumption. Thus Aristotle's either-or principle (see 1.1.1 and 1.2.3 above) must be abandoned.27
Constructivism has the merit of allowing human beings to possess mathematical knowledge. However, the constructivist rejection of the external world and of Aristotelean logic are highly unpalatable to most mathematicians and mathematically oriented scientists. For this reason, constructivism remains a fringe movement on the 20th century mathematical landscape.
Another 20th century philosophical doctrine has arisen from set-theoretical foundations. The reliance on infinite sets suggests many perplexing questions. What do such sets correspond to in reality? Where are they, and how can the human mind grasp them? In order to boldly answer these questions, and as a reaction against formalism, many researchers in axiomatic set theory have subscribed to what is known as set-theoretical Platonism. According to this variant of the Platonic doctrine, infinite sets exist in a non-material, purely mathematical realm. By extending our intuitive understanding of this realm, we will be able to cope with chaos issuing from the Gödel incompleteness phenomenon. The most prominent and frequently cited authority for this kind of Platonism is Gödel himself .
There is a good fit between set-theoretical Platonism and certain aspects of 20th century mathematical practice. However, as a philosophical doctrine, set-theoretical Platonism leaves much to be desired. Many of Aristotle's objections to the Platonic forms are still cogent. There are serious questions about how a theory of infinite sets can be applicable to a finite world.
We have mentioned three competing 20th century doctrines: formalism, constructivism, set-theoretical Platonism. None of these doctrines are philosophically satisfactory, and they do not provide much guidance for mathematically oriented scientists and other users of mathematics. As a result, late 20th century mathematicians have developed a split view, a kind of Kantian schizophrenia, which is usually described as ``Platonism on weekdays, formalism on weekends''. In other words, they accept the existence of infinite sets as a working hypothesis in their mathematical research, but when it comes to philosophical speculation, they retreat to a formalist stance. Thus they have given up hope of an integrated view which accounts for both mathematical knowledge and the applicability of mathematics to physical reality. In this respect, the philosophy of mathematics is in a sorry state.
From the Renaissance through the 20th century, Aristotle's ideas about the nature of mathematical objects have been neglected and ignored. Now the time seems ripe for a renovation of the philosophy of mathematics, based on Aristotelean and neo-Aristotelean  ideas and bolstered by the techniques of modern logic, including the predicate calculus.
The great mathematician David Hilbert anticipated such a renovation in his 1925 essay, On the Infinite . Hilbert was aware that, according to modern physics, the physical universe is finite. Yet infinite sets were playing an increasingly large role in the mathematics of the day. Hilbert therefore recognized that the most vulnerable chink in the armor of mathematics was the infinite. In order to defend what he called ``the honor of human understanding'', Hilbert proposed to develop a new foundation of mathematics, in which formal theories of infinite sets, such as , would be rigorously justified by reference to the finite. This is Hilbert's program of finitistic reductionism.28
Although Hilbert did not cite Aristotle, we can imagine that Hilbert would have profited from an examination of Aristotle's distinction between actual and potential infinity. An actual infinity is something like an infinite set regarded as a completed totality. A potential infinity is more like a finite but indefinitely long, unending series of events. According to Aristotle, actual infinities cannot exist, but potential infinities exist in nature and are manifested to us in various ways, for instance the indefinite cycle of the seasons, or the indefinite divisibility of a piece of gold.
In any case, it turned out that Hilbert had stated his program in too sweeping a fashion. The wholesale finitistic reduction which Hilbert desired cannot be carried out. This follows from Gödel's incompleteness theorem [5,22]. The remarkable results obtained by Gödel in 1931 caused the philosophical ideas of Hilbert's 1925 essay to fall into disrepute. Hilbert's grand foundational program appeared to be dead, broken beyond hope of repair.
The last 20 years have seen a revival of Hilbert's program. Recent foundational research  has revealed that, although is not finitistically reducible, there are other formal theories which are finitistically reducible, in the precise sense envisioned by Hilbert. Moreover, these other formal theories turn out to be adequate for a very large portion of mathematics. They do not encompass actual infinities such as , but they do include the main results of arithmetic and geometry and allied disciplines.
This new research has not yet had an impact on the philosophy of mathematics or on mathematical practice. Philosophers and mathematicians are free to choose which directions to pursue and which techniques to emphasize. Only time will reveal the future evolution of the philosophy of mathematics.
- Hippocrates G. Apostle.
Aristotle's Philosophy of Mathematics.
University of Chicago Press, 1952.
X + 228 pages.
- I. M. Bochenski.
A History of Formal Logic.
Chelsea Publishing Company, New York, 2nd edition, 1970.
Translated and edited by Ivo Thomas, XXII + 567 pages.
- Haskell B. Curry.
Outlines of a Formalist Philosophy of Mathematics.
Studies in Logic and the Foundations of Mathematics. North-Holland, 1951.
VII + 75 pages.
- Melvin Fitting.
First-Order Logic and Automated Theorem Proving.
Graduate Texts in Computer Science. Springer-Verlag New York Inc., 2nd edition, 1996.
XVI + 326 pages.
- Kurt Gödel.
Oxford University Press, 1986-1995.
Volume I, XVIII + 474 pages, 1986, Volume II, XVI + 407 pages, 1990, Volume III, XX + 532 pages, 1995.
- Petr Hájek and Pavel Pudlák.
Metamathematics of First-Order Arithmetic.
Perspectives in Mathematical Logic. Springer-Verlag, 1993.
XIV + 460 pages.
- Thomas Heath.
Mathematics in Aristotle.
Clarendon Press, Oxford, 1949.
XIV + 291 pages.
- Thomas Heath.
The Thirteen Books of Euclid's Elements.
Dover Publications, New York, 2nd revised edition, 1956.
- Thomas Heath.
A History of Greek Mathematics.
Dover Publications, New York, 1981.
Volume I, XV + 446 pages, Volume II, XI + 586 pages.
- Leon Henkin, Patrick Suppes, and Alfred Tarski, editors.
The Axiomatic Method, With Special Reference to Geometry and Physics.
Studies in Logic and the Foundations of Mathematics. North-Holland, 1959.
XI + 488 pages.
- Thomas Jech.
Academic Press, 1978.
XI + 621 pages.
- Morris Kline.
Why Johnny Can't Add.
St. Martin's Press, 1973.
- Richard McKeon, editor.
The Basic Works of Aristotle.
Random House, 1941.
XXXIX + 1487 pages.
- Elliott Mendelson.
Boolean Algebra and Switching Circuits.
Schaum's Outline Series. 1970.
- Elliott Mendelson.
Introduction to Mathematical Logic.
Wadsworth, 3rd edition, 1987.
IX + 341 pages.
- Leonard Peikoff.
Objectivism: The Philosophy of Ayn Rand.
Dutton, New York, 1991.
XV + 493 pages.
Oxford, Clarendon Press, 4th edition, 1964.
Translated by Benjamin Jowett.
- Ayn Rand.
Random House, New York, 1957.
V + 1168 pages.
- David Ross.
Barnes and Noble, 5th revised edition, 1964.
XIV + 300 pages.
- Stephen G. Simpson.
Subsystems of Second Order Arithmetic.
Perspectives in Mathematical Logic. Springer-Verlag, 1999.
XIV + 445 pages.
- Alfred Tarski.
Introduction to Logic and to the Methodology of Deductive Sciences.
Oxford University Press, 4th edition, 1994.
XXII + 229 pages.
- J. van Heijenoort, editor.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.
Harvard University Press, 1971.
Second Printing. XII + 660 pages.
About this document ...Logic and Mathematics
This document was generated using the LaTeX2 translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
The translation was initiated by Stephen G Simpson on 2009-01-16
- ... instrument1
- The Greek word for instrument is organon. The collection of Aristotle's logical writings is known as the Organon.
- ... Metaphysics2
- The Metaphysics is Aristotle's treatise on the science of existence, i.e., being as such. It includes a detailed analysis of the various ways in which a thing can be said to be.
- ... man3
- We use man in the traditional sense, equivalent to ``human being''. There is no intention to exclude persons of the female gender.
- ... Shrugged4
- A survey conducted for the Book-of-the-Month Club and the Library of Congress in 1991 found that Atlas Shrugged is the most influential book in the United States of America, second only to the Bible. See .
- ... individual.5
- The idea of using letters such as and as variables is of great value. Historically, the creators of the predicate calculus borrowed this idea from the mathematical discipline known as algebra. Recall that algebra is a kind of generalized arithmetic. In algebra there are constants, i.e., specific quantities such as , the square root of , etc., but there are also variables such as , , etc. The key idea of algebra is that a variable represents an unspecified or unknown quantity. It always stands for some quantity, but it may stand for any quantity. The use of variables makes algebra much more powerful than arithmetic. Variables help us to express and solve equations such as involving one or more unknown quantities. Variables can also be used to express arithmetical laws such as .
- ... operators6
- The first five logical operators (, , , , ) are equivalent to so-called ``Boolean logic gates'' of electrical engineering. Formulas built from them may be viewed as representations of the binary switching circuits that control the operation of modern digital computers. See Mendelson [14,15].
- ... implication7
- This is the so-called ``material implication'': is equivalent to .
- ... bi-implication8
- This is called bi-implication because
There are many snippets that can be found. I like the following bit of the foreword by Thurston to J. H. Hubbard's Teichmüller Theory. I share the remarks because I think you simply can't have enough of Bill Thurston's insights:
"Mathematics is a paradoxical, elusive subject, with the habit of appearing clear and straightforward, then zooming away and leaving us stranded in a blank haze.
It is easy to forget that mathematics is primarily a tool for human thought. Mathematical thought is far better defined and far more logical than everyday thought, and people can be fooled into thinking of mathematics as logical, formal, symbolic reasoning. But this is far from reality. Logic, formalization, and symbols can be very powerful tools for humans to use, but we are actually very poor at purely formal reasoning; computers are far better at formal computation and formal reasoning, but humans are far better mathematicians.
The most important thing about mathematics is how it resides in the human brain. Mathematics is not something we sense directly: it lives in our imagination and we sense it only indirectly. The choices of how it flows in our brains are not standard and automatic, and can be very sensitive to cues and context. Our minds depend on many interconnected special-purpose but powerful modules. We allocate everyday tasks to these various modules instinctively and subconsciously.
The term `geometry', for instance, refers to a pattern of processing within our brains related to our spatial and visual senses, more than it refers to a separate content area of mathematics. One illustration of this is the concept of correlation between two measurements on a set, which is formally nearly identical with the concept of cosine of the angle between two vectors. The content is almost the same (for correlation, you first project to a hyperplane before measuring the cosine of the angle), but the human psychology is very different. Each mode of thinking has its own power, and ideally, people harness both modes of thought to work together. However, in formalized expositions, this psychological > difference vanishes.
In the same way, any idea in mathematics can be thought about in many different ways, with competing advantages. When mathematics is explained, formalized and written down, there is a strong tendency to favor symbolic modes of thought at the expense of everything else, because symbols are easier to write and more standardized than other modes of reasoning. But when mathematics loses its connection to our minds, it dissolves into a haze.
I've loved to read all my life. I went to New College of Sarasota, Florida, a small college that was just starting up with a strong emphasis on independent study, so I ended up learning a good deal of mathematics by reading mathematics books. At that time, I prided myself in reading quickly. I was really amazed by my first encounters with serious mathematics textbooks. I was very interested and impressed by the quality of the reasoning, but it was quite hard to stay alert and focused. After a few experiences of reading a few pages only to discover that I really had no idea what I'd just read, I learned to drink lots of coffee, slow way down, and accept that I needed to read these books at 1/10th or 1/50th standard reading speed, pay attention to every single word and backtrack to look up all the obscure numbers of equations and theorems in order to follow the arguments. Even so, when something was ``left to the reader'', I generally left it as well. At the time, I could appreciate that the mathematics was an impressive intellectual edifice, and I could follow the steps of proofs. I assumed that such an elaborate buildup must be leading to a fantastic denouement, which I eagerly awaited -- and waited, and waited.
It was only much later, after much of the mathematics I had studied had come alive for me that I came to appreciate how ineffective and denatured the standard ((definition theorem proof)^n remark)^m style is for communicating mathematics. When I reread some of these early texts, I was stunned by how well their formalism and indirection hid the motivation, the intuition and the multiple ways to think about their subjects: they were unwelcoming to the full human mind.
John Hubbard approaches mathematics with his whole mind.
If you page through the current book, you will see many intriguing figures. That is a first sign: figures are one of the most important ways to keep our thought processes going in our whole brains, rather than settling down into the linguistic, symbol-handling areas. Of course, the figures in your imagination are even more important. Geometric ideas can be conveyed with words and with symbols, sometimes more effectively than with pictures, but a lack of figures is a good indication of a lack of geometry.
Another important part of human thinking is the emotional aspect. In mathematics, what is intriguing, puzzling, interesting, surprising, boring, tedious, exciting is crucial; they are not incidental, they shape how we think. Personally, my thinking was shaped by boredom: I develop intense urges to come up with `easy' methods in order to avoid tedious computations that are opaque to me. Hubbard, a principal participant in the mathematics he is discussing, has done an excellent job in conveying the drama."
There are also many very good interviews that can be found, such as this one with Connes, as well as the advice to young mathematicians in the Princeton Companion to Mathematics.