A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, math ....A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, mathematics, linguistics and psychology, and will provide students with skills and analytic techniques that will be valuable in future pure and applied research.Read moreRead less
A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily ....A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily implementable theory of ‘if’s. The project expects to provide such a theory, based on probability, improving on approaches from philosophy and linguistics, and benefitting both these fields. It also promises significant benefits for artificial intelligence/machine learning.
Read moreRead less
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
A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
Analysis in the idealist tradition: the development of Leibniz's analytic method by Kant and Hegel and its implications for contemporary philosophy. This project investigates the development of the 'analytic' method in the idealist philosophies of Leibniz, Kant and Hegel, and compares it to 'analysis' as used in analytic philosophy. It thereby seeks to find a ground for dialogue between strands within contemporary philosophy that are usually thought to be opposed.
The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in log ....The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in logic, there are spin-offs for mathematics, cognitive science, computer studies, and the arts and entertainment industries.Read moreRead less
The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual p ....The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual profile.Read moreRead less
An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of inform ....An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of information. There would also be benefits to the teaching of logic in Australia, with the development of sharper analytical skills in students, and the project would lay the groundwork for a textbook on the new logic.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
Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods ....Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods for managing limited resources, as well as boosting interdisciplinary capacity. Anticipated benefits include developing a new programming language that will enable programmers to issue strong guarantees about the resources their programs will use.Read moreRead less