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.