-
9In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. W…Read more
-
11Introduction to LogicPrentice-Hall. 2002.INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in gene…Read more
-
9Logics for knowledge, possibility, and existenceNotre Dame Journal of Formal Logic 19 (2): 200-214. 1978.
-
8The Concept of RevelationAustralasian Journal of Philosophy 65 (n/a): 470. 1987.This Article does not have an abstract
-
10Shades of consciousnessMinds and Machines 6 (2): 143-57. 1996.It has been argued that consciousness might be what differentiates human from machine mentality. What then is consciousness? We discuss consciousness, particularly perception accounts of consciousness. It is argued that perception and consciousness are distinct. Armstrong's account of consciousness is rejected. It is proposed that perception is a necessary but not sufficient condition for consciousness, and that there is a distinction to be drawn between consciousness and self-consciousness. Con…Read more
-
4Proof and Dialogue in AristotleArgumentation 30 (3): 289-316. 2016.Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A …Read more
-
3Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp (review)Bulletin of Symbolic Logic 8 (3): 429-431. 2002.
-
3Types, Tableaus, and Gödel’s GodSpringer Verlag. 2002.Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book a…Read more
-
1Australasian Association for Logic, annual conference, Brisbane, 1987Journal of Symbolic Logic 53 (4): 1283-1286. 1988.
-
8Australasian association for logic annual conference, 1987, brisbane, 1987Journal of Symbolic Logic 53 (4): 1283-1286. 1988.