Wahre Widersprüche
Academia, 1. Auflage 1998, 206 Seiten
Das Werk ist Teil der Reihe
Academia Philosophical Studies
29,80 €
Lieferbar
ISBN
978-3-89665-093-1
Details
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.
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.
Weitere Informationen
Auflage | 1 |
---|---|
ISBN | 978-3-89665-093-1 |
Untertitel | Einführung in die parakonsistente Logik |
Erscheinungsdatum | 30.06.1998 |
Erscheinungsjahr | 1998 |
Verlag | Academia |
Ausgabeart | Softcover |
Sprache | deutsch |
Seiten | 206 |
Medium | Buch |
Produkttyp | Wissenschaftsliteratur |