Some definitions of negation leading to paraconsistent logics (Q1062973)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some definitions of negation leading to paraconsistent logics |
scientific article; zbMATH DE number 3916231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some definitions of negation leading to paraconsistent logics |
scientific article; zbMATH DE number 3916231 |
Statements
Some definitions of negation leading to paraconsistent logics (English)
0 references
1984
0 references
In positive logic the negation of a proposition A is defined by \(A\supset X\) where X is some fixed proposition. A number of standard properties of negation, including reductio ad absurdum, can then be proved, but not the law of noncontradiction so that this forms a paraconsistent logic. Various stronger paraconsistent logics are then generated by putting in particular propositions for X. These propositions range from true through contingent to false.
0 references
