-
12Review: Lennart Aqvist, Deontic Logic (review)Journal of Symbolic Logic 54 (4): 1481-1483. 1989.
-
12Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance netsArtificial Intelligence 48 (2): 199-209. 1991.
-
12Advice to the relevantist policemanIn Vit Punochar & Petr Svarny (eds.), The Logica Yearbook 2012, College Publications. pp. 91-100. 2013.Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe and other classical connectives, another perspective emerges. Relevance logic, specifically the system R, may be seen as the output of a conservative extension of classical consequence into the language with arrow.
-
11Dov M. Gabbay and Karl Schlechta , Conditionals and Modularity in General Logics . Reviewed by (review)Philosophy in Review 32 (5): 376-378. 2012.Review of the book mentioned in the title.
-
11Alan Ross Anderson and Nuel D. BelnapJr., Tautological entailments. Philosophical studies , vol. 13 , pp. 9–24Journal of Symbolic Logic 33 (4): 608. 1969.
-
10Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments (review)Journal of Symbolic Logic 33 (4): 608-608. 1968.
-
10Intelim rules for classical connectivesIn Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic, Springer. pp. 359-382. 2014.We investigate introduction and elimination rules for truth-functional connectives, focusing on the general questions of the existence, for a given connective, of at least one such rule that it satisfies, and the uniqueness of a connective with respect to the set of all of them. The answers are straightforward in the context of rules using general set/set sequents of formulae, but rather complex and asymmetric in the restricted (but more often used) context of set/formula sequents, as also in th…Read more
-
9Review: Gerald J. Massey, Four Simple Systems of Modal Propositional Logic (review)Journal of Symbolic Logic 37 (4): 754-754. 1972.
-
9Intuitionistic logic and elementary rulesMind 120 1035-1051. 2011.The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results about intuitionistic propositional logic that bear on that perspective, and discuss their significance.
-
7Relevance-Sensitive Truth-TreesIn Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Springer Verlag. pp. 23-65. 2021.Our goal is to articulate a clear rationale for relevance-sensitive propositional logic. The method: truth-trees. Familiar decomposition rules for truth-functional connectives, accompanied by novel ones for the for the arrow, together with a recursive rule, generate a set of ‘acceptable’ formulae that properly contains all theorems of the well-known system R and is closed under substitution, conjunction, and detachment. We conjecture that it satisfies the crucial letter-sharing condition.
-
7Vantagens e limitações da abordagem ajdukiewicziana da GramáticaDiscurso 4 (4): 155-166. 1973.Discusses the strong points and the limitations of Ajdukiewicz' approach to grammar.
-
6F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 , pp. 400–406 (review)Journal of Symbolic Logic 36 (4): 691-692. 1971.
-
6Doing the Best We Can. An Essay in Informal Deontic LogicJournal of Symbolic Logic 52 (4): 1050-1051. 1987.
-
6Topics in modern logicMethuen; distributed by Harper & Row Publishers, inc., Barnes and Noble Import Division. 1973.
-
6Review: Arthur Pap, Logic and the Concept of Entailment (review)Journal of Symbolic Logic 40 (3): 466-466. 1975.
-
5Review: Charles F. Kielkopf, Kripke's Axiomatization of S2 (review)Journal of Symbolic Logic 38 (4): 661-661. 1973.
-
4Review: Ralph C. Applebee, Biswambhar Pahi, Some Results on Generalized Truth-Tables (review)Journal of Symbolic Logic 38 (3): 521-521. 1973.Review of the paper mentioned in the title.
-
4Remarks on the Concept of Distribution in Traditional LogicJournal of Symbolic Logic 40 (4): 608-609. 1975.
-
3Review: M. H. Lob, Extensional Interpretations of Modal Logics (review)Journal of Symbolic Logic 36 (4): 692-692. 1971.Review of the paper mentioned in the title.
-
3Rolf George. Enthymematic consequence. American philosophical quarterly, vol. 9 , pp. 113–116Journal of Symbolic Logic 38 (2): 325. 1973.Review of the paper mentioned in the title.
-
3General Patterns in Nonmonotonic ReasoningIn Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii, Clarendon Press. pp. 35-110. 1994.An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic.
-
2Review: Fred Feldman, Doing the Best We Can. An Essay in Informal Deontic Logic (review)Journal of Symbolic Logic 52 (4): 1050-1051. 1987.
-
2Review: Rolf George, Enthymematic Consequence (review)Journal of Symbolic Logic 38 (2): 325-325. 1973.Review of the paper mentioned in the title.
-
1Review: Nicholas Rescher, Robert Brandom, The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology (review)Journal of Symbolic Logic 47 (1): 233-236. 1982.Review of the book mentioned in the title.
-
1Review: Jean Drabbe, Les S4-Algebres Finies (review)Journal of Symbolic Logic 38 (2): 330-330. 1973.
-
1Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property (review)Journal of Symbolic Logic 33 (1): 136-136. 1968.
-
David levis, counterfactuals (review)Studia Logica 33 (n/a): 427. 1974.Review of the book mentioned in the title.
-
London School of EconomicsDepartment of Philosophy, Logic and Scientific MethodProfessor (Part-time)
Holborn, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |