Options For Proofs: New Perspectives on Propositional Logic

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

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.