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

Other Versions

No versions found

Links

PhilArchive

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

Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic.Carlos A. Oller - 2016 - In H. Andreas and P. Verdée (ed.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. pp. 103-110.
Anderson And Belnap's Minimal Positive Logic With Minimal Negation.J. Mendez, F. Salto & G. Robles - 2002 - Reports on Mathematical Logic 36:117-130.
An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
Minimal Negation in the Ternary Relational Semantics.Gemma Robles, José M. Méndez & Francisco Salto - 2005 - Reports on Mathematical Logic 39:47-65.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Glivenko like theorems in natural expansions of BCK‐logic.Roberto Cignoli & Antoni Torrens Torrell - 2004 - Mathematical Logic Quarterly 50 (2):111-125.
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.Tomasz Skura - 2023 - Logica Universalis 17 (4):433-441.
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.
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics.Marjorie Hass - 1993 - Dissertation, University of Illinois at Urbana-Champaign

Analytics

Added to PP
2019-04-05

Downloads
848 (#27,069)

6 months
161 (#25,360)

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 - 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.
Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.

View all 7 references / Add more references