Paraconsistency: Logic and Applications

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Tanaka, Koji (Επιμελητής έκδοσης), Berto, Francesco (Επιμελητής έκδοσης), Mares, Edwin (Επιμελητής έκδοσης), Paoli, Francesco (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
• Σειρά: Logic, Epistemology, and the Unity of Science ; 26
• Θέματα: Philosophy.; Logic.; Language and languages > Philosophy.; Mathematical logic.; Artificial intelligence.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Philosophy of Language.

A 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 philosoph...