This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand (...) Tarski’s and Gödel’s work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy’s mathematical naturalism and Shapiro’s mathematical structuralism. Last but not least, the book introduces Biancani’s Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century. (shrink)

Abstract: It is often claimed that realists about universals must be either “platonists,” holding that universals lack spatio-temporal location, or “aristotelians,” asserting that universals are located where their instances are. What’s more, both camps agree that locatedness or unlocatedness is part of the essential nature of universals; consequently, aristotelians say that universals cannot exist un located, and platonists allege that universals cannot be located. Here I argue that the dispute may be resolved by synthesizing the most attractive features of each (...) position. I claim that universals are located at their instances when instantiated by particulars which themselves possess a spatio-temporal location; however, un instantiated universals exist without location. This has the consequence that it will often be a contingent matter whether a given universal has a location, if the universal is only contingently instantiated. Nevertheless, I claim, objections to this position may be overcome. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Vetter (2015) develops a localised theory of modality, based on potentialities of actual objects. Two factors play a key role in its appeal: its commitment to Hardcore Actualism, and to Naturalism. Vetter’s commitment to Naturalism is in part manifested in her adoption of Aristotelian universals. In this paper, we argue that a puzzle concerning the identity of unmanifested potentialities cannot be solved with an Aristotelian conception of properties. After introducing the puzzle, we examine Vetter’s attempt at amending the Aristotelian conception (...) in a way that avoids the puzzle, and conclude that this amended version is no longer to be considered naturalistic. Potentiality theory cannot be both actualist and naturalist. We then argue that, if naturalism is to be abandoned by the actualist, there are good reasons to adopt a Platonist conception of universals, for they offer a number of theoretical advantages and allow us to avoid some of the problems facing Vetter’s theory. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)