Cora Diamond has recently criticised as mere legend the interpretation of a quip of Ramsey's, contained in the epigraph below, which takes him to be objecting to or rejecting Wittgenstein's Tractarian distinction between saying and showing. Whilst I agree with Diamond's discussion of the legend, I argue that her interpretation of the quip has little evidential support, and runs foul of a criticism sometimes made against intuitionism. Rather than seeing Ramsey as making a claim about the nature of propositions, as (...) Diamond does, we should understand him as making a claim about the grammar of the logical connectives. Such a view coheres with the extant evidence of the nature of Wittgenstein's and Ramsey's 1929 philosophical encounters. It is also compatible with attributing to Ramsey a recognition of Wittgenstein's distinction and with denying that criticising it is the lesson of the quip. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

This paper sets out issues in the realist/antirealist debate in philosophy of religion. These include the existence of God and the meaning of prayer. The paper describes motivations for antirealism in religion such as the recognition of conflicting religious claims and a desire for tolerance. It explores instrumentalism and reductionism as possible antirealist strategies. Parallels between the debate in religion and the corresponding debate in philosophy of science are used to inform the discussion in the religious sphere. Shared aspects of (...) science and religion feature in a pragmatic argument suggesting that the advantages of realism outweigh those of antirealism for religion. (shrink)

, Rudolf Carnap became a chief proponent of the doctrine that the statements of intuitionism carry nonstandard intuitionistic meanings. This doctrine is linked to Carnap's ‘Principle of Tolerance’ and claims he made on behalf of his notion of pure syntax. From premises independent of intuitionism, we argue that the doctrine, the Principle, and the attendant claims are mistaken, especially Carnap's repeated insistence that, in defining languages, logicians are free of commitment to mathematical statements intuitionists would reject. I am grateful to (...) Nathan Carter, Gary Ebbs, Janet Folina, Luise Prior McCarty, Stewart Shapiro, Neil Tennant, Christopher Tillman, Beth Tropman, Wen-fang Wang, and two anonymous referees for their comments and suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as the (...) theory of proofs rather than propositions, and tonk perfectly makes sense in terms of the identity of proofs. Indeed, there is fully complete semantics of proofs for tonk, which allows us to link the Prior’s old philosophical idea with contemporary issues at the interface of categorical logic, computer science, and quantum physics, and thereby to expose commonalities between the laws of Reason and the laws of Nature, which are what logic and physics are respectively about. I conclude the article by articulating the ideas of categorical logical positivism and pluralistic unified science as its goal, including the unification of realist and antirealist conceptions of meaning by virtue of the categorical logical basis of metaphysics. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

: Radical sceptical possibilities challenge the anti-realist view that truth consists in ideal rational acceptability. Putnam, as part of his defence of an anti-realist view, subjected the case of the brain in a vat to a semantic externalist treatment, which aimed to maintain the desired connection between truth and ideal rational acceptability. It is argued here that self-consciousness poses special problems for this externalist strategy. It is shown how, on a standard model of first-person reference, Putnam's brain in a vat (...) will be mistaken in its rational self-ascription of externalist predicates. The natural response, which employs an alternative model of first-person reference, is shown to have the equally realist consequence that there are enquiry-transcendent truths about the self. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Research into logical syntax provides us the knowledge of the structure of sentences, while logical semantics provides a window into uncovering the truth of sentences. Therefore, it is natural to make sentences and truth the central concern when one deals with the theory of meaning logically. Although their theories of meaning differ greatly, both Michael Dummett’s theory and Donald Davidson’s theory are concerned with sentences and truth and developed in terms of truth. Logical theories and methods first introduced by G. (...) Frege underwent great developments during the past century and have played an important role in expanding these two scholars’ theories of meaning. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

Here is a distinction that appears very simple, looks compelling and seems to be deeply rooted in our reflections on learning. 1 The distinction is between activities of learning that involve training and those that involve reasoning. In the former, the pupil is a passive recipient of habits of mind and action. The mechanism by which they acquire these habits is mimesis, not reasoning. In contrast, learning by reasoning involves considerable mental activity by the pupil who has to work out (...) what to think and do. The very mechanism by which the pupil learns is her own capacity to reason, to things work out for herself. In this paper I argue that there is no basis for this distinction. I argue that, contrary to the dominant empiricist thinking about such things, learning by reasoning is the only credible form of learning. I start with a brief characterisation of the distinction and an account of why it seems so compelling. In §2 I review the empirical evidence from developmental psychology for a rationalist account of language learning as learning by reasoning. In §§3 and 4 I provide a philosophical argument against the place of training and in favour of a rationalist model of learning by reasoning. (shrink)

