Paraconsistent logic: essays on the inconsistent |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
A Preliminary History | 3 |
Elements of paraconsistent thinking in Eastern | 15 |
paraconsistent approaches through | 21 |
Copyright | |
79 other sections not shown
Common terms and phrases
admissible sentences algebra antinomic antinomic number approach argument Aristotle Arruda axiom axiomatization classical logic co-regular co-theory combinatory logic conjunction consequence consistent constant terms contains contradiction contradictory Costa defined definition derivable designated occurrences determining set dialectical set theory dialethic discursive logic discussive disjunctive syllogism dynamic dialectical logics equivalent example extensional fact fifth element finite formula Hegel Hence Heraclitus implication inconsistent theories induction inference initial sentences interpretation intuitionistic intuitionistic logic Jaskowski l-groups lattice Lemma logicians Lukasiewicz mathematics modal logic modus ponens naive set theory negation non-trivial notion objects ordinal paracon paraconsistent logic paradoxes philosophical position postulates predicate premisses prime theory principle problem proof properties propositional calculus provable prove reason rejected relation relevant logics rM3Q Routley rpepl rules satisfies semantics sense sentential constant sistent successor ordinal suppose theorem things tion trivial truth valid valuation variables Vasil'ev Wittgenstein
References to this book
Bibliographic information
| Title | Paraconsistent logic: essays on the inconsistent Analytica Series Analytica (Philosophia Verlag) |
| Authors | Graham Priest, Richard Sylvan |
| Editors | Graham Priest, Jean Norman, Ayda Ignez Arruda |
| Edition | illustrated |
| Publisher | Philosophia, 1989 |
| Original from | the University of California |
| Digitized | May 21, 2008 |
| ISBN | 3884050583, 9783884050583 |
| Length | 715 pages |
| Subjects | › Philosophy / Logic |
| Export Citation | BiBTeX EndNote RefMan |