Could the truths of mathematics have been different than they in fact are? If so, which truths could have been different? Do the contingent mathematical facts supervene on physical facts, or are they free floating? I investigate these questions within a framework of higher-order modal logic, drawing sometimes surprising connections between the necessity of arithmetic and analysis and other theses of modal metaphysics: the thesis that possibility in the broadest sense is governed by a logic of S5, that what (...) is possible holds in some maximally specific possibility, and that every property can be rigidified. The investigation will distinguish sharply between platonic contingency---contingency about whether particular abstract ``platonic'' mathematical objects are arranged in a certain way (e.g. in a natural number or real number structure)---from a deeper variety of structural contingency concerning what holds of objects whenever they *are* arranged in that way. (shrink)

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

This book offers a defence 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 focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, 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. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces (...) a difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I argue that, in Aristotle's view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true. (shrink)

The main claim of this talk is that mathematical physics and philosophy of physics are not different. This claim, so formulated, is obviously false because it is overstated; however, since no non-tautological statement is likely to be completely true, it is a meaningful question whether the overstated claim expresses some truth. I hope it does, or so I’ll argue. The argument consists of two parts: First I’ll recall some characteristic features of von Neumann’s work on mathematical foundations of quantum (...) mechanics and will claim that von Neumann’s motivation and results are essentially philosophical in their nature; hence, to the extent von Neumann’s work exemplifies what is considered to be mathematical physics, mathematical physics appears as formally explicit philosophy of physics. The second argument is based on a rather trivial interpretation of what mathematical physics is. That interpretation implies that mathematical physics shares some key characteristic features with philosophy of physics which make the two almost indistinguishable. (shrink)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

The objective of this paper is to present the truth tables method of the propositional calculus of Tractatus Logico-Philosophicus as a result of computational procedures involving recursive operations in mathematics, since the secondary literature that is involved with such a problem fails to demonstrate such aspect of the work. The proposal is to demonstrate the base calculation of the truth operations as a consequence of the application of mathematical resources that involve the notion of recursivity, inspired both (...) in the natural numbers as well as in the factorial calculus, as well as in the procedures recommended by the combinatorial analysis and the calculation of probability. It is hoped, therefore, to present the truth operations of the propositional calculus as coming from the application of arithmetic to the logical resources. (shrink)

In deductive theorizing using mathematics as our theorizing tool, nature is known to routinely help us discover new empirical truths about itself, whether we want the help or not (“generative phenomenon”). Why? That’s because, I argue, some of our deductive inference rules are themselves of empirical origin, thereby providing nature with a seemingly-trivial but crucial link to our mind’s reason.

In 1980 Morris Kline wrote this engaging book, in which he took on many of the myths about the nature and history of mathematics. This new edition will probably be as seldom read as the original, which is too bad because it contains important messages, including perhaps some comfort for anomalies researchers. I will briefly present an overview of the book’s contents, and then say what I think these comforts are. · · · The ancient Greeks developed the seed (...) of what we now think of as mathematics. Kline points out that their mathematical concepts arose from consideration of the natural world, and then the fact that numbers, shapes, and relationships corresponded to things in the real world convinced them that reality itself was in some mystical way generated by numerical principles. The regular patterns that they found in geometric forms and simple integers reflected the regularities of nature, and so provided keys to understanding how things were, and why they were that way. The faith that mathematics lay behind the mundane world of observations became an unquestioned truth, at least as important as the practical techniques the Greeks devised, and passed along through the Middle East and the medieval period to modern Europe. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

This paper elaborates on the fictionalist conception of mathematics, and on how it accommodates the obvious fact that mathematical claims are important in application to the physical world. It also replies to Maddy's argument that fictionalism does not have the epistemological advantage over Platonism that it appears to have; the reply involves a discussion of whether mathematics should be regarded as conservative over second order physical theories as well as first order ones.

After reviewing some different indispensability arguments, I distinguish several different ways in which mathematics can make an important contribution to a scientific explanation. Once these contributions are highlighted it will be possible to see that indispensability arguments have little chance of convincing us of the existence of abstract objects, even though they may give us good reason to accept the truth of some mathematical claims. However, in the concluding part of this paper, I argue that even though there (...) is a valid indispensability argument for realism about some mathematical claims, this argument is problematic as it begs the question at issue. This challenge to indispensability arguments is then used to suggest that if mathematics is making these sorts of contributions to science, then it may be the case that mathematical claims receive some non-empirical support prior to their application in scientific explanation. (shrink)