Here is a distinction that appears very simple, looks compelling and seems to be deeply rooted in our reflections on learning. The distinction is between activities of learning that involve training and those that involve reasoning. In the former, the pupil is a passive recipient of habits of mind and action. The mechanism by which they acquire these habits is mimesis, not reasoning. In contrast, learning by reasoning involves considerable mental activity by the pupil who has to work out what (...) to think and do. The very mechanism by which the pupil learns is her own capacity to reason, to things work out for herself. In this paper I argue that there is no basis for this distinction. I argue that, contrary to the dominant empiricist thinking about such things, learning by reasoning is the only credible form of learning. I start with a brief characterisation of the distinction and an account of why it seems so compelling. In §2 I review the empirical evidence from developmental psychology for a rationalist account of language learning as learning by reasoning. In §§3 and 4 I provide a philosophical argument against the place of training and in favour of a rationalist model of learning by reasoning. (shrink)

In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, with a view to (...) understanding as far as we can the fundamental structure of reality as a whole. Accordingly, it is urged, the deliverances of formal ontology have a modal and epistemic status akin to those of other a priori sciences, such as mathematics and logic, rather than constituting rivals to the claims of the empirical sciences, such as physics. (shrink)

A personal view is presented of how metaphysics and ontology stand at the beginning of the twenty-first century, in the light of developments during the twentieth. It is argued that realist metaphysics, with serious ontology at its heart, has a promising future, provided that its adherents devote some time and effort to countering the influences of both its critics and its false friends.

On the most prominent account, understanding what was said is always propositional knowledge of what was said. I develop a more minimal alternative, according to which understanding is sometimes a distinctive attitude towards what was said—to a first approximation, entertaining what was said. The propositional knowledge account has been supported on the basis of its capacity to explain testimonial knowledge transmission. I argue that it is not so supported.

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

Since Benacerraf’s “Mathematical Truth” a number of epistemological challenges have been launched against mathematical platonism. I first argue that these challenges fail because they unduely assimilate mathematics to empirical science. Then I develop an improved challenge which is immune to this criticism. Very roughly, what I demand is an account of how people’s mathematical beliefs are responsive to the truth of these beliefs. Finally I argue that if we employ a semantic truth-predicate rather than just a deflationary one, there surprisingly (...) turns out to be logical space for a response to the improved challenge where no such space appeared to exist. (shrink)

According to Rosenthal’s Higher-Order Thought (HOT) theory of consciousness, first-order mental states become conscious only when they are targeted by HOTs that necessarily represent the states as belonging to self. On this view a state represented as belonging to someone distinct from self could not be a conscious state. Rosenthal develops this view in terms of what he calls the ‘thin immunity principle’ (TIP). According to TIP, when I experience a conscious state, I cannot be wrong about whether it is (...) I who I think is in that state. We first suggest that TIP is a direct consequence of the HOT theory. Next we argue that somatoparaphrenia—a pathology in which sensations are sometimes represented as belonging to other people—shows that TIP can be violated. This violation of TIP in turn shows that the HOT theory’s claim that conscious states are necessarily represented as belonging to self is in error. Rosenthal’s attempt to account for pathological cases is found to be inadequate when applied to somatoparaphrenia, and other possible defenses are also shown to be incapable of preserving TIP. We further conclude by suggesting that the HOT theory’s failing in this regard is not a failing that is peculiar to this theory of consciousness. (shrink)

I argue against a simple contextualist account of epistemic modals. My argument, like the argument on which it is based , charges that simple contextualism cannot explain all of the conversational data about uses of epistemic modals. My argument improves on its predecessor by insulating itself from recent contextualist attempts by Janice Dowell and Igor Yanovich to get around that argument. In particular, I use linguistic data to show that an utterance of an epistemic modal sentence can be warranted, while (...) an utterance of its suggested simple contextualist paraphrase is not. (shrink)

What we can call asymmetric disagreement occurs when one agent is in disagreement with another, but not vice-versa. In this paper, I give an example of and develop a framework for understanding this phenomenon. One pivotal feature of my example is that one of the agents in the scenario has a belief about what might be the case—a might-belief. I show that a traditional account of might-beliefs and disagreement cannot explain the initially surprising phenomenon of asymmetric disagreement. In order to (...) provide an explanation, I develop a dynamic account of might-beliefs and a corresponding account of disagreement. I close by exploring a choice point for our account—showing that the simple dynamic account has some controversial (though, perhaps, true) consequences. I explore how revisionary notions of validity, inconsistency, and disagreement can allow us to avoid these consequences if we wish. (shrink)

