Intuition is sometimes derided as an abstruse or esoteric phenomenon akin to crystal-ball gazing. Such derision appears to be fuelled primarily by the suggestion, evidently endorsed by traditional rationalists such as Plato and Descartes, that intuition is a kind of direct, immediate apprehension akin to perception. This paper suggests that although the perceptual analogy has often been dismissed as encouraging a theoretically useless metaphor, a quasi-perceptualist view of intuition may enable rationalists to begin to meet the challenge of supplying a (...) theoretically satisfying treatment of their favoured epistemic source. It is argued, first, that intuitions and perceptual experiences are at a certain level of abstraction the same type of mental state, presentations, which are distinct from beliefs, hunches, inclinations, attractions, and seemings. The notion of a presentation is given a positive explication, which identifies its characteristic features, accounts for several of its substantive psychological roles, and systematically locates it in a threefold division among types of contentful states. Subsequently, it is argued that presentations, intuitive no less than sensory, are by their nature poised to play a distinctive epistemic role. Specifically, in the case of intuition, we encounter an intellectual state that is so structured as to provide justification without requiring justification in turn—something which may, thus, be thought of as ‘given’. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...) developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Global environmental science, in its current configuration as predominantly interdisciplinary earth systems analysis, owes its existence to technological development in three respects. (1) Environmental impacts of globalization of corporate and military industrial development linked to widespread use of new technologies prompted investigation of ways to understand and anticipate the global nature of such impacts. (2) Extension of the reach of technology itself demands extension of attempts to anticipate and control the environment in which the technology is to function. Thus as (...) the reach becomes global, the environment in question is also global. (3) Such global studies cannot get far without the development of command, control and information technologies (computers, satellites, automated remote sensing devices) which are crucial for data gathering, storage, and analysis and for the simulation modeling, crucial to theory testing and prediction. This network of dependence on technological development gives the global environmental sciences a rather distinctive epistemological profile, one in which some distinctions that we had thought were clear, on the basis of models of classic laboratory sciences (such as those between experiment and deduction or representation and instrument), turn out to be far from clear. In consequence there needs to be a careful evaluation of the extent to which, or the ways in which, these sciences can provide bases for policy decisions. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In this paper I discuss Frege's distinction between objects and concepts and suggest a solution of Frege's paradox of the concept horse. The expression ''the concept horse'' is not eliminated and the concept is not identified with its extension, but the concept is identified with the sense of the corresponding predicate. This solution fits better into a fregean ontology and philosophy of language than alternative solutions and allows for a general answer to the question why Frege's system is infected with (...) Russell's paradox. Russell's paradox is caused by the reification of a concept. Certain problems of modern set theory seem to have a similar cause.Eine weithin sichtbare Warnungstafel muss aufgerichtet. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

In this paper, I argue that Amie Thomasson’s Easy Ontology rests on a vicious circularity that is highly damaging. Easy Ontology invokes the idea of application conditions that give rise to analytic entailments. Such entailments can be used to answer ontological questions easily. I argue that the application conditions for basic terms are only circularly specifiable showing that Thomasson misses her self-set goal of preventing such a circularity. Using this circularity, I go on to show that Easy Ontology as a (...) whole collapses. (shrink)

Much of the current thought concerning mathematical ontology in volves in some way the Quine/Putnam indispensability argument. The indispensability approach needs to be more thoroughly specified, however, before substantive progress can be made in assessing it. To this end I examine in some detail the ways in which pure mathematics is applied to physical theory; such considerations give rise to three specific issues with which the indispensability approach must come to grips.

