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

Our Archive
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
Die Grundlagen der Arithmetik.Gottlob Frege - 1988 - Felix Meiner Verlag.
Frege.Michael Dummett - 1973 - Teorema: International Journal of Philosophy 5 (2):149-188.

View all 44 references / Add more references

Citations of this work BETA

An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.

Add more citations

Similar books and articles


Added to PP index

Total views
416 ( #14,704 of 2,326,762 )

Recent downloads (6 months)
28 ( #23,319 of 2,326,762 )

How can I increase my downloads?


My notes