Beiträge von: enya

Wir haben ein paar Unklarheiten bei folgenden Formalisierungen: Übung 4: A5 C) Die Kunden von Wahrsagerinnen sind einfältig. Px: x ist eine Wahrsagerin; Qxy: x ist Kunde von y; Rx: x ist einfältig Dieser Satz meint doch «Alle Kunden von Wahrsagerinnen (wenn es sie gibt) sind einfältig.» Könnte man es aber nicht auch so lesen:

In der modernen Logik ist der Individuenbereich nicht leer, d.h. es muss mindestens ein x in U geben. Weshalb aber ist diese Annahme, dass der Individuenbereich nicht leer ist, für die moderne Logik notwendig?