Editing Proof-theoretic semantics (section)

{{Short description|Approach to the semantics of logic}}
{{No footnotes|date=June 2021}}
'''Proof-theoretic semantics''' is an approach to the [[Formal semantics (logic)|semantics of logic]] that attempts to locate the meaning of [[proposition]]s and [[logical connective]]s not in terms of [[Interpretation (logic)|interpretation]]s, as in [[Alfred Tarski|Tarski]]an approaches to semantics, but in the role that the proposition or logical connective plays within a [[Formal system|system of inference]].