Negation. A Problem for the Proof-Theoretic Justification of Deduction

(2015)
  Copy   BIBTEX

Abstract

This is only a very short essay on negation and harmony in philosophical logic. If you buy it anyway, you'll help me pay the bills and I'll be able to write longer things.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

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

Through your library

My notes

Similar books and articles

Pluralism and the logical basis of metaphysics.N. Kurbis - 2007 - In Logica Yearbook.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Harmony, Normality and Stability.Nils Kurbis - manuscript
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
Truth from a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
We Can Be in Harmony With Classical Logic.Michael Gabbay - unknown
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Variation on a theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.

Analytics

Added to PP
2015-10-05

Downloads
90 (#191,320)

6 months
6 (#531,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references