Proof-theoretic semantics, paradoxes and the distinction between sense and denotation

Journal of Logic and Computation 2014 (forthcoming)
  Copy   BIBTEX


In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by introducing the distinction between sense and denotation in the proof-theoretic-semantic setting.



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

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

43 (#268,853)

6 months
4 (#170,741)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luca Tranchini
Universität Tübingen

References found in this work

No references found.

Add more references