_ Source: _Page Count 46 René Descartes is neither a Conceptualist nor a Platonist when it comes to the ontological status of the eternal truths and essences of mathematics but articulates a view derived from Proclus. There are several advantages to interpreting Descartes’ texts in light of Proclus’ view of universals and philosophy of mathematics. Key passages that, on standard readings, are in conflict are reconciled if we read Descartes as appropriating Proclus’ threefold distinction among universals. Specifically, passages (...) that appear to commit Descartes to a Platonist view of mathematical objects and the truths that follow from them are no longer in tension with the Conceptualist view of universals implied by his treatment of the eternal truths in the _Principles of Philosophy_. This interpretation also fits the historical evidence and explains why Descartes ends up with seemingly inconsistent commitments to divine simplicity and God’s efficient creation of truths that are not merely conceptually distinct from the divine essence. (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets (...) assumed because logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

Mathematics often seems incomprehensible, a melee of strange symbols thrown down on a page. But while formulae, theorems, and proofs can involve highly complex concepts, the math becomes transparent when viewed as part of a bigger picture. What Is a Number? provides that picture. Robert Tubbs examines how mathematical concepts like number, geometric truth, infinity, and proof have been employed by artists, theologians, philosophers, writers, and cosmologists from ancient times to the modern era. Looking at a broad range (...) of topics -- from Pythagoras's exploration of the connection between harmonious sounds and mathematical ratios to the understanding of time in both Western and pre-Columbian thought -- Tubbs ties together seemingly disparate ideas to demonstrate the relationship between the sometimes elusive thought of artists and philosophers and the concrete logic of mathematicians. He complements his textual arguments with diagrams and illustrations. This historic and thematic study refutes the received wisdom that mathematical concepts are esoteric and divorced from other intellectual pursuits -- revealing them instead as dynamic and intrinsic to almost every human endeavor. (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II (...) supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

1. Setting off: An introduction. 1.1. A measure of motivation. 1.2. Computable mathematics. 1.3. Reverse mathematics. 1.4. An overview. 1.5. Further reading -- 2. Gathering our tools: Basic concepts and notation. 2.1. Computability theory. 2.2. Computability theoretic reductions. 2.3. Forcing -- 3. Finding our path: Konig's lemma and computability. 3.1. II[symbol] classes, basis theorems, and PA degrees. 3.2. Versions of Konig's lemma -- 4. Gauging our strength: Reverse mathematics. 4.1. RCA[symbol]. 4.2. Working in RCA[symbol]. 4.3. ACA[symbol]. 4.4. (...) WKL[symbol]. 4.5. [symbol]-models. 4.6. First order axioms. 4.7. Further remarks -- 5. In defense of disarray -- 6. Achieving consensus: Ramsey's theorem. 6.1. Three proofs of Ramsey's theorem. 6.2. Ramsey's theorem and the arithmetic hierarchy. 6.3. RT, ACA[symbol], and the Paris-Harrington theorem. 6.4. Stability and cohesiveness. 6.5. Mathias forcing and cohesive sets. 6.6. Mathias forcing and stable colorings. 6.7. Seetapun's theorem and its extensions. 6.8. Ramsey's theorem and first order axioms. 6.9. Uniformity -- 7. Preserving our power: Conservativity. 7.1. Conservativity over first order systems. 7.2. WKL[symbol] and II[symbol]-conservativity. 7.3. COH and r-II[symbol]-conservativity -- 8. Drawing a map: Five diagrams -- 9. Exploring our surroundings: The world below RT[symbol]. 9.1. Ascending and descending sequences. 9.2. Other combinatorial principles provable from RT[symbol]. 9.3. Atomic models and omitting types -- 10. Charging ahead: Further topics. 10.1. The Dushnik-Miller theorem. 10.2. Linearizing well-founded partial orders. 10.3. The world above ACA[symbol]. 10.4. Still further topics, and a final exercise. (shrink)

Our aim in this paper is to replace the old concept of truth in mathematics, based on the Set Structure provided with idea of true and false characterized by the presence of a characteric function \, by a mathematical structures founded on the idea of Topos, the triple structure \\}\) and the notion of Gradual Truth or Steps from the truth. Our motivations is to understand the mathematical structures underlying the emergence’s mechanism and phenomena. We think (...) that this approach could be useful to better appreciate the subtleties of the notion of truth and gives us a better understanding of the complex and changing phenomena. (shrink)

