Druckfehler/Aktualisierungen in "Logik 2, Heft 2"

Stand November 1999

Seite:	Zeile:	falsch:	richtig:
85	2. Z.v.u.	d und e	d und e und h und i
86		Reihenfolge: h -> i	Reihenfolge: i -> h

---

29 letzte Zeile:
29.10.1999: Otte hat entdeckt, daß alle 84 Schlüsse mit allen 244 Schlußsätzen mit den Programmen Freytag Löringhoffs und Ottes gelöst werden können! Setzen Sie einfach statt der beiden Prämissen die beiden Prämissen UND ihre Nebenbedeutungen (da in der Begriffslogik die Nebenbedeutungen nicht automatisch gelten) als Prämissen ein, und Sie erhalten dieselben Ergebnisse wie in der Größenlogik. Das bedeutet, Sie haben beispielsweise für den 5e acht statt zwei Prämissen. Und so bei den anderen. Eine schönere Bestätigung der gemeinsamen Wurzeln beider Logikansätze, nämlich der Größen, kann man sich nicht wünschen.
Hier der Einfachheit halber die Gegenüberstellung der 10 log. Sätze in Löringhoffs und Seidels Ansatz aus Sicht der Größenlogik:

Satz	Seidel	v. Freytag Löringhoff	alternativ
1	+ A = + B	Satz 4 UND Satz 5
2	- A = + B	Satz 3 UND Satz 6
3	- A =(+)B	Alles an A ist nicht an B	Alle nicht-A sind B
4	(+)A = + B	Alles an A ist an B	Alle B sind A
5	+ A =(+)B	Alle A sind B
6	+ A =(-)B	Alle A sind nicht B
7	(+)A =(+)B	Einige A sind B
8	(+)A =(-)B	Einige A sind nicht B
9	(-)A =(+)B	Etwas an A ist nicht an B	Einige nicht-A sind B
10	(-)A =(-)B	Etwas an A ist an B	Einige nicht-A sind nicht-B