The paper undertakes to characterize Hao Wang's style, convictions, and method as a philosopher, centering on his most important philosophical work From Mathematics to Philosophy, 1974. The descriptive character of Wang's characteristic method is emphasized. Some specific achievements are discussed: his analyses of the concept of set, his discussion, in connection with setting forth Gödel's views, of minds and machines, and his concept of ‘analytic empiricism’ used to criticize Carnap and Quine. Wang's work as interpreter of Gödel's thought and the (...) importance of his writings as a source are also discussed. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Deflationists about truth embrace the positive thesis that the notion of truth is useful as a logical device, for such purposes as blanket endorsement, and the negative thesis that the notion doesn’t have any legitimate applications beyond its logical uses, so it cannot play a significant theoretical role in scientific inquiry or causal explanation. Focusing on Christopher Hill as exemplary deflationist, the present paper takes issue with the negative thesis, arguing that, without making use of the notion of truth conditions, (...) we have little hope for a scientific understanding of human speech, thought, and action. For the reference relation, the situation is different. Inscrutability arguments give reason to think that a more-than-deflationary theory of reference is unattainable. With respect to reference, deflationism is the only game in town. (shrink)

It is commonly held that our intuitive judgements about imaginary problem cases are justified a priori, if and when they are justified at all. In this paper I defend this view — ‘rationalism’ — against a recent objection by Timothy Williamson. I argue that his objection fails on multiple grounds, but the reasons why it fails are instructive. Williamson argues from a claim about the semantics of intuitive judgements, to a claim about their psychological underpinnings, to the denial of rationalism. (...) I argue that the psychological claim — that a capacity for mental simulation explains our intuitive judgements — does not, even if true, provide reasons to reject rationalism. (More generally, a simulation hypothesis, about any category of judgements, is very limited in its epistemological implications: it is pitched at a level of explanation that is insensitive to central epistemic distinctions.) I also argue that Williamson’s semantic claim — that intuitive judgements are judgements of counterfactuals — is mistaken; rather, I propose, they are a certain kind of metaphysical possibility judgement. Several other competing proposals are also examined and criticized. (shrink)

This paper introduces an anthropological approach to the foundations of mathematics. Traditionally, the philosophy of mathematics has focused on the nature and origins of mathematical truth. Mathematicians, however, treat mathematical arguments as determining mathematical truth: if an argument is found to describe a witnessably rigorous proof of a theorem, that theorem is considered—until the need for further examination arises—to be true. The anthropological question is how mathematicians, as a practical matter and as a matter of mathematical practice, make such determinations. (...) This paper looks first at the ways that the logic of mathematical argumentation comes to be realized and substantiated by provers as their own immediate, situated accomplishment. The type of reasoning involved is quite different from deductive logic; once seen, it seems to be endemic to and pervasive throughout the work of human theorem proving. A number of other features of proving are also considered, including the production of notational coherence, the foregrounding of proof-specific proof-relevant detail, and the structuring of mathematical argumentation. Through this material, the paper shows the feasibility and promise of a real-world anthropology of disciplinary mathematical practice. (shrink)

ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.

This is a critical notice of Stewart Shapiro's 1997 book, Philosophy of Mathematics: Structure and Ontology.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

There is a basic division in the philosophy of mathematics between realist, ‘platonist’ theories and anti-realist ‘constructivist’ theories. Platonism explains how mathematical truth is strongly objective, but it does this at the cost of invoking mind-independent mathematical objects. In contrast, constructivism avoids mind-independent mathematical objects, but the cost tends to be a weakened conception of mathematical truth. Neither alternative seems ideal. The purpose of this paper is to show that in the philosophical writings of Henri Poincaré there is a coherent (...) argument for an interesting position between the two traditional poles in the philosophy of mathematics. Relying on a semi-Kantian framework, Poincaré combines an epistemological and metaphysical constructivism with a more realist account of the nature of mathematical truth. (shrink)

In this paper I address G. C. Rota’s account of mathematical identity and I attempt to relate it with aspects of Frege as well as Husserl’s views on the issue. After a brief presentation of Rota’s distinction among mathematical facts and mathematical proofs, I highlight the phenomenological background of Rota’s claim that mathematical objects retain their identity through different kinds of axiomatization. In particular, I deal with Rota’s interpretation of the ontological status of mathematical objects in terms of ideality. Then (...) I detect certain similarities among Rota’s views and Frege’s account of the constitution of arithmetical identity on the grounds of 1–1 correspondence. I point out an epistemic as well as an ontological aspect of this issue. In the sequel, I attempt to deal with the problem of “mixed identities” in mathematics stated by Benacerraf by taking in account Rota’s use of the phenomenological notion “Fundierung”. (shrink)

