A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily ....A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily implementable theory of ‘if’s. The project expects to provide such a theory, based on probability, improving on approaches from philosophy and linguistics, and benefitting both these fields. It also promises significant benefits for artificial intelligence/machine learning.
Read moreRead less
Meaning in Action—new techniques for language, logic and information. This project aims to bridge philosophy, linguistics, logic and computation by developing proof-theoretical semantics for a comprehensive fragment of Montague Grammar (a formal language suited to analysing natural languages). It aims to show how this can be implemented in software, exploring and evaluating the philosophical assumptions grounding inferentialism and proof-theoretical semantics. It seeks to exploit and examine the ....Meaning in Action—new techniques for language, logic and information. This project aims to bridge philosophy, linguistics, logic and computation by developing proof-theoretical semantics for a comprehensive fragment of Montague Grammar (a formal language suited to analysing natural languages). It aims to show how this can be implemented in software, exploring and evaluating the philosophical assumptions grounding inferentialism and proof-theoretical semantics. It seeks to exploit and examine the connections between logic, linguistics philosophy and computer science and to chart how information is grounded in our interaction with the world and our norms for dialogue. The result is expected to be a more realistic and comprehensive understanding of logic and language, and tools for software that communicates more flexibly and effectively.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
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
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
Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods ....Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods for managing limited resources, as well as boosting interdisciplinary capacity. Anticipated benefits include developing a new programming language that will enable programmers to issue strong guarantees about the resources their programs will use.Read moreRead less
Decision theory in crisis. Decision theory's goals are to characterise and to guide rational decision-making—from the minor decisions of daily life, to the major decisions of industry and government— which, in its current state, it is unfit to do. This project will refine decision theory so that it may better achieve these goals.
M.C.Escher and his Contemporaries: the Genesis of the Impossible. The project aims to produce a conceptual history of the twentieth-century impossible pictures movement which developed around M.C.Escher, to classify kinds of impossible pictures, and particularly to establish priorities over who discovered what. This requires geometrical construction, and rigorous logical and mathematical analysis. The project will employ the novel techniques available within the theory of inconsistency. The sign ....M.C.Escher and his Contemporaries: the Genesis of the Impossible. The project aims to produce a conceptual history of the twentieth-century impossible pictures movement which developed around M.C.Escher, to classify kinds of impossible pictures, and particularly to establish priorities over who discovered what. This requires geometrical construction, and rigorous logical and mathematical analysis. The project will employ the novel techniques available within the theory of inconsistency. The significance of this work is that it demonstrates the rich conceptual resources available within inconsistent content. Expected outcomes are a book aimed at the general reader, technical articles in logic and mathematics journals, and a expanded understanding of our human ability to grasp inconsistent visual contents. Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE220100544
Funder
Australian Research Council
Funding Amount
$356,000.00
Summary
Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists ....Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists. Expected outcomes include new logical methods and modelling techniques for many-valued logics. This will provide significant benefits, such as the enhancement of fuzzy logic as a tool in artificial intelligence to handle reasoning with imprecise concepts, giving meaning to complex real-life data.Read moreRead less
A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist a ....A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist and Western philosophers, bring attention to texts and theories not currently available to the Western philosophical world, and demonstrate the importance of a collaborative, interdisciplinary approach to global philosophy.Read moreRead less