-
48Notes on Teaching LogicDiscourse: Learning and Teaching in Philosophical and Religious Studies 4 (1): 137-158hese notes don’t reach any conclusions. Their purpose is to point to issues one needs to think through seriously when thinking about logic teaching. They indicate some of the relevant literature where some of these issues are addressed, but they also raise points that seem to have been overlooked. They aim to promote informed discussion. That indeed was their origin: they are descended from an internal discussion document prepared a few years ago when the then Department of Philosophy at the Uni…Read more
-
152A note on Popper, propensities, and the two-slit experimentBritish Journal for the Philosophy of Science 36 (1): 66-70. 1985.
-
34Review of I nference to the Best Explanation (review)Philosophy and Phenomenological Research 53 (4): 970-972. 1993.
-
163Tarski, truth and model theoryProceedings of the Aristotelian Society 99 (2). 1999.As Wilfrid Hodges has observed, there is no mention of the notion truth-in-a-model in Tarski's article 'The Concept of Truth in Formalized Languages'; nor does truth make many appearances in his papers on model theory from the early 1950s. In later papers from the same decade, however, this reticence is cast aside. Why should Tarski, who defined truth for formalized languages and pretty much founded model theory, have been so reluctant to speak of truth in a model? What might explain the change …Read more
-
62Hartry field on measurement and intrinsic explanationBritish Journal for the Philosophy of Science 37 (3): 340-346. 1986.
-
1Cohen, Jonathan L., "An Introduction to the Philosophy of Induction and Probability" (review)Mind 99 (n/a): 313. 1990.
-
25On Tennant's intuitionist relevant logicsAustralasian Journal of Philosophy 74 (1). 1996.This Article does not have an abstract
-
96Belief, Degrees of Belief, and AssertionDialectica 66 (3): 331-349. 2012.Starting from John MacFarlane's recent survey of answers to the question ‘What is assertion?’, I defend an account of assertion that draws on elements of MacFarlane's and Robert Brandom's commitment accounts, Timothy Williamson's knowledge norm account, and my own previous work on the normative status of logic. I defend the knowledge norm from recent attacks. Indicative conditionals, however, pose a problem when read along the lines of Ernest Adams' account, an account supported by much work in …Read more
-
56Modal metaphysics and comparativesAustralasian Journal of Philosophy 70 (3). 1992.This Article does not have an abstract
-
16Review of Roy Weatherford: Philosophical foundations of probability theory (review)British Journal for the Philosophy of Science 35 (1): 95-100. 1984.
-
83II—Peter Milne: What is the Normative Role of Logic?Aristotelian Society Supplementary Volume 83 (1): 269-298. 2009.
-
41I examine the ideas leading up to Wittgenstein's pronouncement at Tractatus 5.4611 that signs for logical operations are punctuation marks
-
56Existence, freedom, identity, and the logic of abstractionist realismMind 116 (461): 23-53. 2007.From the point of view of proof-theoretic semantics, we examine the logical background invoked by Neil Tennant's abstractionist realist account of mathematical existence. To prepare the way, we must first look closely at the rule of existential elimination familiar from classical and intuitionist logics and at rules governing identity. We then examine how well free logics meet the harmony and uniqueness constraints familiar from the proof-theoretic semantics project. Tennant assigns a special ro…Read more
-
89Schlesinger On Justified Belief And ProbabilityAnalysis 49 (January): 11-16. 1989.George schlesinger has characterized justified belief probabilistically. I question the propriety of this characterization and demonstrate that with respect to it certain principles of epistemic logic that he considers plausible are unsound.
-
16Operations are punctuation marks'In Peter M. Sullivan & Michael D. Potter (eds.), Wittgenstein's Tractatus: history and interpretation, Oxford University Press. pp. 97. 2013.
-
99Algebras of intervals and a logic of conditional assertionsJournal of Philosophical Logic 33 (5): 497-548. 2004.Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The r…Read more
-
-
61Verification, falsification, and the logic of enquiryErkenntnis 34 (1). 1991.Our starting point is Michael Luntley's falsificationist semantics for the logical connectives and quantifiers: the details of his account are criticised but we provide an alternative falsificationist semantics that yields intuitionist logic, as Luntley surmises such a semantics ought. Next an account of the logical connectives and quantifiers that combines verificationist and falsificationist perspectives is proposed and evaluated. While the logic is again intuitionist there is, somewhat surpri…Read more
-
105Harmony, Purity, Simplicity and a “Seemingly Magical Fact”The Monist 85 (4): 498-534. 2002.In his penetrating and thought-provoking article “What Is Logic?” Ian Hacking flags an issue that he leaves undiscussed
-
64The design inference: Eliminating chance through small probabilitiesBritish Journal for the Philosophy of Science 52 (4): 801-808. 2001.
-
65Russell's completeness proofHistory and Philosophy of Logic 29 (1): 31-62. 2008.Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica