All sides in the recent debates over the Quine‐Putnam Indispensability thesis presuppose Quine's criterion for determining what a discourse is ontologically committed to. I subject the criterion to scrutiny, especially in regard to the available competitor‐criteria, asking what means of evaluation there are for comparing alternative criteria against each other. Finding none, the paper concludes that ontological questions, in a certain sense, are philosophically indeterminate.

A distinction between the epistemic practices in mathematics and in the empirical sciences is rehearsed to motivate the epistemic role puzzle. This is distinguished both from Benacerraf's 1973 epistemic puzzle and from sceptical arguments against our knowledge of an external world. The stipulationist position is described, a position which can address this puzzle. Methods of avoiding the stipulationist position by using pure logic to provide knowledge of mathematical abstracta are discussed and criticized.

I dub a certain central tradition in philosophy of language (and mind) the de re tradition. Compelling thought experiments show that in certain common cases the truth conditions for thoughts and public-language expressions categorically turn on external objects referred to, rather than on linguistic meanings and/or belief assumptions. However, de re phenomena in language and thought occur even when the objects in question don't exist. Call these empty de re phenomena. Empty de re thought with respect to numeration is explored (...) in this paper, and such thought with respect to hallucinations is touched on. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

This paper contrasts two metaphysical accounts of modality and properties: Modal Realism which treats possible entities as primitive; and Strong Dispositionalism in which metaphysical possibility and necessity are determined by actually existing dispositions or powers. I argue that Strong Dispositionalism loses its initial advantages of simplicity and parsimony over Modal Realism as it is extended and amended to account for metaphysical rather than just causal necessity. Furthermore, to avoid objections to its material and formal adequacy, Strong Dispositionalism requires a richer (...) fundamental ontology which it cannot explicate without appealing either to possible worlds or to an account of counterfactual truth conditions, both of which Strong Dispositionalism was intended to replace. (shrink)

ABSTRACTMetaphysics has a problem with plurality: in many areas of discourse, there are too many good theories, rather than just one. This embarrassment of riches is a particular problem for metaphysical realists who want metaphysics to tell us the way the world is and for whom one theory is the correct one. A recent suggestion is that we can treat the different theories as being functionally or explanatorily equivalent to each other, even though they differ in content. The aim of (...) this paper is to explore whether the notion of functionally equivalent theories can be extended and utilized in the defence of metaphysical realism, drawing upon themes from structuralism in the philosophies of mathematics and science in which the specifics of theories do not matter as long as the relations in which they stand to other theories are maintained. I argue that despite its initial attractiveness, there are significant difficulties with this proposal. Discovering these obstacles thwarts the realist structuralist project, but reveals interesting features of metaphysical systems. (shrink)

In this article some intriguing aspects of electromagnetic theory and its relation to mathematics and reality are discussed, in particular those related to the suppositions needed to obtain the wave equations from Maxwell equations and from there Helmholtz equation. The following questions are discussed. How is that equations obtained with so many irreal or fictitious assumptions may provide a description that is in a high degree verifiable? Must everything that is possible to deduce from a theoretical mathematical model occur in (...) the world? Does everything that takes place in the world have a mathematical description? (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

Nosso objetivo neste artigo é o de lançar luz sobre alguns aspectos das concepções de Gödel acerca da percepção de conceitos. Começamos investigando a natureza e o papel da analogia entre percepção sensível e percepção de conceitos. A seguir, examinamos as conexões entre percepção de conceitos, razão e compreensão, tentando mostrar que a percepção de conceitos é compreensão de conceitos. Por fim, examinamos aqueles aspectos da concepção de Gödel em que a percepção de conceitos de fato se aproxima perigosamente da (...) ideia de um "olho da mente". Contudo, argumentamos que esses aspectos problemáticos não são intrínsecos à noção de percepção de conceitos, mas sim resultam de uma má compreensão da distinção entre conceito e objeto. Our goal in this article is to illuminate some aspects of Gödel's conception of the perception of concepts. We begin by investigating the nature and function of Gödel's analogy between sense perception and perception of concepts. After that, we examine the connections between perception of concepts, reason, and understanding, trying to show that the perception of concepts consists in the understanding of concepts. Finally, we examine those aspects of Gödel's conception where the perception of concepts actually comes dangerously close to the idea of a "mind's eye". However, we argue that these problematic aspects are not intrinsic to the notion of perception of concepts, but result from a misunderstanding of the distinction between concept and object. (shrink)

Turing computation over a non-linguistic domain presupposes a notation for the domain. Accordingly, computability theory studies notations for various non-linguistic domains. It illuminates how different ways of representing a domain support different finite mechanical procedures over that domain. Formal definitions and theorems yield a principled classification of notations based upon their computational properties. To understand computability theory, we must recognize that representation is a key target of mathematical inquiry. We must also recognize that computability theory is an intensional enterprise: it (...) studies entities as represented in certain ways, rather than entities detached from any means of representing them. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

A perspective in the philosophy of mathematics is developed from a consideration of the strengths and limitations of both logicism and platonism, with an early focus on Frege’s work. Importantly, although many set-theoretic structures may be developed each of which offers limited isomorphism with the system of natural numbers, no one of them may be identified with it. Furthermore, the timeless, ever present nature of mathematical concepts and results itself offers direct access, in the face of a platonist account which (...) generates a supposed problem of access. Crucially too, pure mathematics has its own distinctive method of confirming or validating results - mathematical proof - which supplies a higher level of confidence and objectivity than that available elsewhere. The dichotomy of invention and discovery is too jejune a framework for analysing creative mathematical activity. The Gödelian platonist perspective is evaluated and queried through scrutiny of the part played by mathematical resources and constraints in relation to human activity. It appears that there can be non-causal mathematical explanations and mathematical constraint on purely natural processes. Valuable implications of Quine’s naturalism are explored, but one must be cautious of his thesis of confirmational holism. The distinction between algebraic and non-algebraic mathematical theories usefully contributes to our understanding of the internally differentiated nature of the subject. (shrink)

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...) contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

Øystein Linnebo*. Philosophy of Mathematics. Princeton University Press, 2017. ISBN: 978-0-691-16140-2 ; 978-1-40088524-4. Pp. xviii + 203.

The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic manipulations or (...) ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

Causal platonism asserts that mathematical objects cause neural states in human brains. I raise the following four objections to it. (i) Quantum entanglement does not show that one object can causally affect another, although one is nontemporal, nonspatial, and unchanging. (ii) Causal platonism can neither be justified a posteriori nor a priori. (iii) To postulate mathematical media to flesh out mathematical causation is to multiply mysteries beyond necessity. (iv) To say that mathematical causation is unintelligible and inexplicable is not to (...) complain about causation in general. (shrink)

Realists about modality offer an attractive semantics for modal discourse in terms of possible worlds, but standard accounts of the worlds—as properties, propositions, or causally-isolated concreta—invoke entities with which we can’t interact. If realism is true, how can we know anything about modal matters? Let's call this "the Benacerraf Problem." I suggest that C. I. Lewis has an intriguing answer to it. Given that we’re willing to disentangle some of Lewis’s insights from his phenomenalism, we can take the following line. (...) If the Benacerraf Problem is a genuine one, then it threatens all knowledge—not just modal knowledge. But then it leads to a general and implausible form of skepticism, not a limited and more plausible debunking argument. Hence, whatever we’re willing to say about skepticism we should say about the Benacerraf Problem. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...) In particular, this chapter will discuss four kinds of arguments – Harman’s Challenge, evolutionary debunking arguments, irrelevant influence arguments, and the Reliability Challenge – understood as arguments against moral realism. The main goals of this chapter are (i) to articulate the strongest version of these arguments; (ii) to present and assess the central epistemological principles underlying these arguments; and (iii) to determine what a realist would have to do to adequately respond to these arguments. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

This chapter discusses epistemic objections to non-naturalist moral realism. The goal of the chapter is to determine which objections are pressing and which objections can safely be dismissed. The chapter examines five families of objections: (i) one involving necessary conditions on knowledge, (ii) one involving the idea that the causal history of our moral beliefs reflects the significant impact of irrelevant influences, (iii) one relying on the idea that moral truths do not play a role in explaining our moral beliefs, (...) (iv) one involving the claim that if moral realism is true then our moral beliefs are unlikely to be reliable, and (v) one involving the claim that moral realism is incompatible with there being a plausible explanation of our reliability about morality. The overall conclusion of the chapter is that the final objection is by far the most pressing. (shrink)

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

In this thesis I seek to advance our understanding of what intuitions are. I argue that intuitions are experiences of a certain kind. In particular, they are experiences with representational content, and with a certain phenomenal character. -/- In Chapter 1 I identify our target and provide some important reliminaries. Intuitions are mental states, but which ones? Giving examples helps: a person has an intuition when it seems to her that torturing the innocent is wrong, or that if something is (...) red it is coloured. We can also provide an initial characterisation of the state by saying that it has representational content, often causes belief, and appears to justify belief. In addition, there is something it is like to have an intuition: intuition has a certain phenomenal character. -/- Some argue that intuition does not explain anything which cannot be explained by other mental states. One version of this view takes intuition to reduce to belief. In Chapter 2 I argue that this entails that agents are rationally criticisable in situations where we know they are not, and that such views are therefore untenable. A parallel argument shows that the corresponding approach to perception fails. This suggests a similarity in nature: both intuition and perception are experiences. -/- Others take intuition to reduce to a disposition to have a belief. In Chapter 3 I consider a line of argument against such views, find it unsuccessful, and present two new arguments. One is likely to be dialectically ineffective. The other suffers no such weakness: it shows that the proposed reduction fails. As before, the argument also applies to perception, and suggests that intuition and perception are both experiences. -/- In the remainder of the thesis I develop an account of intuition as an experience. I distinguish between content-specific and attitude-specific phenomenology, and argue that intuition lacks the former (Chapter 4), but has the latter (Chapter 5). This allows us to say what intuition is: it is is an experience with representational content and with attitude-specific phenomenology of a certain kind. -/- In Chapter 6 I put this account of intuition to use. When a person has a perceptual or intuitional experience, I argue that simply having the experience is what makes the subject justified in believing what the experience represents. Moreover, what explains that intuition and perception can justify belief in this way is precisely their phenomenal character. (shrink)

