The non-Boolean logic of natural language negation

, , &
Philosophia Mathematica 2 (1):45-68 (1994)
  Copy   BIBTEX

Abstract

Since antiquity two different negations in natural languages have been noted: predicate negation and predicate term negation . The extensive literature offers no models. We propose category-theoretic models with two distinct negation operators, neither of them in general Boolean. We study combinations of the two and sentential counterparts of each. We emphasize the relevance of our work for the theory of cognition

Categories

Keywords

Reprint years

DOI

10.1093/philmat/2.1.45

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

The non-Boolean logic of natural language negation.Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari - 1994 - Philosophia Mathematica 2 (1):45-68.
Logical reasoning in natural language: It is all about knowledge. [REVIEW]Lucja Iwańska - 1993 - Minds and Machines 3 (4):475-510.
A categorical ciew of nouns in their semantical roles.John Macnamara, Houman Zollfaghari, Marie la Palme Reyes & Gonzalo E. Reyes - 1999 - Enrahonar: Quaderns de Filosofía:155-162.
A Boolean-valued version of Gupta's semantics.Marie La Palme Reyes & Gonzalo E. Reyes - 1989 - Logique Et Analyse 32 (128):247-265.
Functoriality and Grammatical Role in Syllogisms.Marie La Palme Reyes, John Macnamara & Gonzalo E. Reyes - 1994 - Notre Dame Journal of Formal Logic 35 (1):41-66.
Some aspects of negation in English.Gabriel Sandu - 1994 - Synthese 99 (3):345 - 360.
Linearity and negation.Kenji Tokuo - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):43-51.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Negation in logic and in natural language.Jaakko Hintikka - 2002 - Linguistics and Philosophy 25 (5-6):585-600.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Montague's semantics for intensional logic.Marie La Palme Reyes & Gonzalo E. Reyes - 1989 - Logique Et Analyse 32 (128):319-335.
How much logic is built into natural language?Ed Keenan - unknown
Negation.Ernesto Napoli - 2006 - Grazer Philosophische Studien 72 (1):233-252.

Analytics

Added to PP
2014-03-29

Downloads
31 (#503,056)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references