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.
Logical Theory and Sentence Composition -- A General and Comparative Study of the Principal Sentential Connectives. The aims are to get clear about the semantic and logical properties of
the basic sentence connectives, and to adjudicate several debates on
these matters. The significance is that the logic of sentence
connectives is fundamental for the whole of logic. The expected aim is a large book - probably to be called *The Connectives* - in which all of this is set out.
Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian ....Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian universities. This research will contribute significantly to Australia's reputation for fundamental logical research.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
Wonder and generosity as guides to the ethics and politics of respect for difference. This project concerns how wonder, based on accepting others' differences, and generosity, based on mutual respect,can supplement each other to establish an ethics and politics of respect for gender and cultural difference. It contributes to understanding the relationship between equality and difference in public life - the extent to which we must treat others as similar in the name of equality and the extent to ....Wonder and generosity as guides to the ethics and politics of respect for difference. This project concerns how wonder, based on accepting others' differences, and generosity, based on mutual respect,can supplement each other to establish an ethics and politics of respect for gender and cultural difference. It contributes to understanding the relationship between equality and difference in public life - the extent to which we must treat others as similar in the name of equality and the extent to which we must recognise significant differences. The project will advance philosophical understanding of how to conceptualise due respect for the diversity of people's lives and experiences.Read moreRead less
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
Models of Divinity. At a time of religious conflict around the world, interfaith dialogue is becoming increasingly important. This project will provide a platform for such dialogue to take place, thus advancing the National Research Priority Goal of improving Australia's capacity to interpret and engage with its regional and global environment. The project will also have distinct social benefits that will result from exploring the links between competing conceptions of the divine and (very often ....Models of Divinity. At a time of religious conflict around the world, interfaith dialogue is becoming increasingly important. This project will provide a platform for such dialogue to take place, thus advancing the National Research Priority Goal of improving Australia's capacity to interpret and engage with its regional and global environment. The project will also have distinct social benefits that will result from exploring the links between competing conceptions of the divine and (very often oppressive) social-cultural practices. Finally, the project will advance Australia's reputation and standing in the philosophy of religion, thus stimulating greater postgraduate and postdoctoral research in this area. 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
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
Philosophical Foundations for Probabilistic Inference and Probabilistic Prediction. This exciting and innovative project aims to lay new foundations for contemporary philosophy of science. We shall use basic Minimum Message Length (MML) principles to vastly improve on current philosophical accounts of scientific inference and scientific prediction. We shall also use the theory to develop new and exciting answers to longstanding problems in philosophy of science concerning induction, projectabili ....Philosophical Foundations for Probabilistic Inference and Probabilistic Prediction. This exciting and innovative project aims to lay new foundations for contemporary philosophy of science. We shall use basic Minimum Message Length (MML) principles to vastly improve on current philosophical accounts of scientific inference and scientific prediction. We shall also use the theory to develop new and exciting answers to longstanding problems in philosophy of science concerning induction, projectability, private languages, determinism and intelligence. A theory based on MML principles will demonstrate the clear inadequacies of competing classical approaches, and will completely reshape the way in which philosophers think about Bayesian theories of inference.Read moreRead less