Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

Michael Tooley presents a major new philosophical theory of the nature of time, offering a powerful alternative to the traditional "tensed" and recent "tenseless" accounts of time. He argues for a dynamic conception of the universe, in which past, present, and future are not merely subjective features of experience. He claims that the past and the present are real, while the future is not. Tooley's approach accounts for time in terms of causation. He therefore claims that the key to understanding (...) the dynamic nature of the universe is to understand the nature of causation. Time, Tense, and Causation is a landmark treatment of one of the oldest and most perplexing intellectual problems, and will be fascinating reading for anyone interested in the character of time. (shrink)

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

This book traces the development of formal logic from its origins in ancient Greece to the present day. The authors first discuss the work of logicians from Aristotle to Frege, showing how they were influenced by the philosophical or mathematical ideas of their time. They then examine developments in the present century.

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

I show that any sentence of nth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically, I set forth an enriched second-order language L, a sentence A of L (which is true on the intended interpretation of L), and a compositionally recursive transformation Tr defined on formulas of L, and show that they have the following (...) two properties: (a) in a universe with at least [HEBREW LETTER BET] $_{n-2}$ objects, any formula of nth-order (pure or applied) arithmetic can be expressed as a formula of L, and (b) for any sentence $\ulcorner \phi \urcorner$ of L, $\ulcorner \phi^{Tr} \urcorner$ is a second-order sentence containing no arithmetical vocabulary, and nth $\mathcal{A} \vdash \ulcorner \phi \longleftrightarrow \phi^{Tr} \urcorner$. (shrink)

Kit Fine’s book is a study of abstraction in a quite precise sense which derives from Frege. In his Grundlagen, Frege contemplates defining the concept of number by means of what has come to be called Hume’s principle—the principle that the number of Fs is the same as the number of Gs just in case there is a one-to-one correspondence between the Fs and the Gs. Frege’s discussion is largely conducted in terms of another, similar but in some respects simpler, (...) proposal—to define the concept of direction by laying down the principle that the direction of a line a is the same as that of line b if and only if lines a and b are parallel. Such principles have come to be known as abstraction principles. More generally, abstraction principles are ones of the shape: ∀α∀β ↔ α ≈ β), where ≈ is an equivalence relation on entities of the type over which α and β vary and, if the principle is acceptable, § is a function from entities of that type to objects. Since ‘the direction of’ is intended to stand for a function from objects of a certain sort to other objects, the Direction Equivalence is a first-order, or in Fine’s terminology objectual, abstraction; since ‘the number of’ is intended to stand for a function from concepts to objects, Hume’s principle is a higher-order, or as Fine says conceptual, abstraction. As is well-known, Frege himself abandoned the idea of defining number implicitly or contextually by means of Hume’s principle—adopting instead an explicit definition of the number of Fs as the extension of the concept concept equinumerous to the concept F— because he thought that an adequate definition should settle the question whether Julius Caesar, for example, is or is not the number of some concept, but that the proposed implicit definition cannot do so. But interest in abstraction principles has revived in the last couple of decades, largely as a result of Crispin Wright’s attempt to show that in spite of the many difficulties confronting it—including the notorious Julius Caesar problem— Hume’s principle can after all serve as a foundation for arithmetic. (shrink)