An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Pour le philosophe intéressé aux structures et aux fondements du savoir théorétique, à la constitution d'une « méta-théorétique «, θεωρíα., qui, mieux que les « Wissenschaftslehre » fichtéenne ou husserlienne et par-delà les débris de la métaphysique, veut dans une intention nouvelle faire la synthèse du « théorétique », la logique mathématique se révèle un objet privilégié.

On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

Do universities still need departments in the humanities—philosophy, history, languages, and so forth? Many today, particularly legislators with control over the funding of public universities, feel that the emphasis should be on, and only on, departments in the STEM field. Willem B. Drees, a former dean of humanities, makes a spirited defense of the worth of the humanities and of their continued place in higher education. This essay looks at Drees's arguments in a critical, yet appreciative, fashion. It is a (...) debate we need to have. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.I'll begin with some preliminary (...) remarks about the big three schools. This seems a reasonable approach to the issues both because most observers are familiar, at least in a general way, with the tenets of Intuitionism, Formalism, and Logicism, and because it is in reaction to these that contemporary Platonism has taken shape. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

I wish to ask what it is for something to be normal, what ‘normal’ means. In one sense we all know, since we freely use conceptions of normality in our everyday talk about things and people. Normality is what the conservative hopes to return to and the progressive hopes to establish. Normal weather is what we usually get at a given season; a normal day is one that is unrelieved by great strokes of either good or ill fortune. In some (...) contexts, to be normal is to be upright; in others to be average or mean. A normal person is one who is not diseased or crooked or mad, can learn and may forget, sleeps well, performs some job of work adequately, is not unbearably sensitive or thick-skinned, and so on. Sometimes a normal person is one who doesn't stand out from the crowd. Often, normal is what I am, and what you are if you are lucky enough to resemble me in certain respects. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then it is unsettled, not merely epistemically, but metaphysically, whether Harry is bald. In other words, vagueness is a type of indeterminacy. On the standard alternative, vagueness is a type of ignorance: if it is vague whether Harry is bald, then, even though it is metaphysically settled whether Harry is bald, we cannot know whether Harry is bald. On my view, vagueness is neither a type of (...) indeterminacy nor a type of ignorance. Rather, it is sui generis. (shrink)

In his 1763 Prize Essay, Kant is thought to endorse a version of formalism on which mathematical concepts need not apply to extramental objects. Against this reading, I argue that the Prize Essay has sufficient resources to explain how the objective reference of mathematical concepts is secured. This account of mathematical concepts’ objective reference employs material from Wolffian philosophy. On my reading, Kant's 1763 view still falls short of his Critical view in that it does not explain the universal, unconditional (...) applicability of mathematical concepts. (shrink)

The view is advocated that to preserve a deductivist account of science against recent criticism, it is necessary to incorporate experimental error, or imprecision, in the deductive structure. The sources of imprecision in empirical variables are analyzed, and the notion of conceptual imprecision introduced and illustrated. This is then used to clarify the notion of the acceptable range of a functional law. It is further shown that imprecision may be ascribed to parameters in laws and theories without rendering the deductive (...) structure untestable. It is claimed that this analysis explicates the relation between laws and theories in a way that invalidates certain arguments against its deductive nature. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then it is unsettled, not merely epistemically, but metaphysically, whether Harry is bald. In other words, vagueness is a type of indeterminacy. On the standard alternative, vagueness is a type of ignorance: if it is vague whether Harry is bald, then, even though it is metaphysically settled whether Harry is bald, we cannot know whether Harry is bald. On my view, vagueness is neither a type of (...) indeterminacy nor a type of ignorance. Rather, it is sui generis. (shrink)