- Was ist Theorem -Prinzip der Explosion?
- Was ist Ex -Falso -Quodlibet -Prinzip?
- Was ist explosive Logik?
Was ist Theorem -Prinzip der Explosion?
Das Explosionsprinzip sagt nur, dass eine solche Theorie, wenn eine Theorie eine einzige Inkonsistenz enthält, trivial ist - das heißt, sie kann alles beweisen. Daher gibt es nach dem Prinzip der Explosion nur eine inkonsistente Theorie: die triviale Theorie, die jeden Satz als Satz hat.
Was ist Ex -Falso -Quodlibet -Prinzip?
Ex Falso Quodlibet ist lateinisch für "aus Falschheit, irgendetwas". Es wird auch als Prinzip der Explosion bezeichnet. In der Logik bezieht es sich auf das Prinzip, dass, wenn ein Widerspruch in einem System abgeleitet werden kann, jeder Satz folgt. In der Typtheorie ist es die Eliminierungsregel des leeren Typs.
Was ist explosive Logik?
Eine logische Konsequenzbeziehung ist explosiv, wenn nach ihr eine willkürliche Schlussfolgerung \ (b \) durch einen beliebigen Widerspruch \ (a \), \ (\ neg a \) (ex Contradiction Quodlibet (ECQ)) entspricht. Klassische Logik und standardeste "nicht klassische" Logik, wie z. B. intuitionistische Logik, sind explosiv.