Russell’s paradox is purely logical in the following sense: a contradiction can be formally deduced from the proposition that there is a set of all non-self-membered sets, in pure first-order logic—the first-order logical form of this proposition is inconsistent. This explains why Russell’s paradox is portable—why versions of the paradox arise in contexts unrelated to set theory, from propositions with the same logical form as the claim that there is a set of all non-self-membered sets. Burali-Forti’s paradox, like Russell’s paradox, (...) is portable. I offer the following explanation for this fact: Burali-Forti’s paradox, like Russell’s, is purely logical. Concretely, I show that if we enrich the language \ of first-order logic with a well-foundedness quantifier W and adopt certain minimal inference rules for this quantifier, then a contradiction can be formally deduced from the proposition that there is a greatest ordinal. Moreover, a proposition with the same logical form as the claim that there is a greatest ordinal can be found at the heart of several other paradoxes that resemble Burali-Forti’s. The reductio of Burali-Forti can be repeated verbatim to establish the inconsistency of these other propositions. Hence, the portability of the Burali-Forti’s paradox is explained in the same way as the portability of Russell’s: both paradoxes involve an inconsistent logical form—Russell’s involves an inconsistent form expressible in \ and Burali-Forti’s involves an inconsistent form expressible in \. (shrink)

The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...) shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...) understanding a logical constant in turn requires the ability to apply it correctly in particular cases. It is shown, however, that Implicit Definition cannot account for this ability, even if it draws on introduction rules for the logical constants. In particular, Implicit Definition cannot account for our ability to apply negation in particular cases. Owing to constraints relating to the unique characterisation of logical constants, invoking the notion of rejection does not remedy the situation. Given its failure to explain knowledge of logic, the prospects of Implicit Definition to explain other kinds of a priori knowledge are even worse. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper discusses Michael Dummett’s attempt to base the use of intuitionistic logic in mathematics on a proof-conditional semantics. This project is shown to face significant obstacles resulting from the existence of variants of standard intuitionistic logic. In order to overcome these obstacles, Dummett and his followers must give an intuitionistically acceptable completeness proof for intuitionistic logic relative to the BHK interpretation of the logical constants, but there are reasons to doubt that such a proof is possible. The paper concludes (...) by proposing an alternative way of thinking about why one should use intuitionistic logic when doing mathematics. (shrink)

Since its publication in 1967, van Heijenoort’s paper, “Logic as Calculus and Logic as Language” has become a classic in the historiography of modern logic. According to van Heijenoort, the contrast between the two conceptions of logic provides the key to many philosophical issues underlying the entire classical period of modern logic, the period from Frege’s Begriffsschrift (1879) to the work of Herbrand, Gödel and Tarski in the late 1920s and early 1930s. The present paper is a critical reflection on (...) some aspects of van Heijenoort’s thesis. I concentrate on the case of Frege and Russell and the claim that their philosophies of logic are marked through and through by acceptance of the universalist conception of logic, which is an integral part of the view of logic as language. Using the so-called “Logocentric Predicament” (Henry M. Sheffer) as an illustration, I shall argue that the universalist conception does not have the consequences drawn from it by the van Heijenoort tradition. The crucial element here is that we draw a distinction between logic as a universal science and logic as a theory. According to both Frege and Russell, logic is first and foremost a universal science, which is concerned with the principles governing inferential transitions between propositions; but this in no way excludes the possibility of studying logic also as a theory, i.e., as an explicit formulation of (some) of these principles. Some aspects of this distinction will be discussed. (shrink)

The classical arguments against metaphysics provided by Immanuel Kant, neopositivists and recently by analytical philosophers focus on the problem of meaning. In my paper I would like to shed a little bit of light on different dimensions of this problem in the metaphysical discourse and make a proposition how to overcome the difficulties that arise from this kind of discourse.

I distinguish two notions of agreement in belief: believing the same content versus having beliefs that necessarily coincide/diverge in normative status. The second notion of agreement,, is clearly significant for the communication of beliefs amongst thinkers. Thus there would seem to be some prima facie advantage to choosing the conception of content operative in in such a way that the normative status of beliefs supervenes on their content, and this seems to be the prevailing assumption of many semanticists. I shall (...) argue that de se beliefs and assertions provide a motivation to depart from this assumption, and so do beliefs and assertions concerning what is epistemically possible. I conclude by offering two models of assertoric communication that are compatible with the abandonment of the assumption, and suggesting schematically that each model applies to different cases. (shrink)

