-
12Generalized Quantification in an Axiomatic Truth TheoryAustralasian Journal of Philosophy. forthcoming.Bruno Whittle (2019) has recently extended Kripke’s semantical theory of truth to languages containing generalized quantifiers. There are reasons for axiomatizing semantical theories, and for regarding Halbach and Horsten’s PKF as a good axiomatization of Kripke’s. PKF is a theory in Partial Logic. The present paper complements Whittle’s by showing how Partial Logic, and then PKF, may be extended to cover binary quantifiers meaning ‘every’, ‘some’, and ‘most’.
-
10Against HarmonyIn Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language, Wiley. 2017.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 bee…Read more
-
52Reply to Øystein Linnebo and Stewart ShapiroInquiry: An Interdisciplinary Journal of Philosophy 62 (7): 842-858. 2019.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 invo…Read more
-
29Logic and ExistenceAristotelian Society Supplementary Volume 73 151-203. 1999.[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 ari…Read more
-
50In defence of PKFSynthese 201 (2): 1-21. 2023.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’.
-
Objects of ThoughtIn Gary Ostertag (ed.), Meanings and Other Things: Themes From the Work of Stephen Schiffer, Oxford University Press. 2016.
-
7Infinitesimals, Nations, and PersonsPhilosophy 94 (4): 513-528. 2019.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 Englan…Read more
-
31Truth, Marks of Truth, and ConditionalsPhilosophy 97 (3): 295-320. 2022.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 inst…Read more
-
Neo-Fregeanism and the Burali-Forti ParadoxIn Ivette Fred Rivera & Jessica Leech (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale, Oxford University Press. pp. 188-223. 2018.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 …Read more
-
27What is Logic?In Zsolt Novák & András Simonyi (eds.), Truth, reference, and realism, Central European University Press. pp. 125-176. 2010.
-
54When 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.
-
744Intuitionism and the Modal Logic of VaguenessJournal of Philosophical Logic 49 (2): 221-248. 2020.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 advant…Read more
-
19Prospects for JustificationismIn Michael Frauchiger (ed.), Truth, Meaning, Justification, and Reality: Themes From Dummett, De Gruyter. pp. 123-152. 2017.
-
21Dummett LaudatioIn Michael Frauchiger (ed.), Truth, Meaning, Justification, and Reality: Themes From Dummett, De Gruyter. pp. 13-24. 2017.
-
36Brouwer Wittgenstein on the Infinite and the Law of Excluded MiddleGrazer Philosophische Studien 89 (1): 93-108. 2014.
-
171I—Ian Rumfitt: Truth and MeaningAristotelian Society Supplementary Volume 88 (1): 21-55. 2014.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…Read more
-
158Logical NecessityIn Bob Hale & Aviv Hoffmann (eds.), Modality: metaphysics, logic, and epistemology, Oxford University Press. 2010.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…Read more
-
108Concepts and CountingProceedings of the Aristotelian Society 102 (1): 41-68. 2002.Frege's analysis of Zahlangaben is expounded and evaluated.
-
127The categoricity problem and truth-value gapsAnalysis 57 (4). 1997.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).
-
339Savoir FaireJournal of Philosophy 100 (3): 158-166. 2003.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.
-
108Old Adams BuriedAnalytic Philosophy 54 (2): 157-188. 2013.I present some counterexamples to Adams's Thesis and explain how they undermine arguments that indicative conditionals cannot be truth-evaluable propositions
-
18The vagaries of paraphrase: a reply to Holton on the counting problemAnalysis 56 (4): 246-250. 1996.Peer Reviewed.
-
46Donald Davidson and the Mirror of MeaningPhilosophical Quarterly 45 (178): 136. 1995.Review of J.E. Malpas, *Donald Davidson and the Mirror of Meaning* (CUP)
-
47Truth and the determination of content: Variations on themes from frege’sGrazer Philosophische Studien 82 (1): 1-48. 2011.
-
630Tempered pragmatismIn Cheryl Misak & Huw Price (eds.), The Practical Turn: Pragmatism in Britain in the Long Twentieth Century, Oup/ba. 2016.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…Read more
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
20th Century Philosophy |