This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

Mental files, in Recanati's framework, function as 'singular terms in the language of thought' ; they serve to think about objects in the world (and to store information about them). But they have a derived, metarepresentational function : they serve to represent how other subjects think about objects in the world. To account for the metarepresentational use of files, Recanati introduces the notion of an 'indexed file', i.e. a vicarious file that stands, in the subject's mind, for another subject's file (...) about an object. Using that notion, he argues, one can provide an analysis of attitude ascriptions and the conniving use of empty singular terms. (shrink)

It seems to be impossible to draw metaphysical conclusions about the world merely from our concepts or our language alone. After all, our concepts alone only concern how we aim to represent the world, not how the world in fact is. In this paper I argue that this is mistaken. We can sometimes draw substantial metaphysical conclusions simply from thinking about how we represent the world. But by themselves such conclusions can be flawed if the concepts from which they are (...) drawn are themselves flawed. I propose that we can overcome these limitations by focusing on a special class of concepts: inescapable concepts. Combining arguments about what the world is like from considerations about our concepts alone, together with an argument that the relevant concepts are inescapable, leads to a novel method for metaphysics, which is broadly neo-Kantian. (shrink)

Some platonists truly agonize over the ontological commitments which their platonism demands of them. Peter van Inwagen, for example, confesses candidly,I am happy to admit that I am uneasy about believing in the existence of ‘causally irrelevant’ objects. The fact that abstract objects, if they exist, can be neither causes or [sic] effects is one of the many features of abstract objects that make nominalism so attractive. I should very much like to be a nominalist, but I don't see how (...) to be one …. (shrink)

Many idealists have thought that realism raises epistemological problems. The worry is that, if it is possible for truths about ordinary objects to outstrip our experiences in the ways that realists typically suppose, we could never be justified in our beliefs about objects. Few contemporary theorists find this argument convincing; philosophers have offered a variety of responses to defend the epistemology of our object judgments under the assumption of realism. But in this paper, I offer a new type of epistemic (...) argument against realism which is immune to the standard responses in the literature. In addition to raising a challenge for realism, the epistemology of our object judgments has implications for how the idealist should develop her own positive metaphysical view. So in the second half of this paper, I discuss how the idealist should understand the dependence between objects and our experiences if she is to secure epistemic advantages over the realist. (shrink)

The paper defends the argument that the Resemblance Paradox (RP), or the problem of the ‘under-determination of meaning’, and the Rule-Following Paradox (RFP) are two sides of the same paradox threatening meaning from opposite extremes. After presenting the case, the paradox is reconsidered anew and the supposition that the threat is a pervasive one is challenged.

Using Buddhist thought, explores and challenges the philosophy of Jean-Paul Sartre.

Recent years have seen an explosion of interest in the semantics of knowledge-attributing sentences, not just among epistemologists but among philosophers of language seeking a general understanding of linguistic context sensitivity. Despite all this critical attention, however, we are as far from consensus as ever. If we have learned anything, it is that each of the standard views—invariantism, contextualism, and sensitive invariantism—has its Achilles’ heel: a residuum of facts about our use of knowledge attributions that it can explain only with (...) special pleading. This is not surprising if, as I will argue, there is a grain of truth in each of these views. (shrink)

What is the relation between meaning and use? This chapter first defends a non-reductionist understanding of Wittgenstein’s suggestion that ‘the meaning of a word is its use in the language’; facts about meaning cannot be reduced to, or explained in terms of, facts about use, characterized non-semantically. Nonetheless, it is contended, facts about meaning do supervene on non-semantic facts about use. That supervenience thesis is suggested by comments of Wittgenstein’s and is consistent with his view of meaning and rule-following. Semantic (...) supervenience is then defended against two criticisms: first, John McDowell’s suggestion that the supervenience thesis falsifies the epistemology of meaning and fails to accommodate common-sense truths about meaning; second, a series of counter-examples proposed by Stephen Kearns and Ofra Magidor, who argue that worlds may differ semantically without differing non-semantically. It is argued that neither criticism is convincing: we should accept the thesis that semantic facts supervene on non-semantic facts. (shrink)

