Journal of Philosophical Logic 44 (6):713-727 (2015)

Nils Kürbis
University of Lodz
This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of modal operators in terms of rules of inference
Keywords Proof-Theoretic semantics  Harmony  Stability  Negation  Modality
Categories (categorize this paper)
DOI 10.1007/s10992-013-9310-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
Die Grundlagen der Arithmetik.Gottlob Frege - 1988 - Felix Meiner Verlag.

View all 44 references / Add more references

Citations of this work BETA

Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.

View all 7 citations / Add more citations

Similar books and articles


Added to PP index

Total views
475 ( #15,628 of 2,439,394 )

Recent downloads (6 months)
20 ( #36,393 of 2,439,394 )

How can I increase my downloads?


My notes