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
Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of ....Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.Read moreRead less
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
Ontology-based collaboration in design. The design process of a building project establishes function, form and performance for the final building. When multiple participants from varying professions are involved there is a serious problem in coordinating, communicating, and locating information around each design decision. Establishing an ontology for this process, and using this ontology to structure all participant communication, will allow the requisite information from all participants to b ....Ontology-based collaboration in design. The design process of a building project establishes function, form and performance for the final building. When multiple participants from varying professions are involved there is a serious problem in coordinating, communicating, and locating information around each design decision. Establishing an ontology for this process, and using this ontology to structure all participant communication, will allow the requisite information from all participants to be considered for each design decision. This will greatly reduce rework and poor design decisions based on missed information. It will also ensure that participants are aware of all related information for their particular design tasks.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
Technology Transfer through Embedded Research within Architectural Practice: the Creation of an Australian Practice-Based Architectural Research and Development Network. This research will apply Parametric Design to a range of projects within architecture and construction engineering practice to assess the benefits. To what extent does a parametric approach extend opportunities for flexible, stream-lined and intelligent design and construction in practice? This research will test parametric reso ....Technology Transfer through Embedded Research within Architectural Practice: the Creation of an Australian Practice-Based Architectural Research and Development Network. This research will apply Parametric Design to a range of projects within architecture and construction engineering practice to assess the benefits. To what extent does a parametric approach extend opportunities for flexible, stream-lined and intelligent design and construction in practice? This research will test parametric resolution of a range of real design problems that mirror the work of innovative Australian practices. Through embedded postgraduate research within practice, this project will give Australian academy and practice the opportunity to lead in understanding the conditions for successfully applying advanced techniques in design practice.Read moreRead less
Delivering Digital Architecture in Australia. Design, documentation, and off-site prefabrication of numerous recent major international architectural projects, were achieved with evolving integrated 3D digital methods. While Australian architects, engineers, manufacturers, fabricators, and constructors have participated in a few such projects using these technologies, generally, local understanding and uptake of the opportunities is still very low. Growth in this area means growth in an existi ....Delivering Digital Architecture in Australia. Design, documentation, and off-site prefabrication of numerous recent major international architectural projects, were achieved with evolving integrated 3D digital methods. While Australian architects, engineers, manufacturers, fabricators, and constructors have participated in a few such projects using these technologies, generally, local understanding and uptake of the opportunities is still very low. Growth in this area means growth in an existing export rather than increasing reliance on importing these services and products. More fundamentally, it means a huge cultural dividend to Australia from greater affordable freedom of architectural expression.Read moreRead less