-
99Plural signification and the Liar paradoxPhilosophical Studies 145 (3): 363-375. 2009.In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any propo…Read more
-
13Late‐Scholastic and Humanist Theories of the PropositionPhilosophical Books 23 (1): 16-17. 1982.
-
33The philosophy of logicIn T. Lupher & T. Adajian (ed.), The Philosophy of Logic : 5 Questions, . pp. 133-41. 2013.Postprint.
-
47A survey of the life of Hugh MacColl (1837-1909)History and Philosophy of Logic 22 (2): 81-98. 2001.The Scottish logician Hugh MacColl is well known for his innovative contributions to modal and nonclassical logics. However, until now little biographical information has been available about his academic and cultural background, his personal and professional situation, and his position in the scientific community of the Victorian era. The present article reports on a number of recent findings
-
315Truthmakers and the disjunction thesisMind 109 (432): 67-80. 2000.The correspondence theory of truth has experienced something of a revival recently in the form of the Truthmaker Axiom: whatever is true, something makes it true. We consider various postulates which have been proposed to characterize truthmaking, in particular, the Disjunction Thesis (DT), that whatever makes a disjunction true must make one or other disjunct true. In conjunction with certain other assumptions, DT leads to triviality. We show that there are elaborations of truthmaking on which …Read more
-
7Book Reviews (review)History and Philosophy of Logic 12 (2): 241-267. 1991.MEDIEVAL LOGICCARLOS A. DUFOUR, Die Lehre der Proprietates Terminorum. Sinn und Referenz in mittelalterlicher Logik. München, Hamden, Wien: Philosophia, 1989. 312 pp. 148 DM.NORMAN KRETZMANN and BARBARA ENSIGN KRETZMANN The Sophismata of Richard Kilvington. Oxford: Published for the British Academy by Oxford University Press, 1990. xx + 156 pp. £27.50.LOGIC AND MATHEMATICSSOULEYMANE BACHIR DIAGNE, Boole. Paris: Editions Belin, 1989. 262pp. 75 Ffr.M.-M. TOEPELL, Über die Entstehung von David Hilb…Read more
-
83Review of J.c.Beall, Greg Restall, Logical Pluralism (review)Notre Dame Philosophical Reviews 2006 (5). 2006.
-
1Western LogicJournal of the Indian Council for Philosophical Research 27 (1): 13-45. 2010.The editors invited us to write a short paper that draws together the main themes of logic in the Western tradition from the Classical Greeks to the modern period. To make it short we had to make it personal. We set out the themes that seemed to us either the deepest, or the most likely to be helpful for an Indian reader.
-
16Peter of Spain: Summaries of Logic: Text, Translation, Introduction and Notes by Brian P. Copenhaver (review)Journal of the History of Philosophy 53 (4): 783-784. 2015.
-
119Completeness and categoricity: Frege, gödel and model theoryHistory and Philosophy of Logic 18 (2): 79-93. 1997.Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical th…Read more
-
4Book Reviews (review)History and Philosophy of Logic 7 (1): 77-117. 1986.MEDIEVAL AND RENAISSANCE LOGICSIMON OF FAVERSHAM, Quaestiones super Libro Elenchorum. Text in Latin with introduction and notes in English, edited by Sten Ebbesen, Thomas Izbicki, John Longeway, Francesco del Punta, Eileen Serene and Eleonore Stump. Toronto: Pontifical Institute of Mediaeval Studies, 1984. xiv + 270 pp. $3 1.OO.JACOPO ZABARELLA, De methodis libri quatuor; Liber de regressu. Edited by Cesare Vasoli. Bologna: Editrice CLUEB, 1985. xxxviii+ 193 pp. Lire 57,000.EDITIONSG. W. F. HEGE…Read more
-
127The unity of the factPhilosophy 80 (3): 317-342. 2005.What binds the constituents of a state of affairs together and provides unity to the fact they constitute? I argue that the fact that they are related is basic and fundamental. This is the thesis of Factualism: the world is a world of facts. I draw three corollaries: first, that the Identity of truth is mistaken, in conflating what represents (the proposition) with what is represented (the fact). Secondly, a popular interpretation of Wittgenstein's Tractatus, due to Steinus, whereby false propos…Read more
-
39Inferentialism: Why Rules Matter, by Jaroslav Peregrin: Basingstoke: Palgrave Macmillan, 2014, pp. viii + 278, £60 (review)Australasian Journal of Philosophy 94 (3): 628-628. 2016.
-
92The Medieval Theory of ConsequenceSynthese 187 (3): 899-912. 2012.The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in Paris,…Read more
-
10The Cambridge Companion to Medieval Logic (edited book)Cambridge University Press. 2016.This volume, the first dedicated and comprehensive companion to medieval logic, covers both the Latin and the Arabic traditions, and shows that they were in fact sister traditions, which both arose against the background of a Hellenistic heritage and which influenced one another over the centuries. A series of chapters by both established and younger scholars covers the whole period including early and late developments, and offers new insights into this extremely rich period in the history of l…Read more
-
11A. Broadie: George Lokert, Late‐Scholastic Logician (review)Philosophical Books 26 (3): 137-140. 1985.
-
81Semantic pollution and syntactic purityReview of Symbolic Logic 8 (4): 649-661. 2015.Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds tha…Read more
-
702The philosophy of alternative logicsIn Leila Haaparanta (ed.), The development of modern logic, Oxford University Press. pp. 613-723. 2011.This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especial…Read more
-
22N. Kretzmann, A. Kenny and J. Pinborg, , "The Cambridge History of Later Medieval Philosophy" (review)Philosophical Quarterly 34 (35): 170. 1984.
St Andrews, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Logic and Philosophy of Logic |
Medieval and Renaissance Philosophy |
Areas of Interest
Medieval Logic |