In this paper, I discuss the currently most popular argument for alethic pluralism, maintaining that the so-called scope problem provides no compelling reason for abandoning the traditional view that truth is one and the same (substantive) property across the various regions of thought or discourse in which it is ascribed or denied to the things we think or say. I disarm the argument by showing that the scope problem does not arise for a number of non-deflationary, monistic views of truth (...) that meet certain semantic and metaphysical constraints, for one can accept any of these views and provide a plausible account of the fact that mental and linguistic tokenings belonging to different regions of discourse involve radically different ways of engaging with reality? from detecting pre-existing facts to constituting them. (shrink)

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...) the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. (shrink)

Freud justified his extensive theorizing about dreams by the observation that they were “the royal road” to something much more general: namely, our unconscious mental life. The current preoccupation with the theory of excuse in criminal law scholarship (including my own) can be given a similar justification, for the excuses are the royal road to theories of responsibility generally. The thought is that if we understand why we excuse in certain situations but not others, we will have also gained a (...) much more general insight into the nature of responsibility itself. Nowhere has this thought been more evident than in the century-old focus of criminal law theoreticians on the excuse of insanity, a focus that could not be justified by the importance of the excuse itself.In this paper I wish to isolate two theories of excuse, each of which instantiates its own distinctive theory of responsibility. One is what I shall call the choice theory of excuse, according to which one is excused for the doing of a wrongful action because and only because at the moment of such action's performance, one did not have sufficient capacity or opportunity to make the choice to do otherwise. Such a choice theory of excuse instantiates a more general theory of responsibility, according to which we are responsible for wrongs we freely choose to do, and not responsible for wrongs we lacked the freedom (capacity and opportunity) to avoid doing. The second I shall call the character theory of excuse, according to which one is excused for the doing of a wrongful action because and only because such action is not determined by (or in some other way expressive of) those enduring attributes of ourselves we call our characters. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The Manifestation Requirement, advanced by Dummett in his critique of semantic realism, has been criticized for being behavioristic, and the responses have been made that the critics are mistaken. However, the dispute has failed to exhibit the point of the Requirement. In this paper, I shall argue (1) that, in the light of Anscombe's theory of practical knowledge, knowledge of linguistic meaning is to be seen as the knowledge-how that forms the basis of the practical knowledge that an agent has (...) of his own intentional actions, (2) that such knowledge of linguistic meaning is to be based on mutual agreements in a community, and (3) that the Manifestation Requirement is a condition for the possibility of such mutual agreements. As a result, the Manifestation Requirement finds its basis on the idea that language and linguistic acts are tools that we use while continually improving them. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

The article presents a full proof‐theoretic semantics for natural deduction based on an extended inversion principle: the elimination rule for an operator q may invert the introduction rule for q, but also vice versa, the introduction rule for a connective q may invert the elimination rule for q. Such an inversion—extending Prawitz' concept of inversion—gives the following theorem: Inversion for two rules of operator q (intro rule, elim rule) exists iff a reduction of a maximum formula for q exists. The (...) inversion theorem is specified to two logics, Lambek calculus (LC) and intuitionistic linear logic (ILL), with four propositional connectives: two multiplicatives (implication and conjunction) and two additives (conjunction and disjunction), with two quantifiers and two modals. LC is defined by using elimination rules by composition. ILL is defined by using usual general elimination rules. Elimination rules by composition are an exciting alternative to general elimination rules; in some cases, they do not need permutations. (shrink)

Parsimony considerations are ubiquitous in the literature concerning the nature of mental states. Other things being equal, physicalist views are preferred over dualist accounts on the grounds of the fact that they do not posit new fundamental properties in addition to the physical ones. This paper calls into question the widespread assumption that parsimony can provide reasons for believing that physicalism is a better candidate than dualism for solving the mind–body problem. After presenting the theoretical core of physicalism and dualism, (...) I make explicit the meta-metaphysical assumptions the physicalist relies on when leveraging parsimony to support her view. In particular, the physicalist takes for granted that parsimony has an epistemic value in metaphysics. This point, however, is rather controversial. I argue that the most promising way to account for the epistemic value of parsimony is to ground it in the epistemic value of modesty, a higher-level theoretical virtue that has to do with the epistemic risk of a theory. Unfortunately for the physicalist, the modesty rationale does not ultimately favour physicalism over dualism. (shrink)

Does Wittgenstein have a method? There are two challenges to an affirmative answer. One is put forth by Schulte, who claims that Wittgenstein’s method is little more than a skill, and thus not a method in any ambitious sense of that word. Another is Conant’s view that the philosophy of the later Wittgenstein entertains not one method, but a variety of methods. I tackle these challenges by questioning what I take to be their presupposed conceptions of ‘method’ and conclude that (...) we can indeed speak of Wittgenstein’s method in an interesting sense. Thereby, the concept of method will be elucidated and the sense in which Wittgenstein’s philosophy has a method clarified. (shrink)

In response to Hirsch's deflationary arguments, Sider attempts to introduce a special Ontologese quantifier to preserve the substantivity of fundamental debates in metaphysics. He claims that this strategy can be effected by two distinct means, one of which is a list of instructions for metaphysicians, which he argues suffice to give the new quantifier a meaning that carves nature at the joints. I argue that these instructions will not allow someone to start speaking Ontologese if their prior language is sufficiently (...) deviant with respect to it, and that natural languages may be in just such a position. (shrink)

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)

Fodor's thinking on modularity has been influential throughout a range of the areas studying cognition, chiefly as a prod for positive work on modularity and domain-specificity. In _The Mind Doesn't Work That Way_, Fodor has developed the dark message of _The Modularity of Mind_ regarding the limits to modularity and computational analyses. This paper offers a critical assessment of Fodor's scepticism with an eye to highlighting some broader issues in play, including the nature of computation and the role of recent (...) empirical developments in the cognitive sciences in assessing Fodor's position. (shrink)

Michael Dummett famously maintained that analytic philosophy was simply philosophy that followed Frege in treating the philosophy of language as the basis for all other philosophy (1978, 441). But one important insight to emerge from computer science is how difficult it is to animate the linguistic artifacts that the analysis of thought produces. Yet, modeling the effects of thought requires a new skill that goes beyond analysis: procedural literacy. Some of the most promising research in philosophy makes use of a (...) variety of modeling techniques that go beyond basic logic and elementary probability theory. What unifies this approach is a focus on what Alan Perlis called procedural literacy. This essay argues that the future spoils in philosophical research will disproportionally go to those who are procedurally literate. (shrink)

Some philosophers have laid down rather severe strictures on whether there can be thought without language. Wittgenstein asserted that ‘the limits of language…mean the limits of my world’. Davidson has argued that ‘a creature cannot have thoughts unless it is an interpreter of the speech of another’. Dummett has interpreted some pronouncements as meaning that ‘the study of thought is to be sharply distinguished from the study of the psychological processes of thinking and…the only proper method of analysing thought consists (...) in the analysis of language’. And there is also the position that thought has its own language that might exist even prior to or in the absence of natural language. But here I am going to concentrate on what might be possible in the absence of natural language. I do not know what it would mean to consider thinking in the absence of its own intrinsic language, a language of thought, if the two always co-exist. (shrink)

I begin by contrasting two facets of belief: that belief is a response to a sufficiency of evidence and that belief plays a role in one’s representation of reality. I claim that these conceptions of belief are in tension because whilst the latter – Representationalism – requires Logical Coherence of belief the former – Thresholdism – conflicts with Logical Coherence. Thus we need to choose between conceptions. Many have argued that the Preface Paradox supports Thresholdism. In contrast I argue that (...) Representationalism has a more plausible response to the paradox. (shrink)

This article aims to show that Wittgenstein’s remarks on religious belief and religious statements can be understood in modest philosophical terms, consistent with the thought that they are neither intended as serving to justify or undermine religious beliefs, nor as the expression of any theorizing about the nature of religious belief or the meaning of religious language. Instead, their philosophical significance is held to consist in their functioning to remind us of what we already know about the latter: such things (...) as in what circumstances one utters religious statements, what the consequences of accepting or rejecting religious beliefs are, and so on. His position is that all attempts to say something more than this are either a mark of philosophical arrogance or a manifestation of one’s own personal commitment to adopting a stance of religious belief or non-belief. As such, they do not furnish us with genuine philosophical insights. I argue that such an interpretation possess two principal merits. Firstly, it demonstrates that there is no tension between Wittgenstein’s remarks on the nature of philosophy and his remarks on religious belief and religious statements. Secondly, it shows that it is possible to philosophize about religion in a manner that does not assume that this has to consist either in presenting an apology for or critique of religion or in formulating philosophical theories regarding the nature of religious belief and the meaning of religious language. (shrink)