Horizontalism is the thesis that what a speaker asserts in literally and sincerely uttering an indicative sentence is some horizontal proposition of her utterance; diagonalism is the thesis that what a speaker asserts in literally and sincerely uttering an indicative sentence is some diagonal proposition of her utterance. Recent work on assertion has reached no clear consensus favoring either horizontalism or diagonalism. I explore a novel strategy for adjudicating between the two views by considering the advantages and disadvantages which would (...) accrue to a linguistic community as a result of adopting different committal practices—that is, practices of associating utterances with the propositions to which speakers undertake assertoric commitments in uttering them—ultimately concluding that a horizontalist practice has important advantages over its competitors. (shrink)

ABSTRACT. The received picture of linguistic communication understands communication as the transmission of information from speaker's head to hearer's head. This picture is in conflict with the attractive Lewisian view of belief as self-location, which is motivated by de se attitudes – first-personal attitudes about oneself – as well as attitudes about subjective matters such as personal taste. In this paper, I provide a solution to the conflict that reconciles these views. I argue for an account of mental attitudes and (...) communication on which mental content and speech act content is understood as sets of multicentered worlds – roughly, possible worlds ‘centered’ on a sequence of individuals at a time. I develop a Stalnakerian model of communication based on multicentered worlds content, and I provide a suitable semantics for personal pronouns and predicates of personal taste. The resulting picture is one on which the point of conversation is the coordination of individual perspectives. (shrink)

Holistic theories of meaning have, at least since Dummett’s Frege: The Philosophy of language, been assumed to be problematic from the perspective of the incremental nature of natural language learning. In this essay I argue that the general relationship between holism and language learning is in fact the opposite of that claimed by Dummett. It is only given a particular form of language learning, and a particular form of holism, that there is a problem at all; in general, for all (...) forms of holism, and irrespective of how language learning is understood, semantic holism is conducive to language learning. The paper has three main parts. In the first, I demonstrate with the use of a simple formal system, that the form of holism that generates the problem that Dummett draws attention to is really decomposable into three distinct components, each of which is necessary for the problem to arise. In the second part, I demonstrate that even Dummett’s strong form of holism is compatible with one natural way in which to understand the incremental nature of language learning. In the third part, I outline the reasons why all forms of holism are conducive to language learning and offer two ways in which this general fact can be spelled out precisely. I end the paper by addressing some possible objections, and in doing so I draw attention to some affinities between semantic holism and the principle of compositionality, a semantic principle which has long been assumed to be conducive to language learning. (shrink)

This article argues that we can and should recognize the mind dependence, epistemic dependence, and social dependence of theories of mind-independent reality, as opposed to Rorty, who thinks not even a constructivist theory of mind-independent reality can be had. It accuses Rorty of creating an equivocation or "dualism of scheme and content" between causation and justification based on various "Davidsonian" irrelevancies, not to be confused with the actual Davidson. These include the 'principle of charity', the attack against conceptual schemes, the (...) linguistification of social practice, intersubjectivism, and causal naturalism. It follows that realists and constructivists need neither follow Rorty's mischaracterizations nor succumb to his internal paradoxes. (shrink)

Recent years have seen several studies of metaphysical disputes as disagreement phenomena employing the resources from the research on disagreement in social epistemology. This paper undertakes an analogous study of the metametaphysical disagreement over the substantiveness of metaphysical disputes between inflationists and deflationists. The paper first considers and questions the skeptical argument that the mere existence of the disagreement mandates the suspension of judgement about the substantiveness of metaphysical disputes. Rather, the paper argues that steadfastness in the face of this (...) disagreement is rational, at least for inflationists. Since inflationists are often metaphysicians who were called to this disagreement due to its apparent threat to their first order debates in metaphysics, they can therefore return to these debates in good faith. In contrast, deflationists have no such alternative occupation and the verdict of steadfastness will not alter their engagement in the inflationist/deflationist disagreement: they will continue their attempt to resolve the disagreement to their advantage. Thus, though the verdict of steadfastness is epistemically symmetric between inflationism and deflationism, it induces an asymmetry in the motivation to pursue the inflationist/deflationist disagreement which places the burden of advancing the dialectic of this disagreement with the deflationists while metaphysicians can continue their work as before. (shrink)

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (giving an (...) independent account of one of either linguistic meaning or thought content and understanding the other in terms of it) both face serious difficulties. Because of this, the following will suggest an alternative picture of the relation between thought and language that remains compatible with the constraint. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

This collection maintains a dialogue between the analytic and continental traditions, while aspiring to situate itself beyond the analytic-continental divide. It divides into four parts, Methodologies, Truth and Meaning, Metaphysics and Ontology, and Values, Personhood and Agency, though there is considerable overlap among the categories. History and temporality are recurrent themes, but there is a lot of metaphysics generally, with some philosophy of language, philosophy of social science, ethics, political philosophy and epistemology. Less prominent is a pragmatic, deflationary attitude, and (...) at a number of points I argue for the virtues of such an approach. (shrink)