000 01991 a2200265 4500
005 20190107145952.0
008 190101b xxu||||| |||| 00| 0 eng d
020 _a9789400744370
040 _cIIT Kanpur
041 _aeng
082 _a160
_bP21
245 _aParaconsistency
_blogic and applications
_cedited by Koji Thanka ...[et al.]
260 _bSpringer
_aNew Zealand
_c2013
300 _aviii, 383p
440 _aLogic epistemology and the unity of science
490 _a/ edited by Shahid Rahman, no.26
520 _aA logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.
650 _aInconsistency (Logic)
650 _aLogic application
700 _aTanaka, Koji [ed.]
700 _aMares, Edwin [ed.]
700 _aBerto, Francesco [ed.]
700 _aPaoli,Francesco [ed.]
942 _cBK
999 _c559734
_d559734