20 found
Order:
Disambiguations
Roderic A. Girle [20]Roderic Allen Girle [1]
  1.  55
    First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
  2.  30
    First-Order Modal Logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  3.  13
    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  
  4.  14
    Reasoning With Both Informal and Formal Logic.Roderic A. Girle - 1988 - Informal Logic 10 (1).
  5.  5
    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  
  6.  20
    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.
  7.  62
    Modal Logic for Philosophers – by James W. Garson.Roderic A. Girle - 2008 - Theoria 74 (1):86-90.
  8.  29
    The Concept of Revelation.Roderic A. Girle - 1987 - Australasian Journal of Philosophy 65:470.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  34
    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  
  10. 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.  51
    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  
  12.  1
    S1 Ø S0.9.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16:339.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  35
    Melvin Fitting, Types Tableaus and Gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
  14.  28
    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  
  15.  11
    Time, Action and Necessity: A Proof of Free Will.Roderic A. Girle - 1983 - Philosophical Books 24 (1):47-51.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  40
    'Or' and 'And/Or':A Discussion.Thomas J. Richards & Roderic A. Girle - 1989 - History and Philosophy of Logic 10 (1):29-45.
  17.  12
    Logics for Knowledge, Possibility, and Existence.Roderic A. Girle - 1978 - Notre Dame Journal of Formal Logic 19 (2):200-214.
  18.  9
    Dialogue and the Teaching of Reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45-55.
  19.  19
    Dialogue and the Teaching of Reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45–55.
  20.  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