It is widely believed that platonists face a formidable problem: that of providing an intelligible account of mathematical knowledge. The problem is that we seem unable, if the platonist is right, to have the causal relationships with the objects of mathematics without which knowledge of these objects seems unintelligible. The standard platonist response to this challenge is either to deny that knowledge without causation is unintelligible, or to make room for causal interactions by softening the platonism at issue. In this (...) essay I argue that the idea of causal relations with fully platonist objects is unproblematic. (shrink)

When Bishop published Foundations of Constructive Analysis he showed that it was possible to do ordinary analysis within a constructive framework. Bishop's reasons for doing his mathematics constructively are explicitly philosophical. In this paper, I will expound, examine, and amplify his philosophical arguments for constructivism in mathematics. In the end, however, I argue that Bishop's philosophical comments cannot be rounded out into an adequate philosophy of constructive mathematics.

Much of the current thought concerning mathematical ontology in volves in some way the Quine/Putnam indispensability argument. The indispensability approach needs to be more thoroughly specified, however, before substantive progress can be made in assessing it. To this end I examine in some detail the ways in which pure mathematics is applied to physical theory; such considerations give rise to three specific issues with which the indispensability approach must come to grips.

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

The paper examines the interrelationship between mathematics and logic, arguing that a central characteristic of each has an essential role within the other. The first part is a reconstruction of and elaboration on Paul Bernays’ argument, that mathematics and logic are based on different directions of abstraction from content, and that mathematics, at its core it is a study of formal structures. The notion of a study of structure is clarified by the examples of Hilbert’s work on the axiomatization of (...) geometry and Hilbert et al.’s formalist proof theory. It is further argued that the structural aspect of logic puts it under the purview of the mathematical, analogously to how the deductive nature of mathematics puts it under the purview of logic. This is then linked, in the second part, to certain aspects of Gödel’s critique of Carnap’s conventionalism, that ‘mere syntax’ cannot capture the full content of mathematics, which is revealed to be closely related to the characteristic of mathematics argued for by Bernays. Finally, this is connected with Gödel’s latter-day views about two kinds of formality, intensional and extensional, and the relationship between them. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

I defend the correspondence theory of truth, according to which a statement’s truth consists in a relation of correspondence with extralinguistic fact. There are well-known objections to this view, which I consider and rebut, and also important rival accounts, principal among which are so-called deflationist theories and epistemic theories. Epistemic theories relate the concept of truth to our state of knowledge, but fail, I argue, to respect the crucial distinction between a criterion of truth and the meaning of truth: the (...) view that one cannot do semantics, or metaphysics, without addressing epistemic issues is rejected by this work. Against epistemic theories, I illustrate how truth is independent of epistemic considerations. Deflationism is the more popular of the rival accounts and has gained considerable momentum over the past two decades. It is therefore dealt with in greater detail by this work. Deflationist theories exploit the paradigmatic ‘“Snow is white” is true iff snow is white’ biconditional to argue for an insubstantialist account, according to which truth is conservative with respect to non-semantical facts. On this view, truth’s raison d’être is merely to perform the useful expressive function of generalising over possibly infinite sets of assertions. Against deflationist theories, I claim that the work done by Jeffrey Ketland and Stewart Shapiro conclusively demonstrates how truth is informationally additive over non-semantic facts, while deflationism itself is also an excessively impoverishing theory, inadequate to the tasks it purports to accomplish. This work also defends the thesis that Alfred Tarski’s well-known theory of truth is an authentic correspondence theory. To say this is to say that the clauses of a Tarskian truth-definition can be interpreted in terms of a relation of correspondence that holds between true sentences and the states of affairs they describe. I provide a precise account of what the correspondence in question consists in, claiming that true sentences are homomorphic images of facts, i.e. a true sentence represents, in a form-preserving manner, the truth-making facts in it. This gives precise expression to Wittgenstein’s thesis that true sentences picture the world. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)