Top News, Articles, and Interviews in Philosophy

Proof-Theoretic Semantics

Philosophy News image
[Revised entry by Peter Schroeder-Heister on February 1, 2018. Changes to: Main text, Bibliography, definitional-reflection.html, examples.html] Proof-theoretic semantics is an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof . Proof-theoretic semantics also means the semantics of proofs,...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus

Recent Books in Philosophy

Check out some of the latest books being published in philosophy
in various fields and disciplines.