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.