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.
Recently discovered rare manuscripts of mediaeval Pali subcommentaries: a missing link in Buddhist textual transmission. The project will "enhance Australia's capacity to interpret and engage with its regional environment through a greater understanding of languages, societies and cultures" (Research priority 4: Understanding our region and the world); it will deepen our understanding of religious and cultural traditions of many Buddhist countries, which constitute a substantial part of Australi ....Recently discovered rare manuscripts of mediaeval Pali subcommentaries: a missing link in Buddhist textual transmission. The project will "enhance Australia's capacity to interpret and engage with its regional environment through a greater understanding of languages, societies and cultures" (Research priority 4: Understanding our region and the world); it will deepen our understanding of religious and cultural traditions of many Buddhist countries, which constitute a substantial part of Australia's regional environment, and advance our knowledge of Buddhism, the fastest growing religion in Australia. Since this is the first project of its kind in the field of Pali studies, it will increase the international prestige of Australian research capability and open new possibilities for international cooperation in the field.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
Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be ....Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be interested to know whether a certain language is a little more efficient than certain other languages for a particular purpose (for example, commercial business). Read moreRead less
Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of t ....Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of three excellent PhD projects in discrete mathematics. The computer age has ensured that this is a booming discipline and an increasing component of undergraduate syllabi around the world. It is thus a crucial area in which to be providing quality research training.Read moreRead less
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outco ....Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outcomes include a better understanding of models of language change across urban and rural areas, and a novel dataset recording the stories of regional Australians, and in particular, their experiences facing bushfire. This should provide significant benefits as a record of life, language and community in regional Australia.Read moreRead less
Historical-critical commentary on the Odes of Solomon in two versions, a most extensive German edition and an abridged English edition. Since the sensational 1909 discovery of the first, Syriac, manuscript of the Odes of Solomon, an early Christian collection of 42 pseudepigraphical poems, there has never been published a commentary as detailed as other pioneering biblical and non-canonical commentaries. Writing such a commentary is based on applicant's extensive preliminary investigations: new ....Historical-critical commentary on the Odes of Solomon in two versions, a most extensive German edition and an abridged English edition. Since the sensational 1909 discovery of the first, Syriac, manuscript of the Odes of Solomon, an early Christian collection of 42 pseudepigraphical poems, there has never been published a commentary as detailed as other pioneering biblical and non-canonical commentaries. Writing such a commentary is based on applicant's extensive preliminary investigations: new edition, first complete concordance, annotated bibliography, monograph on ancient hymnology, German translation with introduction and notes, numerous articles. Further painstaking philological-critical research is indispensable for both German and abridged English commentary bringing the most ambitious research project on these enigmatic texts to completion within the next decade.Read moreRead less
Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will desig ....Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will design and perform first-of-kind experiments that reproduce the complex fluid-thermal-structural interactions representative of those experienced by these aircraft and rockets. We will then use these measurements to assess, validate and improve the current state-of-the-art of simulation and modelling approaches for design.Read moreRead less
The Papacy in Late Antiquity. The papacy, one of the oldest and most powerful institutions in the world, has recently been revitalized and gives every sign of retaining its authority in the immediate future. The research aims to explain how, across some three hundred years, it came to enjoy its position. In a world in which religious authority and allegiance is becoming more important, locally and internationally, a sound understanding of the foundations of a key institution will be of great ben ....The Papacy in Late Antiquity. The papacy, one of the oldest and most powerful institutions in the world, has recently been revitalized and gives every sign of retaining its authority in the immediate future. The research aims to explain how, across some three hundred years, it came to enjoy its position. In a world in which religious authority and allegiance is becoming more important, locally and internationally, a sound understanding of the foundations of a key institution will be of great benefit. Read moreRead less