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.