Discovery Projects - Grant ID: DP0343388

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0343388

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2003

End Date: 31-12-2006

Funding Scheme: Discovery Projects

Funding Amount: $111,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Philosophy | Philosophy Of Language | Logic |

ANZSRC Socio-Economic Objective (SEO)

Mathematical sciences | Other

Other Keywords

Communication Not Elsewhere Classified | Logic | Mathematical Logic And Formal Languages | Mathematical sciences | Other | Philosophy | Philosophy Of Language

Related Links