Meaning in Action—new techniques for language, logic and information

行动的意义——语言、逻辑和信息的新技术

• 批准号: DP150103801
• 负责人: Prof Greg Restall
• 金额: $ 39.56万
• 依托单位: The University of Melbourne
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2015
• 资助国家: 澳大利亚
• 起止时间: 2015-02-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP150103801
• 关键词: Meaning; Action; new; techniques; language

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.

该项目旨在通过为蒙塔古语法（一种适合分析自然语言的形式语言）的综合片段开发证明理论语义，将哲学、语言学、逻辑和计算联系起来。它旨在展示如何在软件中实现这一点，探索和评估基于推理主义和证明理论语义的哲学假设。它试图探索和研究逻辑学、语言学、哲学和计算机科学之间的联系，并绘制出信息是如何根植于我们与世界的互动和我们的对话规范中的。预期结果是对逻辑和语言有更现实和全面的理解，以及更灵活和有效地沟通的软件工具。