Associate Professor Roderic Girle

Honorary Associate Professor

School of Historical and Philosophical Inquiry
Faculty of Humanities and Social Sciences

Overview

Roderic (Rod) Girle was born in Goondiwindi and lived in Yelarbon before going to The Scots College in Warwick, 1951-54. He enrolled in the Faculty of Architecture at The University of Queensland in 1955 and lived in Emmanuel College for six years. He was a private in the University of Queensland Regiment for five years from 1956. In 1957 he moved from Architecture to the Faculty of Arts to study Philosophy with emphasis on Aesthetics and Logic. After three years (1963-66) as the Presbyterian Minister at Greenmount in Steele Rudd country on the Darling Downs, he returned to the University of Queensland as a graduate student until 1971. After a year in St Andrews in Scotland he became a lecturer in Philosophy at his Alma Mater in 1972. He was Acting Head of Philosophy 1973-74 and became Head of the Department from 1980 to 1988, and Reader in Philosophy in 1985. After a detour through the Research School at ANU from 1988 to 1991 and the School of Computing and Information Technology at Griffith University 1991 to 1994, he went to the Philosophy Department at the University of Auckland, New Zealand, in August 1994 and stayed until March 2015.

Research Interests

  • Modal Logic
  • History of Logic
  • Belief Revision
  • Dialogue Logic
  • Artificial Intelligence
  • Philosophy of Mind

Qualifications

  • PhD, St Andr.
  • MA, The University of Queensland
  • Diploma in Divinity, The University of Queensland

Publications

  • Girle, Roderic (2016) Dialogue logic as dynamic logic. Logique Et Analyse, 236 427-443. doi:10.2143/LEA.236.0.3186065

  • Girle, Roderic (2016). Questions and Connectives. In: New Zealand Association of Philosophers Annual Conference, University of Waikato, (). 29 November - 2 December 2016.

  • Girle, Roderic A. (2015) Proof and Dialogue in Aristotle. Argumentation, 30 3: 289-316. doi:10.1007/s10503-015-9382-2

View all Publications

Publications

Book

  • Girle, R. Modal logics and philosophy 2nd ed. Montreal, Canada: McGill-Queen's University Press, 2009. doi:10.1017/UPO9781844654536

  • Girle, R.A. Introduction to logic. North Shore, New Zealand: Pearson Education New Zealand, 2007.

  • Girle, Roderic Possible Worlds. London, United Kingdom: Routledge, 2003. doi:10.1017/UPO9781844653454

  • Halpin, Terence A. and Girle, Roderic A. Deductive Logic 2nd ed. Strathpine, Qld Australia: Logicpress, 1984.

  • Girle, Roderic A. Logic: a teach yourself text 2nd ed. St. Lucia, QLD, Australia: Philosophy Department, University of Queensland, 1984.

  • Girle, R.A., Halpin, T.A., Miller, C.L. and Williams, G.H. Inductive and practical reasoning. East Brisbane, QLD, Australia: Rotecoge, 1978.

  • Rennie, M.K and Girle, R.A. Logic: theory and practice. Brisbane, QLD, Australia: University of Queensland Press, 1973.

Book Chapter

  • Girle, Roderic A. and McKeown-Green, Jonathan (2014). Foundations for the logic of questions and commands. In Mehdi Khosrow-Pour (Ed.), Inventive approaches for technology integration and information resources management (pp. 259-277) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-6256-8.ch011

  • Girle, Rod , Hitchcock, David , McBurney, Peter and Verheij, Bart (2004). Decision Support for Practical Reasoning A Theoretical and Computational Perspective. In Argumentation Machines New Frontiers in Argument and Computation (pp. 55-83) Dordrecht, GX Netherlands: Springer . doi:10.1007/978-94-017-0431-1

  • Girle, R.A. (1983). A top-down approach to the teaching of reasoning skills. In William Maxwell (Ed.), Thinking: the expanding frontier (pp. 139-147) Philadelphia, PA, United States: Franklin Institute Press.

Journal Article

