Modernizing the philosophy of mathematics

The distinction between analytic and synthetic propositions, and with that the distinction between a priori and a posteriori truth, is being abandoned in much of analytic philosophy and the philosophy of most of the sciences. These distinctions should also be abandoned in the philosophy of mathematics. In particular, we must recognize the strong empirical component in our mathematical knowledge. The traditional distinction between logic and mathematics, on the one hand, and the natural sciences, on the other, should be dropped. Abstract mathematical objects, like transcendental numbers or Hilbert spaces, are theoretical entities on a par with electromagnetic fields or quarks. Mathematical theories are not primarily logical deductions from axioms obtained by reflection on concepts but, rather, are constructions chosen to solve some collection of problems while fitting smoothly into the other theoretical commitments of the mathematician who formulates them. In other words, a mathematical theory is a scientific theory like any other, no more certain but also no more devoid of content.     

Duhem and history and philosophy of mathematics

The first part of this paper consists of an exposition of the views expressed by Pierre Duhem in his Aim and Structure of Physical Theory concerning the philosophy and historiography of mathematics. The second part provides a critique of these views, pointing to the conclusion that they are in need of reformulation. In the concluding third part, it is suggested that a number of the most important claims made by Duhem concerning physical theory, e.g., those relating to the Newtonian method, the limited falsifiability of theories, and the restricted role of logic, can be meaningfully applied to mathematics.I am indebted to Professors Douglas Jesseph and Philip Quinn for helpful comments on this paper.     

The pernicious influence of mathematics upon philosophy

We shall argue that the attempt carried out by certain philosophers in this century to parrot the language, the method, and the results of mathematics has harmed philosophy. Such an attempt results from a misunderstanding of both mathematics and philosophy, and has harmed both subjects.Portions of the present text have previously appeared inThe Review of Metaphysics 44 (1990), 259–271, are reprinted with permission.     

"不可或缺性论证"与反实在论数学哲学

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. __________ Translated from Zhexue Yanjiu 哲学研究 (Philosophical Researches), 2006, (8): 74–83     

Positive morality and the realization of freedom in Kant's moral philosophy

This paper argues that recent accounts of Kantian virtue as “strengthened” inner freedom apply much more clearly to the avoidance of violations of perfect duties than to the fulfillment of imperfect duties, leaving us with the question of how inadequate commitment to morally required ends impacts the exercise of inner freedom. The question is answered through the development of a model of inner freedom that emphasizes the relationship between moral self‐governance and participation in an ethical community.     

Ideas and processes in mathematics: A course on history and philosophy of mathematics

This paper describes an attempt to develop a program for teaching history and philosophy of mathematics to inservice mathematics teachers. I argue briefly for the view that philosophical positions and epistemological accounts related to mathematics have a significant influence and a powerful impact on the way mathematics is taught. But since philosophy of mathematics without history of mathematics does not exist, both philosophy and history of mathematics are necessary components of programs for the training of preservice as well as inservice mathematics teachers.     

The architecture of modern mathematics: Essays in history and philosophy

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions     

Ontology and logic: remarks on hartry field's anti-platonist philosophy of mathematics

In Science without numbers Hartry Field attempted to formulate a nominalist version of Newtonian physics—one free of ontic commitment to numbers, functions or sets—sufficiently strong to have the standard platonist version as a conservative extension. However, when uses for abstract entities kept popping up like hydra heads, Field enriched his logic to avoid them. This paper reviews some of Field's attempts to deflate his ontology by inflating his logic.