In a recent paper Weinberg (2007) claims that there is an essential mark of trustworthiness which typical sources of evidence as perception or memory have, but philosophical intuitions lack, namely that we are able to detect and correct errors produced by these “hopeful” sources. In my paper I will argue that being a hopeful source isn't necessary for providing us with evidence. I then will show that, given some plausible background assumptions, intuitions at least come close to being hopeful, if (...) they are reliable. If this is true, Weinberg's new challenge comes down to the claim that philosophical intuitions are not reliable since they are significantly unstable. In the second part of my paper I will argue that and why the experimentally established instability of folk intuitions about philosophical cases does not show that philosopher's expert intuitions about these cases are instable. (shrink)

Abstract Theories are metaphysically equivalent just if there is no fact of the matter that could render one theory true and the other false. In this paper I argue that if we are judiciously to resolve disputes about whether theories are equivalent or not, we need to develop testable criteria that will give us epistemic access to the obtaining of the relation of metaphysical equivalence holding between those theories. I develop such ?diagnostic? criteria. I argue that correctly inter-translatable theories are (...) metaphysically equivalent, and what we need are ways of determining whether a putative translation is correct or not. To that end I develop a number of tools we can employ to discern whether a translation is a correct one. (shrink)

Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent philosophical puzzles concerning its applicability: a platonist puzzle arising from the abstractness of mathematical objects; and an empiricist puzzle arising from mathematical propositions’ lack of empirical factual content. In order to (...) see how this is the case, we will examine what it is to apply mathematics internally and describe examples. (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

In this paper, I explore a question about deductive reasoning: why am I in a position to immediately infer some deductive consequences of what I know, but not others? I show why the question cannot be answered in the most natural ways of answering it, in particular in Descartes’s way of answering it. I then go on to introduce a new approach to answering the question, an approach inspired by Hume’s view of inductive reasoning.

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

A popular way for irrealists to explain co-identification—thinking and talking ‘about the same thing’ when there is no such thing—is by appeal to causal, historical or informational chains, networks or practices. Recently, however, this approach has come under attack by philosophers who contend that it cannot provide necessary and/or sufficient conditions for co-identification. In this paper I defend the approach against these objections. My claim is not that the appeal to such practices can provide necessary and sufficient conditions for co-identification, (...) but rather that it is a mistake to seek these in the first place. -/- . (shrink)

Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly in section (...) 6. (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)

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

I discuss Benacerraf's epistemological challenge for realism about areas like mathematics, metalogic, and modality, and describe the pluralist response to it. I explain why normative pluralism is peculiarly unsatisfactory, and use this explanation to formulate a radicalization of Moore's Open Question Argument. According to the argument, the facts -- even the normative facts -- fail to settle the practical questions at the center of our normative lives. One lesson is that the concepts of realism and objectivity, which are widely identified, (...) are actually in tension. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

A selective annotated bibliography of recent literature on a priori knowledge.

Many epistemologists argue that responses to disagreement should exhibit a certain kind of epistemic impartiality. “Strong conciliationists” claim that we ought to give equal weight to the views of those who, judged from a dispute-neutral perspective, appear to be our “epistemic peers” with respect to some disputed matter. Using a Bayesian framework, Chapter 8 considers whether there is a plausible epistemic impartiality principle that would require us to give up confident religious (or irreligious) belief in favor of religious skepticism. It (...) is argued that the strong conciliationist’s epistemic impartiality is untenable, at least in contexts like the religious domain where the primary questions under dispute cannot be cleanly separated from questions about what qualifications are needed to reliably assess those primary questions. The chapter recommends instead a rationalist view on which rational insight can sustain justified confidence even when impartial grounds are lacking. It closes by defending the “religious acceptability” of this rationalist epistemology. (shrink)

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The idea that there are some facts that call for explanation serves as an unexamined premise in influential arguments for the inexistence of moral or mathematical facts and for the existence of a god and of other universes. This book is the first to offer a comprehensive and critical treatment of this idea. It argues that calling for explanation is a sometimes-misleading figure of speech rather than a fundamental property of facts.

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)