Wahre Widersprüche

Das Buch behandelt die philosophischen Grundlagen und die wichtigsten Systeme der parakonsistenten Logik. Parakonsistente Logiken sind Logiken, die Widersprüche tolerieren können, während in der Standard-Logik schon das Auftreten eines einzigen Widerspruchs dazu führt, dass die betreffende Theorie logisch trivial wird. Diese Leistung macht parakonsistente Logiken für die Modellierung der naiven Semantik und der naiven Mengenlehre interessant. Weitere Anwendungsgebiete sind die Wissenschaftstheorie inkonsistenter Theorien, die Metaethik von Normensystemen, in denen sich widersprechende Gebote auftreten können, sowie die Rekonstruktion solcher philosophischer Positionen (wie der Hegels oder Meinongs), die sich affirmativ auf Widersprüche beziehen. Das Buch führt systematisch in diese Bereiche ein, und sollte einem Leser mit elementaren Logikkenntnissen verständlich sein. Entwickelt wird insbesondere ein Kalkül parakonsistenter Logik, der eine von der Standard-Logik möglichst wenig abweichende Beweistheorie und eine intuitiv nachvollziehbare Semantik besitzt. Interessieren werden sich für dieses Buch Philosophen, Logiker und Sprachwissenschaftler.