Current research projects

  • Non-classical logics and their applications (Priest, Restall)
  • Vagueness (Restall, Priest)
  • Objects: identity and individuation (Goswick, Priest)
  • Theories of meaning and thought content (L Schroeter, Restall)
  • Representation, conceptual & non-conceptual (Inkpin, L Schroeter)
  • Language, phenomenology, cognitive science (Inkpin, L Schroeter)
  • Feminist epistemology (Jones)
  • Testimony and trust (Jones, Coady)
  • Rationality in ethics (F Schroeter, Jones, Cordner)
  • Normative concepts (L Schroeter, F Schroeter, Halliday)
  • Moral emotions and agency (Jones, F Schroeter, Cordner, Levy, Russell)
  • Phenomenology, embodiment, and practical awareness (Inkpin, Cordner)
  • Ancient philosophy and virtue ethics (Russell)
  • History of European thought (Inkpin, Cordner)
  • Egalitarianism (Halliday)
  • Justice in education (Halliday)
  • Taxation and Social Justice (Halliday)
  • Just war theory and political violence (Coady, Alexandra, Halliday)
  • Professional ethics (Alexandra)
  • Bioethics (Singer, Coady, Halliday)
  • Climate change and global justice (Singer)

Interdisciplinary and/or collaborative projects

  • The Logic Research Group at the University of Melbourne has regular links with researchers at St Andrews, Kyoto, Guangzhou, Nanjing, and Connecticut
  • The Moral Rationalism project links researchers at the University of Melbourne with colleagues at Princeton, Tübingen, and Fribourg

Current ARC projects

Discovery projects

Meaning in Action - new techniques for language, logic and information (2015-2019)

Professor Greg Restall

This project aims to bridge philosophy, linguistics, logic and computation by developing proof-theoretical semantics for a comprehensive fragment of Montague Grammar (a formal language suited to analysing natural languages). It aims to show how this can be implemented in software, exploring and evaluating the philosophical assumptions grounding inferentialism and proof-theoretical semantics. It seeks to exploit and examine the connections between logic, linguistics philosophy and computer science and to chart how information is grounded in our interaction with the world and our norms for dialogue. The result is expected to be a more realistic and comprehensive understanding of logic and language, and tools for software that communicates more flexibly and effectively.

ARC Future fellowships

Philosophy past research projects