Download Free Arithmetic And Ontology Book in PDF and EPUB Free Download. You can read online Arithmetic And Ontology and write the review.

This volume documents a lively exchange between five philosophers of mathematics. It also introduces a new voice in one central debate in the philosophy of mathematics. Non-realism, i.e., the view supported by Hugly and Sayward in their monograph, is an original position distinct from the widely known realism and anti-realism. Non-realism is characterized by the rejection of a central assumption shared by many realists and anti-realists, i.e., the assumption that mathematical statements purport to refer to objects. The defense of their main argument for the thesis that arithmetic lacks ontology brings the authors to discuss also the controversial contrast between pure and empirical arithmetical discourse. Colin Cheyne, Sanford Shieh, and Jean Paul Van Bendegem, each coming from a different perspective, test the genuine originality of non-realism and raise objections to it. Novel interpretations of well-known arguments, e.g., the indispensability argument, and historical views, e.g. Frege, are interwoven with the development of the authors’ account. The discussion of the often neglected views of Wittgenstein and Prior provide an interesting and much needed contribution to the current debate in the philosophy of mathematics.
Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable epistemic problems. As a way out of this dilemma, Shapiro articulates a structuralist approach. On this view, the subject matter of arithmetic, for example, is not a fixed domain of numbers independent of each other, but rather is the natural number structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle. Using this framework, realism in mathematics can be preserved without troublesome epistemic consequences. Shapiro concludes by showing how a structuralist approach can be applied to wider philosophical questions such as the nature of an "object" and the Quinean nature of ontological commitment. Clear, compelling, and tautly argued, Shapiro's work, noteworthy both in its attempt to develop a full-length structuralist approach to mathematics and to trace its emergence in the history of mathematics, will be of deep interest to both philosophers and mathematicians.
Unraveling all the mysteries of the khipu--the knotted string device used by the Inka to record both statistical data and narrative accounts of myths, histories, and genealogies--will require an understanding of how number values and relations may have been used to encode information on social, familial, and political relationships and structures. This is the problem Gary Urton tackles in his pathfinding study of the origin, meaning, and significance of numbers and the philosophical principles underlying the practice of arithmetic among Quechua-speaking peoples of the Andes. Based on fieldwork in communities around Sucre, in south-central Bolivia, Urton argues that the origin and meaning of numbers were and are conceived of by Quechua-speaking peoples in ways similar to their ideas about, and formulations of, gender, age, and social relations. He also demonstrates that their practice of arithmetic is based on a well-articulated body of philosophical principles and values that reflects a continuous attempt to maintain balance, harmony, and equilibrium in the material, social, and moral spheres of community life.
Many significant problems in metaphysics are tied to ontological questions, but ontology and its relation to larger questions in metaphysics give rise to a series of puzzles that suggest that we don't fully understand what ontology is supposed to do, nor what ambitions metaphysics can have for finding out about what the world is like. Thomas Hofweber aims to solve these puzzles about ontology and consequently to make progress on four central metaphysical problems: the philosophy of arithmetic, the metaphysics of ordinary objects, the problem of universals, and the question whether reality is independent of us. Crucial parts of the proposed solution include considerations about quantification and its relationship to ontology, the place of reference in natural languages, the possibility of ineffable facts, the extent of empirical evidence in metaphysics, and whether metaphysics can properly be esoteric. Overall, Hofweber defends a rationalist account of arithmetic, an empiricist picture in the philosophy of ordinary objects, a restricted from of nominalism, and realism about reality, understood as all there is, but idealism about reality, understood as all that is the case. He defends metaphysics as having some questions of fact that are distinctly its own, with a limited form of autonomy from other parts of inquiry, but rejects several metaphysical projects and approaches as being based on a mistake.
An important new monograph analysing the connections between mathematics and ontology in Heidegger's thought.
Mary Leng offers a defense of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focussed on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. Leng, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized.
Explores the link between mathematics and ontology.
Applying the rules and systems of mathematics and logic to instance ontology, this work argues for the validity and problem-solving capacities of instance ontology, and associates it with a version of the realist position which is named by the author as moderate realism.
In Mathematics of the Transcendental, Alain Badiou painstakingly works through the pertinent aspects of category theory, demonstrating their internal logic and veracity, their derivation and distinction from set theory, and the 'thinking of being'. In doing so he sets out the basic onto-logical requirements of his greater and transcendental logics as articulated in his magnum opus, Logics of Worlds. Previously unpublished in either French or English, Mathematics of the Transcendental provides Badiou's readers with a much-needed complete elaboration of his understanding and use of category theory. The book is vital to understanding the mathematical and logical basis of his theory of appearing as elaborated in Logics of Worlds and other works and is essential reading for his many followers.
The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.