Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less
Practicalism: Knowing and Agency. Australian philosophy has a deserved reputation for excellence, especially in topics of traditional centrality for analytic philosophers. But more still needs to be done within Australian epistemology. Most of the recent related work has occurred within the philosophies of mind, of language, and of science, and to some extent within ethics. That work needs to be complemented by good work in epistemology. I hope this project will help to achieve that, thereby inc ....Practicalism: Knowing and Agency. Australian philosophy has a deserved reputation for excellence, especially in topics of traditional centrality for analytic philosophers. But more still needs to be done within Australian epistemology. Most of the recent related work has occurred within the philosophies of mind, of language, and of science, and to some extent within ethics. That work needs to be complemented by good work in epistemology. I hope this project will help to achieve that, thereby increasing the national and international philosophical visibility of Australian epistemology.Read moreRead less
Fundamental Ways the World Could Be: Challenging Metaphysical Orthodoxy. This project strengthens Australia's fine reputation in metaphysics through disseminating cutting-edge research. It will build relationships with leading researchers and bring their knowledge to Australia, fostering an intellectual environment that strengthens Australia as a destination for tertiary study and international researchers. It will offer explicit training in research skills and provide wide-ranging knowledge for ....Fundamental Ways the World Could Be: Challenging Metaphysical Orthodoxy. This project strengthens Australia's fine reputation in metaphysics through disseminating cutting-edge research. It will build relationships with leading researchers and bring their knowledge to Australia, fostering an intellectual environment that strengthens Australia as a destination for tertiary study and international researchers. It will offer explicit training in research skills and provide wide-ranging knowledge for a postgraduate student. In clarifying and answering key fundamental metaphysical questions that have wide ramifications, it will provide a sound basis and the conceptual resources for both ethicists, philosophers of science and scientists to theorise about us as agents in the world, and about the nature of our world.Read moreRead less
Mathematics, the science of real structure: an Australian realist philosophy of mathematics. The project will strengthen the already strong Australian philosophical tradition of realism, extending it into philosophy of mathematics. It will develop a robust alternative to the nominalism, Platonism and idealism that dominate northern-hemisphere philosophizing about mathematics, an alternative that is in tune with how mathematicians really apply mathematics. Australian philosophy will thus be stren ....Mathematics, the science of real structure: an Australian realist philosophy of mathematics. The project will strengthen the already strong Australian philosophical tradition of realism, extending it into philosophy of mathematics. It will develop a robust alternative to the nominalism, Platonism and idealism that dominate northern-hemisphere philosophizing about mathematics, an alternative that is in tune with how mathematicians really apply mathematics. Australian philosophy will thus be strengthened in general, giving it a greater attractiveness to the many overseas visitors and students who already appreciate its unique strengths. The nature of the project will also lead to closer ties and interdisciplinary work between philosophers and mathematicians.
Read moreRead less