Conference Publication

  • Girle, Roderic (2016). Questions and Connectives. In: New Zealand Association of Philosophers Annual Conference, University of Waikato, (). 29 November - 2 December 2016.

  • Girle, Roderic (2015). Trial by ignorance. In: Annual Conference of the New Zealand Association of Philosophy, Palmerston North, New Zealand, (). 6-9 December 2015.

  • Girle, R. A. (2014). Knowledge in Dialogue. In: Australasian Association for Logic, University of Canterbury, Christchurch, New Zealand, (). 29 – 30 November 2014.

  • Girle, R. A. (2014). Robinson Crusoe and The Epistemologists. In: New Zealand Association of Philosophers Conference, University of Canterbury, Christchurch, New Zealand, (). 1 -5 December 2014.

  • Girle, R. A. (2013). Proof and Dialogue in Aristotle. In: Australasian Association for Philosophy - New Zealand Division, University of Auckland, Auckland New Zealand, (). 8 - 13 December 2013.

  • Girle, R. A. and McKeown-Green, J. (2013). What is the Value of a Question. In: Australasian Association for Logic, University of Melbourne, Melbourne, Australia, (). 15 - 16 June 2013.

  • Girle, R. A. (2012). Epistemic Nether Logic. In: Australasian Association for Philosophy -New Zealand Division, Victoria University, Wellington, New Zealand, (). 2 - 9 December 2012.

  • Girle, R. A. (2011). Invisibility and the Can't Do Principle. In: Australasian Association for Philosophy - New Zealand Division, University of Otago, Dunedin, New Zealand, (). 3 - 11 July 2011.

  • Girle, Roderic A. (2011). The question of the question in critical thinking?. In: Patrick Blackburn, Hans van Ditmarsch, María Manzano and Fernando Soler-Toscano, Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. International Congress, TICTTL, Salamanca, Spain, (93-100). 1-4 June 2011. doi:10.1007/978-3-642-21350-2_12

  • Girle, R. A. (2010). 'Since we are supposed to have necessary truths, why don't we have un-necessary truths?. In: Australasian Association for Philosophy - New Zealand Division, University of Waikato, Hamilton, New Zealand, (). 5 - 9 December 2010.

  • Atkinson, Katie, Girle, Rod, McBurney, Peter and Parsons, Simon (2009). Command dialogues. In: Iyad Rahwan and Pavlos Moraitis, Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers. ArgMAS: International Workshop on Argumentation in Multi-Agent Systems, Estoril, Portugal, (93-106). 12 May 2008. doi:10.1007/978-3-642-00207-6_6

  • Girle, R. A. (2009). Served with distinctions. In: Australasian Association for Logic, University of Melbourne, Melbourne, Australia, (). 11 - 12 July 2009.

  • Girle, R. A. (2008). Conditionals: the three ways. In: Australasian Association for Logic, University of Auckland, Auckland, New Zealand, (). 12 - 13 April 2008.

  • Girle, R. A. (2008). The unreliable conditional. In: Australasian Association for Philosophy - New Zealand Division, University of Canterbury, Christchurch, New Zealand, (). 7 - 11 December 2008.

  • Girle, R. A. (2007). 'Internalism and Externalism in dialogue systems'. In: Australasian Association for Logic, Melbourne, Australia, (). 9 - 11 November 2007.

  • Girle, R. A. (2007). Asserting Withdrawing and Reasoning. In: Australasian Association for Philosophy New Zealand Division, University of Auckland, Auckland, New Zealand, (). 2 - 5 December 2007.

  • Girle, R. A. (2007). Dialogue Logic and Disaster: the Original idea. In: Logic and Multi-agent Systems II, University of Otago, Dunedin New Zealand, (). 15 - 16 February 2007.

  • Girle, Roderic A. (2007). The neighbourhood of S0.9 and S1. In: Conference proceedings TABLEAUX 2007. 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Aix en Provence, France, (119-132). 3 - 6 July 2007. doi:10.1007/978-3-540-73099-6_11

  • Girle, R. A. (2006). 'Dialogue and dynamic logic'. In: Australasian Association for Logic Annual Conference, Noosaville, Queensland, Australia, (). 23 - 24 September 2006.

  • Girle, R. A. (2006). The dark side of the stores. In: Australasian Association for Philosophy - New Zealand Division, Wellington, New Zealand, (). 3 - 7 December 2006.

  • Girle, R. A. (2006). The moral of the story. In: Australasian Association for Philosophy - New Zealand Division, Victoria University of Wellington, Wellington, New Zealand, (). 3 - 7 December 2006.

  • Girle, R. A. (2005). The ‘can do’ principle and Classical First-order Logic. In: Australasian Association for Logic Annual Conference, University of Western Australia, Perth, Australia, (). 24 - 26 September 2005.

  • Girle, R. A. (2004). Go with the Flow: The Natural Sequence. In: Australasian Association for Logic Annual Conference, University of Otago, Dunedin, New Zealand, (). 17 - 18 January 2004.

  • Girle, R. A. (2003). Parmenides Revealed. In: Australasian Association for Philosophy, University of Adelaide, Adelaide, Australia, (). 6 – 11 July 2003.

  • Girle, R. A. (2002). Positive Agnosticism in Belief Revision. In: Logic and Multi-agent Systems, University of Otago, Dunedin New Zealand, (). 29 – 30 October 2002.

  • Girle, R.A. (1998). Delusions of omniscience. In: Proceedings of the Eleventh International FLAIRS Conference. Proceedings of the 11th Florida Artificial Intelligence Research Symposium, Florida, United States, (). 18 – 20 May 1998.

  • Girle, R. A. (1998). Dialethic dialogue. In: Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation - ISSA Proceedings 1998. Fourth International Conference of the International Society for the Study of Argumentation, Amsterdam, Netherlands, (). 16-19 June 1998.

  • Girle, Roderic A. (1998). Logical fiction: Real vs. ideal. In: , , (542-552). . doi:10.1007/BFb0095299

  • Girle, R. A. (1997). Belief sets and commitment stores. In: Proceedings of the Ontario Society for the Study of Argumentation Conference. Ontario Society for the Study of Argumentation Conference, St Catherines, ON, Canada, (). 15 - 17 May 1997.

  • Girle, Roderic A. (1996). Commands in dialogue logic. In: Dov M. Gabbay and Hans Jürgen Ohlbach, Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.. International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, (). 3-7 June 1996.

  • Girle, Roderic A. (1996). Tableaux for expansion and contraction. In: , , (387-398). . doi:10.1007/3-540-61532-6_33

  • Girle, Roderic A. (1994). Knowledge organized and disorganized. In: D. D. Dankel, Proceedings of the Seventh Florida Artificial Intelligence Research Symposium, Saint Petersburg, FL, United States, (). 1994.

  • Girle, Roderic A. and McRobbie, Michael A. (1988). Exploring the epistemic labyrinth - new directions in the formal theory of knowledge representation. In: Christopher J. Barter and Michael J. Brooks, 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988: Proceedings. 2nd Australian Joint Artificial Intelligence Conf (AI 88 ), Adelaide, Australia, (156-176). 15-18 November 1988. doi:10.1007/3-540-52062-7_77

  • Girle, Roderic A. (1986). Dialogue and discourse. In: CALITE 86: Proceedings of the Fourth Annual Computer Assisted Learning in Tertiary Education Conference. Fourth Annual Computer Assisted Learning in Tertiary Education Conference, Adelaide, SA Australia, (). 1986.

Edited Outputs