Ian Rumfitt

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.

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.

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.

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.

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

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.

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.