21 found
Order:
Disambiguations
Roderic A. Girle [21]Roderic Allen Girle [1]
See also
Roderic Girle
University of Auckland
  1.  62
    First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
  2.  32
    First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  3.  18
    Types, Tableaus, and Gödel’s God.Roderic A. Girle - 2002 - Springer Verlag.
    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 are mathematical, parts philosophical.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  17
    Reasoning With Both Informal and Formal Logic.Roderic A. Girle - 1988 - Informal Logic 10 (1).
  5.  16
    Belief Sets and Commitment Stores.Roderic A. Girle - unknown
    In 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. Withdrawal of material is one major source of difficulty (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  21
    Introduction to Logic.Roderic A. Girle - 2002 - Aukland, New Zealand: Prentice-Hall.
    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 general.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  4
    S1 ø s0.9.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16:339.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  20
    Dialogue and the teaching of reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45–55.
  9.  14
    Dialogue and the Teaching of Reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45-55.
  10.  3
    Inductive and Practical Reasoning.Roderic A. Girle, A. Halpin Terrence, L. Miller Corinne & H. Williams Geoffrey - 1977 - East Brisbane, Austrailia: Rotecoge.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  36
    Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
  12.  64
    Modal logic for philosophers – by James W. Garson.Roderic A. Girle - 2008 - Theoria 74 (1):86-90.
  13.  36
    Proof and Dialogue in Aristotle.Roderic A. Girle - 2016 - Argumentation 30 (3):289-316.
    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 modern formal syllogistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  54
    Shades of consciousness.Roderic A. Girle - 1996 - Minds and Machines 6 (2):143-57.
    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. Consciousness is tightly linked to attention and to certain sorts of knowledge. Implications (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Time, Action and Necessity: A Proof of Free Will.Roderic A. Girle - 1983 - Philosophical Books 24 (1):47-51.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  32
    The Concept of Revelation.Roderic A. Girle - 1987 - Australasian Journal of Philosophy 65:470.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  14
    Logics for knowledge, possibility, and existence.Roderic A. Girle - 1978 - Notre Dame Journal of Formal Logic 19 (2):200-214.
  18.  31
    Possibility pre-supposition free logics.Roderic A. Girle - 1974 - Notre Dame Journal of Formal Logic 15 (1):45-62.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    $S_1\not=S0.9$.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16 (3):339-344.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  43
    ‘Or’ and ‘And/or’:a discussion.Thomas J. Richards & Roderic A. Girle - 1989 - History and Philosophy of Logic 10 (1):29-45.
  21.  21
    Melvin 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]Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.