2. Ansatz neben Aussagenlogikbefasst sich mit der inneren Struktur von Aussagenes wird anhand eines Prädikats etwas über ein Objekt ausgesagt, z.B.Regel für das Prädikat "ist größer als": x größer y und y größer z, daraus schließt: x größer z

diese logischen Schlussfolgerungen werden als Syllogismen bezeichnet, bestehen immer aus 2 prämissen und 1 Konklusion

Häufig werden Quantoren verwendet (positiv: alle, einige, wenige; negativ: keine, einige nicht)Häufig kommt es dabei zu falschen Schlussfolgerungen bei All-Aussagen sowie bei einige-nicht-Aussagen; eine Konversion (Umkehrung) ist hierbei nicht möglich (z.b. Alle Bälle sind Sportgeräte, einige Lebensmittel sind kein Gemüse