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
Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving ....Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving constraint problems and for the study of formal languages.
With a team of top international researchers developing new interactions between mathematics and the study of algorithms, the project will foster a culture of innovation and bring Australia into the play in this internationally competitive area.Read moreRead less
Digital fabrication technologies: analysing patterns of adoption and innovative transformations in architectural design and practice. This project on adoption of digital fabrication technologies by Australian architecture practices will reveal emerging opportunities for creative design and associated transformations in the design practices. These outcomes will enable the increasingly globalising sector of architectural design services to become more agile and innovative.
Place and parametricism: Provocations for the rethinking of design. This project aims to explore whether quantitative methods of digital and parametric design can adequately encompass place. Quantitative digital and parametric approaches increasingly dominate contemporary architecture, but people assume architectural design should be essentially oriented to questions of place. The project will operate through a set of studio provocations based on the fictional places of Mervyn Peake's Gormenghas ....Place and parametricism: Provocations for the rethinking of design. This project aims to explore whether quantitative methods of digital and parametric design can adequately encompass place. Quantitative digital and parametric approaches increasingly dominate contemporary architecture, but people assume architectural design should be essentially oriented to questions of place. The project will operate through a set of studio provocations based on the fictional places of Mervyn Peake's Gormenghast novels. The project is expected to clarify the nature of place and parametricism, and rethink what design itself might be.Read moreRead less
Collapse assessment of reinforced concrete buildings in regions of lower seismicity. This research aims to develop a new displacement based (DB) method for regions of lower seismicity, using 'Displacement Controlled' phenomenon, to assess the risk of collapse and seismic performance of buildings. The project will investigate the system behaviour of buildings in Australia that are laterally supported by lightly reinforced concrete geometric walls, including both torsional and wall floor interacti ....Collapse assessment of reinforced concrete buildings in regions of lower seismicity. This research aims to develop a new displacement based (DB) method for regions of lower seismicity, using 'Displacement Controlled' phenomenon, to assess the risk of collapse and seismic performance of buildings. The project will investigate the system behaviour of buildings in Australia that are laterally supported by lightly reinforced concrete geometric walls, including both torsional and wall floor interaction effects. The new DB method could allow buildings in regions of lower seismicity to be designed for robustness, gravity and wind loading and then checked using displacement principles for seismic compliance, which will dramatically simplify and improve the current seismic design process.Read moreRead less
Permanents, permutations and polynomials. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoreticians around the world, enhancing Australia's already high research profile in this crucial area. Importantly, the project ....Permanents, permutations and polynomials. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoreticians around the world, enhancing Australia's already high research profile in this crucial area. Importantly, the project also offers substantial postgraduate training in mathematics, an area in which Australia has an identified skill shortage.Read moreRead less