Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Theory of Effective Propositional Paraconsistent Logics
Die vielleicht kontraintuitivste Eigenschaft der klassischen Logik (wie auch ihres berühmtesten Rivalen, der intuitionistischen Logik) ist die Tatsache, dass sie die Ableitung eines beliebigen Satzes aus einem einzigen Paar widersprüchlicher Aussagen erlaubt. Im Laufe der Jahre wurden zahlreiche Arbeiten und Anstrengungen unternommen, um Alternativen zur klassischen Logik zu entwickeln, die diesen Nachteil nicht aufweisen. Diese Alternativen werden heute als ?parakonsistente Systeme" bezeichnet, und das entsprechende Forschungsgebiet ist das parakonsistente Schließen.
Das Ziel dieses Buches ist es, eine umfassende methodologische Darstellung der reichen mathematischen Theorie zu liefern, die mittlerweile zu den meisten dieser Systeme existiert.
Grundlegender Teil des parakonsistenten Schließens: propositionale (monotone) Logiken. Unter diesen Logiken konzentriert er sich hauptsächlich auf diejenigen, die effektiv sind.
(in dem Sinne, dass sie entscheidbar sind, eine konkrete Semantik haben und mit implementierbaren analytischen Beweissystemen ausgestattet werden können).
Der erste Teil des Buches definiert präzise alle grundlegenden Begriffe, die mit der Parakonsistenz zusammenhängen, nachdem er alle notwendigen Präliminarien behandelt hat. In den anderen Teilen werden alle wichtigen Ansätze zu diesem Thema im Detail beschrieben. Dazu gehören endliche Semantiken (sowohl wahrheitsfunktional als auch nichtdeterministisch)
Logiken der formalen Inkonsistenz.
Relevante Logiken.
Konstruktive parakonsistente Logiken, die auf der positiven intuitionistischen Logik beruhen.
Und parakonsistente Logiken, die auf Modallogiken beruhen. Das Buch behandelt Tausende von parakonsistenten Logiken, von denen jede sowohl aus semantischer als auch aus beweistechnischer Sicht untersucht wird.
Theoretische Gesichtspunkte. Darüber hinaus werden die meisten dieser Logiken in Bezug auf die Eigenschaften der Minimalität oder Maximalität charakterisiert, die sie haben können.
| ISBN: | 9781848902701 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
