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