The main goal of this paper is to urge that the normal platonistic account of mathematical truth is unsatisfactory even if pure abstract entities are assumed to exist (in a non-Question-Begging way). It is argued that the task of delineating an interpretation of a formal mathematical theory among pure abstract entities is not one that can be accomplished. An important effect of this conclusion on the question of the ontological commitments of informal mathematical theories is discussed. The paper concludes (...) with a sketch of a non-Platonistic theory of mathematical truth which utilizes an unanalyzed notion of logical possibility. (shrink)

This paper argues that mathematics is imbued with values reflecting its production from human imagination and dialogue. Epistemological, ontological, aesthetic and ethical values are specified, both overt and covert. Within the culture of mathematics, the overt values of truth, beauty, purity, universalism, objectivism, rationalism and utility are identified. In contrast, hidden within mathematics and its culture are the covert values of objectism and ethics, including the specific ethical values of separatism, openness, fairness and democracy. Some of (...) these values emerge from a dialogical view of the nature of mathematics, and certainly from the dialogical nature of culture. It is acknowledged that the choice of certain perspectives, such as absolutism, lead to the appearance of mathematics as largely value-free through hiding value-assumptions behind the initial choice of philosophy. By uncovering the values of mathematics I show that it more closely resembles other components of human culture than is usually recognised. (shrink)

Mathematics as a Science of Patterns is the definitive exposition of a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to (...) a defence of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist. Resnik's distinctive philosophy of mathematics is here presented in an accessible and systematic form: it will be of value not only to specialists in this area, but to philosophers, mathematicians, and logicians interested in the relationship between these three disciplines, or in truth, realism, and epistemology. (shrink)

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...) propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

The article looks briefly at Fefermans own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context.

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge (...) for mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

The first history of postwar mathematics, offering a new interpretation of the rise of abstraction and axiomatics in the twentieth century. Why did abstraction dominate American art, social science, and natural science in the mid-twentieth century? Why, despite opposition, did abstraction and theoretical knowledge flourish across a diverse set of intellectual pursuits during the Cold War? In recovering the centrality of abstraction across a range of modernist projects in the United States, Alma Steingart brings mathematics back into the (...) conversation about midcentury American intellectual thought. The expansion of mathematics in the aftermath of World War II, she demonstrates, was characterized by two opposing tendencies: research in pure mathematics became increasingly abstract and rarified, while research in applied mathematics and mathematical applications grew in prominence as new fields like operations research and game theory brought mathematical knowledge to bear on more domains of knowledge. Both were predicated on the same abstractionist conception of mathematics and were rooted in the same approach: modern axiomatics. For American mathematicians, the humanities and the sciences did not compete with one another, but instead were two complementary sides of the same epistemological commitment. Steingart further reveals how this mathematical epistemology influenced the sciences and humanities, particularly the postwar social sciences. As mathematics changed, so did the meaning of mathematization. Axiomatics focuses on American mathematicians during a transformative time, following a series of controversies among mathematicians about the nature of mathematics as a field of study and as a body of knowledge. The ensuing debates offer a window onto the postwar development of mathematics band Cold War epistemology writ large. As Steingart's history ably demonstrates, mathematics is the social activity in which styles of truth-here, abstraction-become synonymous with ways of knowing. (shrink)

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the (...) content of a scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics. (shrink)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it (...) into a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

Realists, Platonists and intuitionists jointly believe that mathematical concepts and propositions have meanings, and when we formalize the language of mathematics, these meanings are meant to be reflected in a more precise and more concise form. According to the formalist understanding of mathematics (at least, according to the radical version of formalism I am proposing here) the truth, on the contrary, is that a mathematical object has no meaning; we have marks and rules governing how these marks (...) can be combined. That’s all. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are (...) explained by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

