Grundlagen der Prädikatenlogik

Zusammenfassung

Logiken machen die wahrheitsrelevanten Strukturen natürlicher Sprachen transparent. Einige dieser Strukturen hängen von bestimmten wahrheitsfunktionalen Junktoren ab. Genau diese Strukturen werden in AL zugänglich gemacht, und der Kalkül erlaubt es, eine Beziehung zwischen Sätzen, die aufgrund dieser Strukturen bestehen, zu überprüfen. Wir können durch Ableitungen prüfen, ob eine Folgerungsbehauptung wahr ist, und damit können wir in gewisser Hinsicht beweisen, dass die Wahrheit von Prämissen die Wahrheit einer Konklusion garantiert, sofern sie das tut.