Options For Proofs: New Perspectives on Propositional Logic

证明选项：命题逻辑的新视角

• 批准号: DP0343388
• 负责人: Prof Greg Restall
• 金额: $ 7.75万
• 依托单位: The University of Melbourne
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2003
• 资助国家: 澳大利亚
• 起止时间: 2003-01-01 至 2006-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0343388
• 关键词: Options; Proofs; New; Perspectives; Propositional

Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.

哲学家和逻辑学家都认识到证明的重要性，但他们在什么是证明的问题上意见不一。最近的逻辑学研究极大地扩展了我们的证明概念，但这种研究并不统一。我们需要一个连贯、普遍和适用的证明概念。这个项目将统一关于证明的文献，并将这些见解带入语言哲学。它将展示证明如何能够帮助分析语言的许多特征（不仅仅是逻辑常数），但推理的作用并不证明一种证明优于其他证明。