Stephen Read's Papers

Forthcoming Papers

• "The validity paradox", The Logica Yearbook 2009, ed. Michal Peliš, College Publications 2010.

Published Papers

• "Inferences", in The Cambridge History of Medieval Philosophy, ed. R. Pasnau, Cambridge UP 2010, 173-85.
• "Plural Signification and the Liar Paradox", Philosophical Studies 145, 2009, 363-75.
• (with Andrew Aberdein) "The Philosophy of Alternative Logics", in The Development of Modern Logic, ed. L. Haaparanta, Oxford UP 2009, pp. 613-723.
• "Harmony and Modality", in Dialogues, Logics and Other Strong Things: Essays in Honour of Shahid Rahman, ed. C. Dégremont, L. Kieff and H. Rückert, College Publications 2008, pp. 285-303.
• "The Truth-Schema and the Liar" and "Further Thoughts on the Truth-scheme and the Liar", in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox, ed. S. Rahman, T. Tulenheimo and E. Genot, Springer Verlag 2008, pp. 3-17 and 205-225. (Logic, Epistemology, and the Unity of Science , Vol. 8.) (The first article is the subject of discussion by the other contributions to the volume, and the second is my response to them.)
• (with Catarina Dutilh Novaes) ‘Insolubilia and the Fallacy Secundum Quid et Simpliciter’, Vivarium 46(2), 2008, 175-91.
• "Bradwardine's Revenge", in Revenge of the Liar, ed. J.C. Beall, Oxford UP 2007, 250-61.
• "Farewell to Opacity", in Current Topics in Logic and Analytic Philosophy, ed. C. Martinez, J.L. Falguera and J.M. Sagüillo, Universidade de Santiago de Compostela 2007, 233-46.
• "William Ockham's The Sum of Logic" (review article), Topoi 26(2), 2007, 271-7.
• "Symmetry and paradox", History and Philosophy of Logic 27, 2006, 307-18.
• "Monism: the one true logic", in A Logical Approach to Philosophy: Essays in Honour of Graham Solomon, ed. D. DeVidi and T. Kenyon, Springer 2006, 193-209.
• "The Unity of the Fact”, Philosophy 80 (2005), pp. 317-42.
• "In Defence of the Dog: Reply to Restall", in Logic, Epistemology and the Unity of Science, ed. S. Rahman and J. Symons, Kluwer 2004, pp. 175-80.
• (with Graham Priest) "Intentionality—Meinongianism and the Medievals", Australasian Journal of Philosophy, September 2004, pp. 416-35.
• "Identity and Harmony", Analysis 64 (2004), pp. 113-119.
• "Logical consequence as truth-preservation", Loqique et Analyse 183-4 (2003), pp. 479-93.
• "Freeing Assumptions from the Liar Paradox", Analysis 63 (2003), pp. 162-6.
• "The Liar Paradox from John Buridan back to Thomas Bradwardine", Vivarium 40 (2002), pp. 189-218.
• (jointly with M. Astroh and I. Grattan-Guinness) "A survey of the life of Hugh MacColl (1837-1909)", History and Philosophy of Logic 22 (2001), 81-98.
• "Medieval Theories of Properties of Terms", in the Stanford Encyclopedia of Philosophy.
• "Truthmakers, Disjunction and Necessity", in Essays on Non-classical Logic , ed. H. Wansing, World Scientific 2001, pp. 91-110.
• "Self-Reference and Validity Revisited", an expanded version of *Self-Reference and Validity*, in Medieval Formal Logic, ed. Mikko Yrjonsuuri, Kluwer 2001, pp. 183-96.
• "Harmony and Autonomy in Classical Logic", Journal of Philosophical Logic, 29 (April 2000), pp. 123-54.
• "Truthmakers and the Disjunction Thesis", Mind 109 (January 2000), pp. 67-79.
• "How is material supposition possible?", Medieval Philosophy and Theology 8 (1999), pp. 1-20.
• "Sheffer's stroke: a study in proof-theoretic harmony", Danish Yearbook of Philosophy, 34 (1999), pp. 7-23.
• "Hugh MacColl and the algebra of strict implication", Nordic Journal of Philosophical Logic 3 (December 1998), 59-83.
• "Quotation and Reach's Puzzle", Acta Analytica 19 (1997), pp. 9-20.
• "Completeness and and Categoricity", History and Philosophy of Logic 18 (1997), pp. 79-93.
• "The Slingshot Argument", Logique et Analyse, 143-4 (1993-published 1996), pp. 195-218.
• "Conditionals and the Ramsey test", Proceeding of the Aristotelian Society, Supplementary Volume 69 (1995), pp. 47-65.
• "Formal and Material Consequence", Journal of Philosophical Logic, 23 (1994), pp. 247-65.
• "Formal and Material Consequence, Disjunctive Syllogism and Gamma", in Argumentationstheorie: Scholastische Forschungen zu den logischen und semantischen Regeln korrekten Folgerns, ed. K. Jacobi (Leiden 1993), pp.233-59.
• "Indicative conditionals are not truth-functional: an argument from Peirce", Analysis, 52 (1992), pp. 5-12.
• "Thomas of Cleves and Collective Supposition", Vivarium, 29 (1991), pp. 50-84.
• "Descensus copulatim: Albert of Saxony vs. Thomas Maulfelt", in Itineraires d'Albert de Saxe: Paris-Vienne au XIVe, ed. J. Biard (Paris, 1991), pp. 71-85.
• "Homophone Semantik fuer die relevante Aussagenlogik", Conceptus, 23 (1989), pp. 77-89.
• Proof Theory and Semantics for Relevant Logics. Automated Reasoning Project Technical Report TR-ARP-13/87, Research School of Social Sciences, Australian National University, 1987, 47 pp.
• (with C.J.G.Wright) "Hairier than Putnam thought", Analysis, 45 (1985), pp. 56-8.
• "'I promise a penny I do not promise': therealist/nominalist debate over intensional propositions in fourteenth century British logic and its contemporary relevance", in The Rise of British Logic, ed. P.Osmund Lewry (Toronto, 1985), pp. 335-59.
• (with P.J.Clark) "Hypertasks", Synthese, 61 (1984), pp. 387-90.
• "Burgess on Relevance: A Fallacy Indeed", Notre Dame Journal of Formal Logic, 24 (1983), pp. 473-81.
• "A Paradox of Relevant Implication", Journal of Non-Classical Logic, 2 (1983), pp. 25-41.
• "Quine's Private Language", Ratio, 25 (1983), pp. 49-57.
• "Disjunction", Journal of Semantics, 1 (1982), pp. 275-85.
• "Validity and the intensional sense of 'and'", Australasian Journal of Philosophy, 59 (1981), pp. 301-7.
• "What is wrong with Disjunctive Syllogism?", Analysis, 41 (1981), pp. 66-70.
• (with G.Priest) "Ockham's Rejection of Ampliation", Mind, 90 (1981), pp. 274-9.
• "Reflections on Anselm and Gaunilo", International Philosophical Quarterly, 21 (1981), pp. 437-8.
• "Supersound Arguments" (abstract), Journal of Symbolic Logic, 46 (1981), p. 426.
• (with G.Priest) "Merely Confused Supposition", Franciscan Studies, 40 (1980), pp. 265-97.
• "'Exists' is a Predicate", Mind, 89 (1980), pp. 412-7.
• "How to make logic relevant", Australian Logic Teachers Journal, 5 (1980), pp. 1-6.
• "Self-Reference and Validity", Synthese, 42 (1979), pp. 265-74.
• "Identity and Reference", Mind, 87 (1978), pp. 533-52.
• "The Logical Form of Referring Expressions", in Papers on Logic and Language, ed. D.Holdcroft (Warwick, 1977), pp. 9-32.
• (with G.Priest) "The Formalization of Ockham's Theory of Supposition", Mind, 86 (1977), pp. 109-13.
• "The Objective Being of Ockham's Ficta ", The Philosophical Quarterly, 27 (1977), pp. 14-31.

Articles in Newsletters

• "Computerised Logic Teaching: a review of some past projects and some morals for the future", Proceedings of the Workshop on Programming for Logic Teaching, Leeds 6-8 July 1987, ed. J. Derrick and H. Lewis (Leeds,1988), pp. 15-27.
• (with R. Dyckhoff and N. Leslie) "MALT St Andrews: a report on activities since March 1988", Computerised Logic Teaching Bulletin, 2 no. 1 (1989), pp. 51-60 (equal authorship)
• "Computers in Philosophy Teaching: King's College London, 26 September 1989", Computerised Logic Teaching Bulletin, 2 no. 2 (1989), pp.42-44.

School's Home Page

Stephen Read