Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Proof-theoretic semantics
open-in-new
<p>Proof-theoretic semantics is an approach to the <a href="/facts/Formal_semantics_(logic)/VdAKHszK">semantics of logic</a> that attempts to locate the meaning of <a href="/facts/Proposition/0877MFMD">propositions</a> and <a href="/facts/Logical_connective/VkPhUs6M">logical connectives</a> not in terms of <a href="/facts/Interpretation_(logic)/goPmjjQG">interpretations</a>, as in <a href="/facts/Alfred_Tarski/7h6NySAj">Tarskian</a> approaches to semantics, but in the role that the proposition or logical connective plays within a <a href="/facts/Formal_system/KaeDAjK7">system of inference</a>. </p>