The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

Studia Logica 64 (1):3-20 (2000)
  Copy   BIBTEX


This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

70 (#170,058)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Implicational Paradoxes and the Meaning of Logical Constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.
Quine and Slater on Paraconsistency and Deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references