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 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
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
The Logical Theories of Robert Kilwardby. The project is to produce a monograph on the logical theories of Robert Kilwardby (d. 1279) as they are expounded in his commentary on Aristotle's Prior Analytics, analyzing them from the perspective of modern logic. Kilwardby's commentary - which has not been critically edited, translated, or extensively studied - is remarkable for its fidelity to Aristotle's text, and its innovations in logical theory. This forms part of a larger project jointly with D ....The Logical Theories of Robert Kilwardby. The project is to produce a monograph on the logical theories of Robert Kilwardby (d. 1279) as they are expounded in his commentary on Aristotle's Prior Analytics, analyzing them from the perspective of modern logic. Kilwardby's commentary - which has not been critically edited, translated, or extensively studied - is remarkable for its fidelity to Aristotle's text, and its innovations in logical theory. This forms part of a larger project jointly with Dr Henrik Lagerlund (Uppsala University), to do a critical edition, historical introduction, and English translation of Kilwardby's commentary, together with the present logical analysis.Read moreRead less
Aristotle's Categories in the Byzantine, Arabic and Latin Traditions. High quality pure research is of national benefit because it adds to the depth of national culture and because it enhances our national profile overseas. When it involves collaboration with leading scholars at leading international universities, the enhancement is even greater. To understand the great religions that form part of our national identity, and their influence on philosophical thought, is of national benefit because ....Aristotle's Categories in the Byzantine, Arabic and Latin Traditions. High quality pure research is of national benefit because it adds to the depth of national culture and because it enhances our national profile overseas. When it involves collaboration with leading scholars at leading international universities, the enhancement is even greater. To understand the great religions that form part of our national identity, and their influence on philosophical thought, is of national benefit because it helps understand our place in today's world.Read moreRead less
The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the f ....The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the fact that it provides one of only four book-length treatments of the matter and does so from an entirely novel perspective.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120102543
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Models of paradox in non-classical mereotopology. Logical paradoxes have beset our best philosophical theories for millennia. In the strong tradition of Australian philosophical logic, this project will test the hypothesis that paradoxes are conceptual boundaries. Mathematical models provide a formal explanatory picture, telling us why there are logical paradoxes at all.
Paraconsistent Foundations of Mathematics. In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations ....Paraconsistent Foundations of Mathematics. In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations of truth and proof. 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