-
23Nicholas Rescher and Robert Brandom. The logic of inconsistency. A study in non-standard possible-world semantics and ontology. APQ library of philosophy. Basil Blackwell, Oxford, and Rowman and Littlefield, Totowa, N.J., © 1979, pub. 1980, x + 174 pp (review)Journal of Symbolic Logic 47 (1): 233-236. 1982.Review of the book mentioned in the title.
-
23Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic (review)Journal of Symbolic Logic 36 (4): 691-692. 1971.Review of the paper mentioned in the title.
-
23Intelim rules for classical connectivesIn Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems, . 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
-
22Jean Drabbe. Les S4-algèbres finies. Comptes rendus hehdomadaires des séances de l'Académic des Sciences, sér. A vol. 265 , p. 309 (review)Journal of Symbolic Logic 38 (2): 330. 1973.Review of paper mentioned in title.
-
22E. J. Lemmon. An extension algebra and the modal system T.Notre Dame Journal of formal logic, vol. 1 , pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics.The journal of symbolic logic, vol. 31 , pp. 46–65; pp. 191–218 (review)Journal of Symbolic Logic 35 (1): 136-137. 1970.Review of the paper mentioned in the title.
-
22Feldman Fred. Doing the best we can. An essay in informal deontic logic. Philosophical studies series in philosophy, vol. 35. D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, and Tokyo, 1986, xiv + 244 pp (review)Journal of Symbolic Logic 52 (4): 1050-1051. 1987.
-
20Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic (review)Journal of Symbolic Logic 35 (4): 581-582. 1970.Review of paper mentioned in the title.
-
20Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal LogicMathematical Logic Quarterly 27 (7): 111-112. 1981.Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.
-
19An Alternative Characterization of First-Degree EntailmentJournal of Symbolic Logic 36 (3): 521. 1971.
-
17Ralph C. Applebee and Biswambhar Pahi. Some results on generalized truth-tables. Notre Dame journal of formal logic, vol. 12 , pp. 435–440 (review)Journal of Symbolic Logic 38 (3): 521. 1973.Review of the paper mentioned in the title.
-
17Boole's indefinite symbols re-examinedAustralasian Journal of Logic 19 (5). 2022.We show how one can give a clear formal account of Boole’s notorious “indefinite" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.
-
17Gerald J. Massey. Four simple systems of modal propositional logic. Philosophy of science, vol. 32 , pp. 342–355Journal of Symbolic Logic 37 (4): 754. 1972.Review of the paper mentioned in the title.
-
16In memoriam carlos eduardo alchourronNordic Journal of Philosophical Logic 1 (1): 3-10. 1996.Obituary notice with overview of the work of Carlos Alchourrón, focussing on his contributions to the logic of theory change.
-
16First-Order FriendlinessReview of Symbolic Logic 1-15. forthcoming.In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.
-
16Bridges from Classical to Nonmonotonic LogicCollege Publications. 2005.A textbook for graduate students of philosophy, computer science, and mathematics, on various approaches to nonmonotonic logic, with emphasis on they way in which they fall into an overall pattern.
-
15A Normal Modal Calculus Between T and S4 without the Finite Model PropertyJournal of Symbolic Logic 36 (4): 692-692. 1971.The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
-
15M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45Journal of Symbolic Logic 36 (4): 692. 1971.Review of the paper mentioned in the title.
-
15The Phenomenology of Second-Level Inference: Perfumes in The Deductive GardenBulletin of the Section of Logic 49 (4): 327-342. 2020.We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.
-
14Review: Ian Hacking, What is Strict Implication? (review)Journal of Symbolic Logic 37 (2): 417-417. 1972.
-
14Review: Brian F. Chellas, Modal Logic. An Introduction (review)Journal of Symbolic Logic 46 (3): 670-672. 1981.
-
14Quantificational reefs in deontic watersIn Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, Wiley-blackwell. pp. 87--91. 1981.Illustrates the prevalence of implicit quantification in deontic assertions in ordinary language.
-
14Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344 (review)Journal of Symbolic Logic 33 (1): 136-136. 1968.Reviews of the papers mentioned in the title.
-
14Arthur Pap. Logic and the concept of entailment. The journal of philosophy, vol. 47 , pp. 378–387Journal of Symbolic Logic 40 (3): 466. 1975.Review of the paper mentioned in the title.
-
13Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$ (review)Journal of Symbolic Logic 36 (3): 521-522. 1971.
-
13Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66 (review)Journal of Symbolic Logic 35 (4): 581-582. 1970.Reviews of the papers referred to in the title.
-
12Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics (review)Journal of Symbolic Logic 35 (1): 136-137. 1970.
-
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 |