According to a two-level criterion for combination tests in the field of ordinary language, moral 'ought'-sentences may be taken to imply 'I intend'-sentences partly semantically and partly pragmatically. If so, a trenchant linguistic analysis of the concept of moral obligation cannot do without a non-classical logic which allows to model these important kinds of ordinary-language implications by means of purely syntactical derivations. For this purpose, an integrated logic of conviction and intention has been tentatively devised by way of a doxastically, (...) buletically, and pragmatically extended calculus of natural deduction. This system of buletic logic cannot even be launched without one or two derivation rules of deductive closedness. However, these very closedness rules appear to be responsible for buletic paradoxes which are analogous to paradoxes long since known from other, less exotic branches of logic but at first sight look much more virulent. After having scrutinized two potential strategies for coping with the paradoxes of buletic logic, finally we can convince ourselves that these paradoxes, as well as their familiar non-buletic counterparts, are but apparent paradoxes, provided we consistently lean on C-CT and do not let pragmatical considerations intrude into purely logical ones. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...) argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

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)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (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)

The paper is concerned with the way in which “ontology” and “realism” are to be interpreted and applied so as to give us a deeper philosophical understanding of mathematical theories and practice. Rather than argue for or against some particular realistic position, I shall be concerned with possible coherent positions, their strengths and weaknesses. I shall also discuss related but different aspects of these problems. The terms in the title are the common thread that connects the various sections.

Nazovi epistemološke osnove na kojima bismo racionalno trebali odrediti naše ontološke (ili aletiološke) obveze u vezi s entitetom njegov arbitar postojanja (ili arbitar istine). Uobičajeno je mišljenje da arbitri postojanja i istine mogu biti dani putem naših praksi. Ovaj rad tvrdi da takva gledišta imaju nekoliko implikacija: (1) veza između arbitara i naših metafizičkih obveza sastoji se u neophodnosti, (2) realistička gledišta o vrsti entiteta trebala bi se podudarati s vrstama praksi koje pružaju arbitre za tu vrstu entiteta s obzirom (...) na njihove metafizičke ovisnosti, (3) ako realisti smatraju da vrsta prakse pruža temelje na kojima se potvrđuje postojanje vrste entiteta, trebali bi se referirati na iste temelje koje koriste kada pokušavaju pružiti epistemologiju relevantnog područja. (shrink)

Argues that truth, moral right, political right, and aesthetic value may be understood as arising out of a naturalist account of humanity, if naturalism is rightly conceived.

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might be modelled on Nelson''s (...) strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

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)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to 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)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (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)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

For Kant, philosophical investigations are inherently analytic. The proper method of philosophy is analysis, and the object of analysis are concepts. Hence, Kant’s short description of philosophy as “rational cognition […] from concepts” (KrV, A 837/B 865) can be substituted by “philosophy is conceptual analysis”. The article shows that Kant follows a representationalism about concepts and a combination of intensional and extensional feature semantics. Against the claim that Kant is a proponent of the concept-judgement-inversion, it is argued that concepts are (...) being articulated in form of singular terms, propositions, and sets of propositions alike. Kant interlinks different kinds of concepts with different kinds of definitions, as the reconstruction of his theory of definitions reveals. Philosophy foremost deals with what Kant calls “given” empirical and pure concepts. Such concepts are object of analysis, i.e., explication and exposition. The article ends with answers to five possible objections. Is philosophy all about analysis? (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)

I argue that our procedures for determining whether ascriptions of a predicate represent things as being a certain way are ultimately pragmatic. Pragmatic procedures are not subject to validation by the referential procedure – determining whether there is a property playing the role of its referent. Predicates can represent even if we can't provide an independent identification of its referent. For these predicates, the speakers’ knowledge of how they represent objects as being would have to be construed in terms of (...) the ascription practices they associate with the predicates. The same approach can be applied to semantic predicates, such as ‘is representational’ or ‘refers to’. They can be treated as representational even if we can't provide an independent identification of their referents. The availability of this position undermines accounts of the referents of semantic predicates in naturalistic terms. (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)

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)

Writers such as Stalnaker and Dummett have argued that specific features of subjunctive conditional statements undermine the principle of bivalence. This, paper is concerned with rebutting such claims. 1. It is shown how subjective conditionals pose a prima facie threat to bivalence, and how this threat can be dissolved by a distinction between the results of negating a subjective conditional and of negating its consequent. To make this distinction is to side with Lewis against Stalnaker in a dispute about possible (...) worlds semantics for such conditionals, and reasons are given for doing so. 2. These arguments are extended to answer Dummett''s claim that behaviourist and phenomenalist analyses in terms of subjunctive conditions violate bivalence. This answer is shown to be compatible with the principle that hypothetical statements are true only in virtue of categorical facts. (shrink)

There is what might be called a ‘majority position’ in the history of Western philosophy according to which causes are sufficient for or ‘necessitate’ their effects. However, there is also a singificant ‘minority position’ according to which causes are necessary relative to their effects. The second/third century A.D. Peripatetic Alexander of Aphrodisias is an ancient representative of the minority position. He attributes his own view — with some justification, I shall suggest – to Aristotle. This paper has two, somewhat loosely (...) connected purposes. The first is to explore the origin of the conception of ‘causes’ as necessary conditions in Aristotle, particularly in On Generation and Corruption 2.11 and Posterior Analytics 2.12, and the development and use of the conception in Alexander's De fato. The second purpose of the paper is to explore and criticize a sophisticated contemporary version of the conception of causes as ‘necessary in the circumstances,’ that of J.L. Mackie. (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)

ABSTRACTContemporary theology appears to be in a transitional phase that brings with it a search for forms of thought that can support theology’s ongoing work. As a result in part of the institutio...

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)

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)

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).

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

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)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (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)

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 aim of this paper is to describe a methodology for revising logical principles in the light of empirical psychological findings. Historical philosophy of science and wide reflective equilibrium in ethics are considered as providing possible models for arguing from the descriptive to the normative. Neither is adequate for the psychology/logic case, and a new model is constructed, employing criteria for evaluating inferential systems. Once we have such criteria, the notion of reflective equilibrium becomes redundant.

This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to regiment David Lewis’s justification of his Division Thesis, which features prominently in his combination of mereology with class (...) theory. The Division Thesis plays a crucial role in Lewis’s informal argument for his Second Thesis in his book Parts of Classes. In order to present Lewis’s argument in rigorous detail, an elegant new principle is offered for the theory that combines class theory and mereology. The new principle is called the Canonical Decomposition Thesis. It secures Lewis’s Division Thesis on the strong construal required in order for his argument to go through. The exercise illustrates how careful one has to be when setting up the details of an adequate foundational theory of parts and classes. The main aim behind this investigation is to determine whether an anti-realist, inferentialist theorist of meaning has the resources to exhibit Lewis’s argument for his Second Thesis—which is central to his marriage of class theory with mereology—as a purely conceptual one. The formal analysis shows that Lewis’s argument, despite its striking appearance to the contrary, can be given in the constructive, relevant logic IR. This is the logic that the author has argued, elsewhere, to be the correct logic from an anti-realist point of view. The anti-realist is therefore in a position to regard Lewis’s argument as purely conceptual. (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)

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)