Categoricity and Negation. A Note on Kripke’s Affirmativism

&
In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 57-66 (2019)
  Copy   BIBTEX

Abstract

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
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.
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.
From the "Negation of the Negation" to "Affirmation and Negation" in Mao Zedong's Thought.Xu Quanxing - 1992 - Contemporary Chinese Thought 23 (3):219-232.
A Square of Oppositions in Intuitionistic Logic with Strong Negation.François Lepage - 2016 - Logica Universalis 10 (2-3):327-338.
Three-valued Kripke-style Semantics For Pseudo- And Weak-boolean Logics.Eunsuk Yang - 2012 - Logic Journal of the IGPL 20 (1):187-206.
Negation And Contradiction.Richard Routley Val Routley, Richard Sylvan & Richard Routley - 1985 - Revista Columbiana de Mathematicas:201 - 231.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
Negation, Denial, and Rejection.David Ripley - 2011 - Philosophy Compass 6 (9):622-629.

Analytics

Added to PP
2019-04-05

Downloads
573 (#31,692)

6 months
151 (#22,915)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Iulian Toader
Constantin C. Brîncuș
Institute of Philosophy and Psychology, Romanian Academy

Citations of this work

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.

View all 8 references / Add more references