Many philosophers believe that a deflationist theory of truth must conservatively extend any base theory to which it is added. But when applied to arithmetic, it's argued, the imposition of a conservativeness requirement leads to a serious objection to deflationism: for the Gödel sentence for Peano Arithmetic is not a theorem of PA, but becomes one when PA is extended by adding plausible principles governing truth. This paper argues that no such objection succeeds. The issue turns on how we understand (...) the notion of logical consequence implicit in any conservativeness requirement, and whether we possess a categorical conception of the natural numbers. I offer a disjunctive response: if we possess a categorical conception of arithmetic, then deflationists have principled reason to accept a rich notion of logical consequence according to which the Gödel sentence follows from PA. But if we do not, then the reasons for requiring the derivation of the Gödel sentence lapse, and deflationists are free to accept a conservativeness requirement stated proof-theoretically. Either way, deflationism is in the clear. (shrink)

When I studied the Scriptures then I did not feel as I am writing about them now. They seemed to me unworthy of comparison with the grand style of Cicero (Augustine, III, 5).As for the absurdities which used to offend me in Scripture, … I now looked for their meanings in the depth of mystery (sacramentorum) (Augustine, VI, 5).

Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about (...) the truth or falsity of atomic sentences, A always receives the top-element of a certain partial order on non-ontic semantic values as its value. The ordering in question is a told-true order. Analogously, a formula A is logically false just in case no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain told-false order as its value. Here, truth and falsity are pari passu , and it is the treatment of truth and falsity as independent of each other that leads to an informational interpretation of these notions in terms of a certain kind of higher-level information. (shrink)

Throughout his philosophical career, Michael Dummett held firmly two theses: the theory of meaning has a central position in philosophy and all other forms of philosophical inquiry rest upon semantic analysis, in particular semantic issues replace traditional metaphysical issues; the theory of meaning is a theory of understanding. I will defend neither of them. However, I will argue that there is an important lesson we can learn by reflecting on the link between linguistic competence and semantics, which I take to (...) be an important part of Dummett’s legacy in philosophy of language. I discuss this point in relation to Cappelen and Lepore’s criticism of Incompleteness Arguments. (shrink)

Michael Dummett has proposed an influential analysis of the meaning of ethnic and racial slurs based on inferential rules. Timothy Williamson, however, finds the analysis problematic. It does not seem to explain how slurs are actually used. Williamson’s challenge for the inferentialist account of slurs has not gone unnoticed. In this article, I first discuss the debate between the inferentialists and Williamson. I argue that the inferentialist responses concentrate on the wrong issue and the real issue in Williamson’s challenge is (...) left untouched. I go on to specify his challenge and offer a solution to the challenge. The solution rests on the idea that the inferential rules for slurs involve a generic component. (shrink)

Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.

Philosophers have responded to McTaggart’s famous argument for the unreality of time in a variety of ways. Some of those responses are not easy to evaluate, since they involve, for example, sometimes murky questions concerning whether a certain infinite regress is or is not vicious. In this paper I set out a response that has not, I think, been advanced by any other author, and which, if successful, is absolutely clear-cut. The basic idea is simply that a tensed approach to (...) time can avoid McTaggart’s contradiction, and can also avoid any regress, vicious or otherwise, by specifying the times at which events have different tensed properties in a tenseless fashion — namely, by using dates. This answer to McTaggart’s argument is, however, open to four important objections. The first objection is that my answer to the second part of McTaggart’s argument is incompatible with something that McTaggart takes himself to have proved in the first part of his argument — the claim, namely, that “there can be no change unless some propositions are sometimes true and sometimes false.” The second objection is that the sentences that I claim can be used to specify when an event has a given tensed property do not in fact do so, since they turn out to be purely tenseless sentences. The third objection is that the sentences in question make use of tenseless verbs, and that it is not in fact possible to make sense of such verbs. The fourth and final objection is that it is not really possible to specify, in tenseless terms, when an event has a given tensed property, since dates have to be analyzed using the relation of temporal priority, and that relation, in turn, must be analyzed in terms of the tensed properties of pastness, presentness and futurity, so that the purportedly tenseless specification is implicitly tensed. I argue, however, that none of these four objections can be sustained. (shrink)

