More on Empirical Negation

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133 (2014)

Abstract

Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ' empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

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

Through your library

Analytics

Added to PP
2015-09-28

Downloads
46 (#250,215)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael De
Utrecht University

References found in this work

The Seas of Language.Michael Dummett - 1993 - Oxford University Press.
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.

Add more references

Citations of this work

There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.

Add more citations

Similar books and articles

Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
Negation of the Negation in Logical and Historical Analysis.M. F. Vorob'ev - 1969 - Russian Studies in Philosophy 8 (2):190-205.
Not Even.Chris Collins - 2016 - Natural Language Semantics 24 (4):291-303.
Never Say Never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.
Négation, contrariété et contradiction.Jean-Philippe Narboux - 2005 - Archives de Philosophie 3 (3):419-446.
Mao Zedong on the "Negation of the Negation": A Bibliographical Essay.Xu Kun - 1992 - Contemporary Chinese Thought 23 (3):190-218.
Negation, Denial, and Rejection.David Ripley - 2011 - Philosophy Compass 6 (9):622-629.