Order:
Disambiguations
Roderic A. Girle [21]Roderic Girle [6]Rod Girle [6]Roderic Allen Girle [1]
  1.  70
    First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
  2.  39
    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
    Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Mcgill-Queen's University Press.
    In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  4.  13
    Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.
    The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...)
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  5.  21
    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  
  6.  80
    Possible Worlds.Rod Girle - 2003 - Chesham, Bucks: Mcgill-Queen's University Press.
    Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  24
    Possible Worlds.Rod Girle - 2003 - Chesham, Bucks: Routledge.
    Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  8.  15
    Modal Logics and Philosophy: Second Edition.Rod Girle - 2010 - Mcgill-Queen's University Press.
    The new edition of this widely used and respected textbook includes three new chapters on conditional logic. Other chapters have been revised and updated, making the second edition a fully comprehensive introduction to modal logics and their application. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, Modal Logics and Philosophy focuses on showing how useful modal logic can be as a tool for formal philosophical analysis. In Part 1, the reader is introduced to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  24
    Reasoning With Both Informal and Formal Logic.Roderic A. Girle - 1988 - Informal Logic 10 (1).
  10.  24
    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  
  11.  30
    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  
  12.  10
    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.  24
    Australasian Association for Logic 1997 Annual Conference.Rod Girle - 1998 - Bulletin of Symbolic Logic 4 (4):459-464.
  14.  10
    Commentary on Hitchcock.Roderic Girle - unknown
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  22
    Dialogue and the teaching of reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45–55.
  16.  19
    Dialogue and the Teaching of Reasoning.Roderic A. Girle - 1991 - Educational Philosophy and Theory 23 (1):45-55.
  17.  16
    Dialogue logic as dynamic logic.Roderic Girle - 2016 - Logique Et Analyse 236:427-443.
    There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    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  
  19.  41
    Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
  20.  66
    Modal logic for philosophers – by James W. Garson.Roderic A. Girle - 2008 - Theoria 74 (1):86-90.
  21.  39
    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  
  22. Parmenides Demythologised.Roderic Girle - 2007 - Logique Et Analyse 50.
     
    Export citation  
     
    Bookmark   1 citation  
  23.  62
    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  
  24.  18
    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  
  25. Three Contrasts in Quine on Modality.Roderic Girle - 2010 - Logique Et Analyse 53.
     
    Export citation  
     
    Bookmark  
  26.  39
    The Concept of Revelation.Roderic A. Girle - 1987 - Australasian Journal of Philosophy 65:470.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  21
    Logics for knowledge, possibility, and existence.Roderic A. Girle - 1978 - Notre Dame Journal of Formal Logic 19 (2):200-214.
  28.  15
    Putting Logic in its Place - By David Christensen.Roderic Girle - 2006 - Philosophical Books 47 (4):368-370.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  39
    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  
  30.  14
    $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  
  31.  49
    ‘Or’ and ‘And/or’:a discussion.Thomas J. Richards & Roderic A. Girle - 1989 - History and Philosophy of Logic 10 (1):29-45.
  32.  23
    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.
  33. Review. [REVIEW]Roderic Girle - 2008 - Theoria 74 (1):86-90.
    No categories
     
    Export citation  
     
    Bookmark