The paper gives a semantics for naive (inconsistent) set theory in terms of substitutional quantification. Soundness is proved in an appendix. In the light of this construction, Several philosophical issues are discussed, Including mathematical necessity and the set theoretic paradoxes. Most importantly, It is argued, These semantics allow for a nominalist account of mathematical truth not committed to the existence of a domain of abstract entities.

Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a (...) wide range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs. (shrink)

An insight, Central to platonism, That the objects of pure mathematics exist "in some sense" is probably essential to any adequate account of mathematical truth, Mathematical language, And the objectivity of the mathematical enterprise. Yet a platonistic ontology makes how we can come to know anything about mathematical objects and how we use them a dark mystery. In this paper I propose a framework for reconciling a representation-Relative provability theory of mathematical truth with platonism's valid insights. Besides (...) helping to clarify the ontology of pure mathematics, I think this approach suggests a novel philosophical interpretation of some central results of modern mathematics, Including godel's incompleteness theorems and the independence theorems for the continuum hypothesis. (shrink)

Granted that truth is valuable we must recognize that certifiable truth is hard to come by, for example in the natural and social sciences. This paper examines the case of mathematics. As a result of the work of Gödel and Tarski we know that truth does not equate with proof. This has been used by Lucas and Penrose to argue that human minds can do things which digital computers can't, viz to know the truth of (...) unprovable arithmetical statements. The argument is given a simple formulation in the context of sorites (Robinson) arithmetic, avoiding the complexities of formulating the Gödel sentence. The pros and cons of the argument are considered in relation to the conception of mathematical truth. (shrink)

Mathematical apriorism holds that mathematical truths must be established using a priori processes. Against this, it has been argued that apparently a priori mathematical processes can, under certain circumstances, fail to warrant the beliefs they produce; this shows that these warrants depend on contingent features of the contexts in which they are used. They thus cannot be a priori. -/- In this paper I develop a position that combines a reliabilist version of mathematical apriorism with a platonistic view of mathematical (...) ontology. I argue that this view both withstands the above objection and explains the reliability of a priori mathematical warrant. (shrink)

Mathematics has always been a core part of western education, from the medieval quadrivium to the large amount of arithmetic and algebra still compulsory in high schools. It is an essential part. Its commitment to exactitude and to rigid demonstration balances humanist subjects devoted to appreciation and rhetoric as well as giving the lie to postmodernist insinuations that all “truths” are subject to political negotiation. In recent decades, the character of mathematics has changed – or rather broadened: it (...) has become the enabling science behind the complexity of contemporary knowledge, from gene interpretation to bank risk. Mathematical understanding is all the more necessary for future jobs, as well as remaining, as ever, a prophylactic against the more corrosive philosophical views emanating from the humanities. (shrink)

I outline a variant on the formalist approach to mathematics which rejects textbook formalism's highly counterintuitive denial that mathematical theorems express truths while still avoiding ontological commitment to a realm of abstract objects. The key idea is to distinguish the sense of a sentence from its explanatory truth conditions. I then look at various problems with the neo-formalist approach, in particular at the status of the notion of proof in a formal calculus and at problems which Gödelian results (...) seem to pose for the tight link assumed between truth and proof. (shrink)

In the present article, we have demonstrated that it is important to understand the equating of mathematics with ontology in Badiou’s philosophy, taking into account the necessary connection between rational materialism and ontological realism. Only in this way can we truly understand Badiou’s fundamental thesis that thinking and being are the same. Philosophy is not ontology and it is not a true procedure, but a thought that arises by being conditioned with the generic thoughts of all four truth (...) procedures (art, politics, science, and love), which in turn does not mean that it cannot speak in the name of truth and ontology. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

Mathematically, Truths have been said to be analytic. Leibniz tried to prove this in a way criticized by frege. The author states: "it is the purpose of this note to exhibit the full force of frege's criticism." frege also attempted to prove the same thing, But concludes the author, In his attempt, Has not "found universal acceptance among mathematical logicians." he finds the value in frege's analysis to be the fact of his attempt at proof and the need for it. (...) (staff). (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and (...) that standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)