Discovery Projects - Grant ID: DP0880437

Funding Activity

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

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

Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.

Funded Activity Details

Start Date: 03-07-2008

End Date: 01-02-2011

Funding Scheme: Discovery Projects

Funding Amount: $242,648.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Philosophy | Metaphysics | Logic | Epistemology |

ANZSRC Socio-Economic Objective (SEO)

Behavioural and cognitive sciences | Mathematical sciences

Other Keywords

Behavioural and cognitive sciences | Epistemology | Logic | Mathematical sciences | Metaphysics | Philosophy

Related Links