Classical logic has been attacked by adherents of rival, anti-realist logical systems: Ian Rumfitt comes to its defence. He considers the nature of logic, and how to arbitrate between different logics. He argues that classical logic may dispense with the principle of bivalence, and may thus be liberated from the dead hand of classical semantics.

This paper challenges the linguistic arguments Jason Stanley and Timothy Williamson gave in support of their thesis that knowing how is a species of knowing that.

It seems beyond doubt that a thinker can come to know a conclusion by deducing it from premisses that he knows already, but philosophers have found it puzzling how a thinker could acquire knowledge in this way. Assuming a broadly externalist conception of knowledge, I explain why judgements competently deduced from known premisses are themselves knowledgeable. Assuming an exclusionary conception of judgeable content, I further explain how such judgements can be informative. (According to the exclusionary conception, which I develop from (...) some remarks in Ramsey, a judgement's content is given by the hitherto live possibilities that it excludes or rules out.) I propose that the value of logic lies in its allowing us to combine different sources of knowledge, so that we can learn things that we could not learn from those sources individually. I conclude by arguing that while single-conclusion logics possess that value, multiple-conclusion logics do not. (shrink)

Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker, in making the statement, states them to be; similarly, a belief is true if and only if things are as a thinker with that belief thereby believes them to be. I defend this explication of truth against a range of objections.Ramsey formalized this account of (...) truth as follows: B is true =df ∃P; in §i, I defend this formula against the late Peter Geach's objection that its right‐hand side is ill‐formed. Davidson held that Ramsey and co. had the whole matter back to front: on his view, we should explicate meaning in terms of truth, not vice versa. In §ii, I argue that Ramsey's approach opens the way to a more promising approach to semantic theorizing than Davidson's. Ramsey presents his formula as a definition of truth, apparently contradicting Tarski's theorem that truth is indefinable. In §iii, I show that the contradiction is only apparent: Tarski assumes that the Liar‐like inscription he uses to prove his theorem has a content, but Ramsey can and should reject that assumption. As I explain in §iv, versions of the Liar Paradox may be generated without making any assumptions about truth: paradox arises when the impredicativity that is found when a statement's content depends on the contents of a collection of statements to which it belongs turns pathological. Since they do not succeed in saying anything, such pathological utterances or inscriptions pose no threat to the laws of logic, when these are understood as universal principles about the ways things may be said or thought to be. There is, though, a call for rules by following which we can be sure that any conclusion deduced from true premisses is true, and hence says something. Such rules cannot be purely formal, but in §v I propose a system of them: this opens the way to the construction of deductive theories even in circumstances where producing a well‐formed formula is no guarantee of saying anything. (shrink)

The paper addresses itself to the "Homeric struggle" in the theory of meaning between those (e.g., Grice) who try to analyze declarative meaning in terms of an intention to induce a belief and those (e.g., Davidson) for who declarative meaning consists in truth conditions. (The point of departure is Strawson's celebrated discussion of this issue, in his Inaugural Lecture.) I argue that neither style of analysis is satisfactory, and develop a "hybrid" that may be-although what I take from the Gricean (...) side in the struggle is not the notion of an intention, but that of somebody's reason for speaking as he does. The paper applies the hybrid analysis to resolve certain problems connected with the rationale for compositional, truth-theoretic semantics. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Book synopsis: The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal (...) knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

This article is a critical notice of Bob Hale and Crispin Wright's *The Reason's Proper Study* (OUP). It focuses particularly on their attempts (crucial to their neo-logicist project) to say what a singular term is. I identify problems for their account but include some constructive suggestions about how it might be improved.

Review of J.E. Malpas, *Donald Davidson and the Mirror of Meaning* (CUP).

I present some counterexamples to Adams's Thesis and explain how they undermine arguments that indicative conditionals cannot be truth-evaluable propositions.

In his article 'Rejection' (1996), Timothy Smiley had shown how a logical system allowing rules of rejection could provide a categorical axiomatization of the classical propositional calculus. This paper shows how rules of rejection, when placed in a multiple conclusion setting, can also provide categorical axiomatizations of a range of non-classical calculi which permit truth-value gaps, among them the calculus in Smiley's own 'Sense without denotation' (1960).

I explain why Fernando Ferreira's interesting formal result does not threaten the bilateralist account of the sense of the connectives.

Timothy Williamson has recently put forward a proof that every object exists necessarily. I show where the proof fails. My diagnosis also exposes the fallacy in A. N. Prior's argument in favour of his modal logic, Q.

Philip Jourdain put this question to Frege in a letter of 28 January 1909. Frege had, indeed, next to nothing to say about ordinals, and in this respect Bob Hale has followed the master. As I hope this chapter will show, though, the topic is worth addressing. The natural abstraction principle for ordinals combines with full, impredicative second-order logic to engender a contradiction, the so-called Burali-Forti Paradox. I shall contend that the best solution involves a retreat to a predicative logic. (...) Such a retreat has implications for other neo-Fregean theories, including the cardinal arithmetic on which Hale has focused. The discussion will touch on a topic which has been at the centre of Hale’s more recent work—namely, the interpretation of plural and higher-order quantifiers. (shrink)

According to Quine, in any disagreement over basic logical laws the contesting parties must mean different things by the connectives or quantifiers implicated in those laws; when a deviant logician ‘tries to deny the doctrine he only changes the subject’. The standard semantics for intuitionism offers some confirmation for this thesis, for it represents an intuitionist as attaching quite different senses to the connectives than does a classical logician. All the same, I think Quine was wrong, even about the dispute (...) between classicists and intuitionists. I argue for this by presenting an account of consequence, and a cognate semantic theory for the language of the propositional calculus, which respects the meanings of the connectives as embodied in the familiar classical truth-tables, does not presuppose Bivalence, and with respect to which the rules of the intuitionist propositional calculus are sound and complete. Thus the disagreement between classicists and intuitionists, at least, need not stem from their attaching different senses to the connectives; one may deny the doctrine without changing the subject. The basic notion of my semantic theory is truth at a possibility, where a possibility is a way that things might be, but which differs from a possible world in that the way in question need not be fully specific or determinate. I compare my approach with a previous theory of truth at a possibility due to Lloyd Humberstone, and with a previous attempt to refute Quine’s thesis due to John McDowell. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has also (...) had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)

I compare three sorts of case in which philosophers have argued that we cannot assert the Law of Excluded Middle for statements of identity. Adherents of Smooth Infinitesimal Analysis deny that Excluded Middle holds for statements saying that an infinitesimal is identical with zero. Derek Parfit contended that, in certain sci-fi scenarios, the Law does not hold for some statements of personal identity. He also claimed that it fails for the statement ‘England in 1065 was the same nation as England (...) in 1067’. I argue that none of these cases poses a serious threat to Excluded Middle. My analysis of the last example casts doubt on the principle of the Determinacy of Distinctness. While David Wiggins's ‘conceptualist realism’ provides a metaphysics which can dispense with that principle, it leaves no house-room for infinitesimals. (shrink)

I advance arguments in favour of PKF as an articulation of a central sense of the predicate ‘true’, and show how it illuminates the relationship between that sense and the ‘external’ notion of truth found in such claims as ‘An utterance of the Liar Sentence does not say anything, and so is not true’.

In developing his alternative, Brandom starts from a version of inferential-role semantics according to which an assertion's content is constituted by its place in a field of inferential relations. It is because we have "an independent theoretical grip on the notion of an inference", and of its goodness or badness, that we are able to attain a notion of content that is prior to any of the representational concepts. He stresses that the relevant assessment of inferences is not whether they (...) are logically valid, but whether they are "materially correct," in a sense that Sellars is said to have succeeded in explaining. "As examples, consider the inference from 'Pittsburgh is to the West of Philadelphia' to 'Philadelphia is to the East of Pittsburgh', the inference from 'Today is Wednesday' to 'Tomorrow is Thursday', and that from 'Lightning is seen now' to 'Thunder will be heard soon'. It is the contents of the concepts West and East that make the first a good inference... and the contents of the concepts lightning and thunder, as well as the temporal concepts, that underwrite the third". Subsentential contents are extracted from the sentential contents thereby identified using substitutional methods derived from Frege. (shrink)

Frege's analysis of Zahlangaben is expounded and evaluated.

This article proposes revisions to the Laws of Cricket and to the criminal law of England. The Laws of Cricket should be revised so that an umpire may give a batsman out without having to specify precisely how he got out. The criminal law should be revised so that (e.g.) aiding and abetting a murderer is not subsumed under the crime of murder.

This chapter concerns that harmony is a particular relationship between the introduction rule and the elimination rule for a given connective. The Harmony Thesis says that a connective is defective unless its associated introduction and elimination rules are in harmony. It also says that a connective is defective if the logical principles which regulate its use go beyond a pair of harmonious introduction and elimination rules. The chapter scrutinizes the most influential arguments which have been put forward for the Harmony (...) Thesis. It discusses Dummett‐Prawitz's argument for Harmony, which revealed the huge difficulties that confront the project of trying to explicate the notions of consequence and validity directly in terms of the rules which, for the Inferential Role Semantics (IRS) theorist, constitute the meanings of the connectives. The chapter concludes by discussing briefly how the failure of the Harmony Thesis affects the prospects for IRS. (shrink)

This essay assesses the account of truth presented in Wiggins's 2002 paper ‘An indefinibilist cum normative view of truth and the marks of truth'. I agree with Wiggins that we should seek, not to define truth, but to elucidate it by unfolding its connections with other basic notions. However, I give reasons for preferring an elucidation based on Ramsey's account of truth to Wiggins's Tarski-inspired approach. I also cast doubt on Wiggins's thesis that convergence is a mark of truth, arguing (...) instead that a claim which is up for assessment as true or false must be one to which different speakers/hearers can attach, and know that they are attaching, the same sense. I use this principle to rule out an account of indicative conditionals, and bring some considerations to bear on the question of whether those conditionals have truth values. An appendix revisits a debate about the determinateness of distinctness. (shrink)

When I was a student in the mid-1980s, Donald Davidson loomed larger over the philosophical scene than any other living thinker. His writings figured prominentl.

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic is (...) the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

This paper assesses the prospects of a pragmatist theory of content. I begin by criticising the theory presented in D.H. Mellor’s essay ‘Successful Semantics’. I then identify problems and lacunae in the pragmatist theory of meaning sketched in Chapter 13 of Dummett’s The Logical Basis of Metaphysics. The prospects are brighter, I contend, for a tempered pragmatism, in which the theory of content is permitted to draw upon irreducible notions of truth and falsity. I sketch the shape of such a (...) theory and illustrate the role of its pragmatist elements by showing how they point towards a promising account of the truth conditions of indicative conditionals. A feature of the account is that it validates Modus Ponens whilst invalidating Modus Tollens. (shrink)

In developing his alternative, Brandom starts from a version of inferential-role semantics according to which an assertion's content is constituted by its place in a field of inferential relations. It is because we have "an independent theoretical grip on the notion of an inference", and of its goodness or badness, that we are able to attain a notion of content that is prior to any of the representational concepts. He stresses that the relevant assessment of inferences is not whether they (...) are logically valid, but whether they are "materially correct," in a sense that Sellars is said to have succeeded in explaining. "As examples, consider the inference from 'Pittsburgh is to the West of Philadelphia' to 'Philadelphia is to the East of Pittsburgh', the inference from 'Today is Wednesday' to 'Tomorrow is Thursday', and that from 'Lightning is seen now' to 'Thunder will be heard soon'. It is the contents of the concepts West and East that make the first a good inference... and the contents of the concepts lightning and thunder, as well as the temporal concepts, that underwrite the third". Subsentential contents are extracted from the sentential contents thereby identified using substitutional methods derived from Frege. (shrink)

There are many theories which say how the truth-value (the Fregean reference) of a complete sentence depends on the references of its parts. The present paper proposes a theory of how the Fregean sense of a sentences depends on the senses of its parts. A sentence's sense is related to the evidence that would justify its assertion. The theory characterizes the senses of 'and', 'or', 'not', and 'if...then'.

ABSTRACTIn reply to Linnebo, I defend my analysis of Tait's argument against the use of classical logic in set theory, and make some preliminary comments on Linnebo's new argument for the same conclusion. I then turn to Shapiro's discussion of intuitionistic analysis and of Smooth Infinitesimal Analysis. I contend that we can make sense of intuitionistic analysis, but only by attaching deviant meanings to the connectives. Whether anyone can make sense of SIA is open to doubt: doing so would involve (...) making sense of mathematical quantities whose relationship to zero and to one another is inherently indeterminate. (shrink)

The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward L?wenheim-Skolem theorem to proper classes is used to argue that (...) a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)

[Ian Rumfitt] Frege's logicism in the philosophy of arithmetic consisted, au fond, in the claim that in justifying basic arithmetical axioms a thinker need appeal only to methods and principles which he already needs to appeal in order to justify paradigmatically logical truths and paradigmatically logical forms of inference. Using ideas of Gentzen to spell out what these methods and principles might include, I sketch a strategy for vindicating this logicist claim for the special case of the arithmetic of the (...) finite cardinals. /// [Timothy Williamson]The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward Löwenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)