In The Logica Yearbook 2018. London: College Publications. pp. 57-66 (2019)

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.
Keywords negation  categoricity  positive logic  idealization
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.
Formalization of Logic. [REVIEW]E. N. - 1943 - Journal of Philosophy 40 (12):332.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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: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.


Added to PP index

Total views
237 ( #41,350 of 2,448,516 )

Recent downloads (6 months)
14 ( #47,079 of 2,448,516 )

How can I increase my downloads?


My notes