The verification of a sentence against a visual display in experimental conditions reveals a procedure that is driven solely by the properties of the linguistic input and not by the properties of the context (the set-up of the visual display) or extra-linguistic cognition (operations executed to obtain the truth value). This procedure, according to the Interface Transparency Thesis (ITT) (Lidz et al. in Nat Lang Semant 19(3):227–256, 2011), represents the meaning of an expression at the interface with the ‘conceptual-intentional’ system (...) (Chomsky in The minimalist program. MIT Press, Cambridge, 1995). My experiments provide support for the ITT by replicating in Polish and in Bulgarian the findings of Lidz et al. (Nat Lang Semant 19(3):227–256, 2011) for the English quantifier most. We also obtain new evidence that participants are prompted to switch between verification procedures by a change in the linguistic input (a different superlative quantifier entailed by most), but not by a change in the visual input. Thus, the motivation for the subconscious switch in procedures is not to maximize efficiency. Participants use the procedure associated with each quantifier, and in effect, the same display is verified differently depending on which information the visual system is instructed to use by the semantic representation of the sentence. (shrink)

Social metaphysics is a source of important philosophical and moral insight. Furthermore, much social metaphysics appears to be substantive. However, some have recently argued that standard views of metaphysics cannot accommodate substantive social metaphysics. In this paper I offer a new diagnosis of this problem and defend a new solution, showing that this problem is an illuminating lens through which to examine the nature and boundaries of metaphysics. This case instantiates a broad, common pattern generated by attempts to align distinctions (...) between realism and anti-realism, mind-independence and mind-dependence, and legitimate and non-legitimate inquiry. I show that the best response is to abandon the association between substantive metaphysics and mind-independence, and I sketch a new definition of substantivity, given in terms of explanatory power, that makes room for substantive social metaphysics while also offering an attractive basis for general metaphysics. (shrink)

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like ‘All the theorems are true’, ‘Everything Peter said is true’, etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first‐order logic, full second‐order logic, and existential second‐order logic. (shrink)

Donald Davidson brought to our attention deviant causal chains as a problem for causal theories of action. Consider Davidson's own example: " A climber might want to rid himself of the weight and danger of holding another man on a rope, and he might know that by loosening his hold on the rope he could rid himself of the weight and danger. This belief and want might so unnerve him as to cause him to loosen his hold, and yet it (...) might be the case that he never chose to loosen his hold, nor did he do it intentionally. " The loosening of the hold on the rope is an action, according to a simple causal theory of action earlier developed by Davidson , if we can describe it in a way that renders it intentional under that description. Is there a way of describing the climber's loosening of his hold of the rope as intentional? Did he intentionally loosen his hold? Well, his loosening his hold is both rationalized and explained causally with reference to the beliefs and desires held by the climber. But there seems to be something wrong with the causal chain.Is there a simple fix? Could we not say that even if the loosening of the hold on the rope is caused by a desire held by the climber it is not caused by any proximate desire of the climber ? Or, to give a new twist to this well-known argument, could we not say that the loosening of the hold on the rope is not caused in a way that is responsive to the desire? This latter idea has recently been suggested by Markus E. Schlosser as a simple solution to the …. (shrink)

Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don’t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, (...) I argue that, since logical connectives are more homogeneously used in our ordinary speech, we can appeal to pretheoretical intuitions to establish their meaning in a logical theory. In the second part of the paper, I consider and reply to four objections to this moderate proposal. Two of them try to show that, if this position is adopted, then the pretheoretical intuitions about the connectives are completely unreliable and useless. One of them argues that this mixed position is unstable: pretheoretical intuitions about the connectives are also pretheoretical intuitions about validity. The last problem is related to the definition of validity and the possibility of revising it. (shrink)

This paper contains a defense against anti-realism in mathematics in the light both of incompleteness and of the fact that mathematics is a ‘cultural artifact.’. Anti-realism (here) is the view that theorems, say, of aritltmetic cannot be taken at face value to express true propositions about the system of numbers but must be reconstrued to be about somctliiiig else or about nothing at all. A ‘bite-the-bullet’ aspect of the defease is that, adopting new axioms, liitherto independent, is not. a matter (...) of recognizing trutlis wliich had previoasly been unrecognized, but of extending the domain of what is true. (shrink)

I will argue that the ontological doctrine of physicalism inevitably entails the denial that there is anything conceptual in logic and mathematics. The elements of a formal system, even if they are tagged by suggestive names, are merely meaningless parts of a physically existing machinery, which have nothing to do with concepts, because they have nothing to do with the actual things. The only situation in which they can become meaning-carriers is when they are involved in a physical theory. But (...) in this role they refer to elements of the physical reality, i.e. they represent a physical concept. “Mathematical concepts” are just idols, that philosophy can completely deny and physics can completely ignore. (shrink)