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.

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

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.
Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.
Negation And Contradiction.Richard Routley Val Routley, Richard Sylvan & Richard Routley - 1985 - Revista Columbiana de Mathematicas 19:201 - 231.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Negation, Denial, and Rejection.David Ripley - 2011 - Philosophy Compass 6 (9):622-629.

Analytics

Added to PP
2019-04-05

Downloads
585 (#31,701)

6 months
157 (#22,358)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

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