Discovery Projects - Grant ID: DP0556114

Funding Activity

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

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

An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of information. There would also be benefits to the teaching of logic in Australia, with the development of sharper analytical skills in students, and the project would lay the groundwork for a textbook on the new logic.

Funded Activity Details

Start Date: 01-01-2005

End Date: 31-12-2009

Funding Scheme: Discovery Projects

Funding Amount: $105,900.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Philosophy | Logic |

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Higher education

Other Keywords

Computer software and services not elsewhere classified | Higher education | Logic | Philosophy

Related Links