Associate Professor Roderic Girle
Honorary Associate Professor in Philosophy
Researcher biography
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.
Books
Girle, R. (2009). Modal logics and philosophy. 2nd ed. Montreal, Canada: McGill-Queen's University Press. doi: 10.1017/UPO9781844654536
Girle, R.A. (2007). Introduction to logic. North Shore, New Zealand: Pearson Education New Zealand.
Girle, Roderic (2003). Possible Worlds. London, United Kingdom: Routledge. doi: 10.1017/UPO9781844653454
Halpin, Terence A. and Girle, Roderic A. (1984). Deductive Logic. 2nd ed. Strathpine, Qld Australia: Logicpress.
Girle, Roderic A. (1984). Logic: a teach yourself text. 2nd ed. St. Lucia, QLD, Australia: Philosophy Department, University of Queensland.
Girle, R.A., Halpin, T.A., Miller, C.L. and Williams, G.H. (1978). Inductive and practical reasoning. East Brisbane, QLD, Australia: Rotecoge.
Rennie, M.K and Girle, R.A. (1973). Logic: theory and practice. Brisbane, QLD, Australia: University of Queensland Press.
Book Chapters
Girle, Roderic A. and McKeown-Green, Jonathan (2014). Foundations for the logic of questions and commands. Inventive approaches for technology integration and information resources management. (pp. 259-277) edited by Mehdi Khosrow-Pour. 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. 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. Thinking: the expanding frontier. (pp. 139-147) edited by William Maxwell. Philadelphia, PA, United States: Franklin Institute Press.
Journal Articles
Girle, Roderic A. (2021). Foundations for knowledge and belief management. International Journal of Knowledge Management, 17 (3), 88-99. doi: 10.4018/ijkm.2021070106
Girle, Roderic (2016). Dialogue logic as dynamic logic. Logique Et Analyse, 236 (236), 427-443. doi: 10.2143/LEA.236.0.3186065
Girle, Roderic A. (2015). Proof and Dialogue in Aristotle. Argumentation, 30 (3), 289-316. doi: 10.1007/s10503-015-9382-2
Girle, R.A. and McKeown-Green, A.J. (2012). Methodological issues for the logic of questions and commands. International Journal of Cognitive Informatics and Natural Intelligence, 6 (3), 1-18. doi: 10.4018/jcini.2012070101
Girle, Roderic A. (2010). Three contrasts in Quine on modality. Logique et Analyse, 53 (212), 417-428.
Girle, Roderic A. (2007). Parmenides demythologised. Logique et Analyse, 199, 253-268.
Girle, Roderic A. (1996). Shades of consciousness. Minds and Machines, 6 (2), 143-157. doi: 10.1007/bf00391283
Girle, Roderic A. (1991). Dialogue and the Teaching of Reasoning. Educational Philosophy and Theory, 23 (1), 45-55. doi: 10.1111/j.1469-5812.1991.tb00175.x
Girle, R.A. and Hinckfuss, I.C (1988). Australasian Association for Logic Annual Conference, 1987: co-sponsored by the Association for Symbolic Logic Brisbane. Journal of Symbolic Logic, 53 (4), 1283-1286. doi: 10.1017/S0022481200028206
Girle, Roderic A. (1987). The Concept of Revelation. Australasian Journal Of Philosophy, 65 (4), 470-482. doi: 10.1080/00048408712343091
Girle, R.A. (1982). Semantic tableau for logics around RM. Australian Logic Teachers' Journal, 6 (3), 1-20.
Girle, R. A. (1978). Logics for Knowledge, Possibility and Existence. Notre Dame Journal of Formal Logic, 19, 200-214.
Girle, Roderic A. (1975). S1 ≠ S0.9. Notre Dame Journal of Formal Logic, 16 (3), 339-344. doi: 10.1305/ndjfl/1093891791
Girle, R. A. (1975). S1 ≠ SO.9. Notre Dame Journal of Formal Logic, 16 (3), 339-344.
Girle, R. A. (1974). Possibility Pre-supposition Free Logics. Notre Dame Journal of Formal Logic, 15 (1), 45-62.
Girle, R. A. (1974). Quantification into epistemic contexts. Logique et Analyse, 17 (65-66), 127-142.
Girle, Roderic A. (1973). Epistemic logic, language and concepts. Logique et Analyse, 16 (63-64), 359-373.
Conference Papers
Girle, Roderic (2016). Questions and Connectives. New Zealand Association of Philosophers Annual Conference, University of Waikato, 29 November - 2 December 2016.
Girle, Roderic (2015). Trial by ignorance. Annual Conference of the New Zealand Association of Philosophy, Palmerston North, New Zealand, 6-9 December 2015.
Girle, R. A. (2014). Knowledge in Dialogue. Australasian Association for Logic, University of Canterbury, Christchurch, New Zealand, 29 – 30 November 2014.
Girle, R. A. (2014). Robinson Crusoe and The Epistemologists. New Zealand Association of Philosophers Conference, University of Canterbury, Christchurch, New Zealand, 1 -5 December 2014.
Girle, R. A. and McKeown-Green, J. (2013). What is the Value of a Question. Australasian Association for Logic, University of Melbourne, Melbourne, Australia, 15 - 16 June 2013.
Girle, R. A. (2013). Proof and Dialogue in Aristotle. Australasian Association for Philosophy - New Zealand Division, University of Auckland, Auckland New Zealand, 8 - 13 December 2013.
Girle, R. A. (2012). Epistemic Nether Logic. Australasian Association for Philosophy -New Zealand Division, Victoria University, Wellington, New Zealand, 2 - 9 December 2012.
Girle, Roderic A. (2011). The question of the question in critical thinking?. International Congress, TICTTL, Salamanca, Spain, 1-4 June 2011. Berlin, Germany: Springer. doi: 10.1007/978-3-642-21350-2_12
Girle, R. A. (2011). Invisibility and the Can't Do Principle. Australasian Association for Philosophy - New Zealand Division, University of Otago, Dunedin, New Zealand, 3 - 11 July 2011.
Girle, R. A. (2010). 'Since we are supposed to have necessary truths, why don't we have un-necessary truths?. Australasian Association for Philosophy - New Zealand Division, University of Waikato, Hamilton, New Zealand, 5 - 9 December 2010.
Girle, R. A. (2009). Served with distinctions. Australasian Association for Logic, University of Melbourne, Melbourne, Australia, 11 - 12 July 2009.
Atkinson, Katie, Girle, Rod, McBurney, Peter and Parsons, Simon (2009). Command dialogues. ArgMAS: International Workshop on Argumentation in Multi-Agent Systems, Estoril, Portugal, 12 May 2008. Berlin, Germany: Springer. doi: 10.1007/978-3-642-00207-6_6
Girle, R. A. (2008). The unreliable conditional. Australasian Association for Philosophy - New Zealand Division, University of Canterbury, Christchurch, New Zealand, 7 - 11 December 2008.
Girle, R. A. (2008). Conditionals: the three ways. Australasian Association for Logic, University of Auckland, Auckland, New Zealand, 12 - 13 April 2008.
Girle, R. A. (2007). Asserting Withdrawing and Reasoning. 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. 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. 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Aix en Provence, France, 3 - 6 July 2007. Berlin, Germany: Springer. doi: 10.1007/978-3-540-73099-6_11
Girle, R. A. (2007). 'Internalism and Externalism in dialogue systems'. Australasian Association for Logic, Melbourne, Australia, 9 - 11 November 2007.
Girle, R. A. (2006). The moral of the story. Australasian Association for Philosophy - New Zealand Division, Victoria University of Wellington, Wellington, New Zealand, 3 - 7 December 2006.
Girle, R. A. (2006). 'Dialogue and dynamic logic'. Australasian Association for Logic Annual Conference, Noosaville, Queensland, Australia, 23 - 24 September 2006.
Girle, R. A. (2006). The dark side of the stores. Australasian Association for Philosophy - New Zealand Division, Wellington, New Zealand, 3 - 7 December 2006.
Girle, R. A. (2005). The ‘can do’ principle and Classical First-order Logic. 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. Australasian Association for Logic Annual Conference, University of Otago, Dunedin, New Zealand, 17 - 18 January 2004.
Girle, R. A. (2003). Parmenides Revealed. Australasian Association for Philosophy, University of Adelaide, Adelaide, Australia, 6 – 11 July 2003.
Girle, R. A. (2002). Positive Agnosticism in Belief Revision. Logic and Multi-agent Systems, University of Otago, Dunedin New Zealand, 29 – 30 October 2002.
Girle, R.A. (1998). Delusions of omniscience. Proceedings of the 11th Florida Artificial Intelligence Research Symposium, Florida, United States, 18 – 20 May 1998. AAAI.
Girle, Roderic A. (1998). Logical fiction: Real vs. ideal. Springer Verlag. doi: 10.1007/BFb0095299
Girle, R. A. (1998). Dialethic dialogue. Fourth International Conference of the International Society for the Study of Argumentation, Amsterdam, Netherlands, 16-19 June 1998. Rozenberg Quarterly.
Girle, R. A. (1997). Belief sets and commitment stores. Ontario Society for the Study of Argumentation Conference, St Catherines, ON, Canada, 15 - 17 May 1997. Windsor, Canada: University of Windsor.
Girle, Roderic A. (1996). Tableaux for expansion and contraction. Springer Verlag. doi: 10.1007/3-540-61532-6_33
Girle, Roderic A. (1996). Commands in dialogue logic. International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, 3-7 June 1996.
Girle, Roderic A. (1994). Knowledge organized and disorganized. Proceedings of the Seventh Florida Artificial Intelligence Research Symposium, Saint Petersburg, FL, United States, 1994. The Florida AI Research Society.
Girle, Roderic A. and McRobbie, Michael A. (1988). Exploring the epistemic labyrinth - new directions in the formal theory of knowledge representation. 2nd Australian Joint Artificial Intelligence Conf (AI 88 ), Adelaide, Australia, 15-18 November 1988. Berlin, Germany: Springer. doi: 10.1007/3-540-52062-7_77
Girle, Roderic A. (1986). Dialogue and discourse. Fourth Annual Computer Assisted Learning in Tertiary Education Conference, Adelaide, SA Australia, 1986.