Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have be ....Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have been developed to handle the frequent situations in which it fails. These, however, remain incomplete and their foundations poorly understood. The project will address their omissions, secure their conceptual underpinnings and use them to clarify and resolve long-standing philosophical problems.Read moreRead less
Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on ....Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on the basis of the later work of Brandom's mentor, Wilfrid Sellars. The corrected account shows how the norms of thought need not be eternal to be rational, but rather, are rational because of the way they are historical.Read moreRead less
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
Semantics, externalism and a priori truths. This project aims to discover more about the logical roots of a priori knowledge. Pure mathematicians and logicians discover truths which are not justified by inference from observations; philosophers traditionally have aspired to do likewise. Yet little is understood about what makes a priori knowledge possible. There is a growing branch of logic which studies what is known as "double indexing" and this promises to throw light on the a priori. Austral ....Semantics, externalism and a priori truths. This project aims to discover more about the logical roots of a priori knowledge. Pure mathematicians and logicians discover truths which are not justified by inference from observations; philosophers traditionally have aspired to do likewise. Yet little is understood about what makes a priori knowledge possible. There is a growing branch of logic which studies what is known as "double indexing" and this promises to throw light on the a priori. Australian philosophers have played a very salient role in the study of double indexing, and this project is well placed to make significant contributions in this area.Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less
The Objects of Probabilities. Probabilities impact almost every aspect of our lives. Actuaries calculate probabilities of property loss due to bushfires, while climatologists warn that such probabilities will increase alarmingly. Probabilities abound in engineering, medicine, the law, the sciences and social sciences, and much philosophy. Yet we lack a proper understanding of the kinds of things that receive probabilities: the objects of probabilities. This project will provide such understandin ....The Objects of Probabilities. Probabilities impact almost every aspect of our lives. Actuaries calculate probabilities of property loss due to bushfires, while climatologists warn that such probabilities will increase alarmingly. Probabilities abound in engineering, medicine, the law, the sciences and social sciences, and much philosophy. Yet we lack a proper understanding of the kinds of things that receive probabilities: the objects of probabilities. This project will provide such understanding. It will rethink the foundations of probability and decision theory, with potential ramifications for the philosophy, science, and public policy that are based on these theories. It thus aims to strengthen Australia's research profile and international standing in these areas.Read moreRead less