Discovery Projects - Grant ID: DP150103801

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-02-2015

End Date: 31-12-2020

Funding Scheme: Discovery Projects

Funding Amount: $564,200.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Philosophy | Philosophy of Language | Discourse and Pragmatics | Logic

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in Philosophy and Religious Studies | Expanding Knowledge in Language, Communication and Culture |

Other Keywords

Discourse and Pragmatics | Expanding Knowledge in Language, Communication and Culture | Expanding Knowledge in Philosophy and Religious Studies | Expanding Knowledge in the Information and Computing Sciences | Logic | Philosophy | Philosophy of Language

Related Links