GRUNDZUEGE D. LOGIK BD. 2

Im 1983 erstmals erschienenen I. Band der Grundzuge der Logik ist das logische Argumentieren hauptsachlich in der Form des naturlichen Schliessens sowie der wichtigsten alternativen Logikverfahren dargestellt worden; Anwendung hat dieses Schliessen dort nur auf Urteile gefunden, die von den Elementen des Universums handeln und in diesem Sinn als konkret anzusehen sind. In diesem 2. Band wird das Argumentieren auch fur solche Aussagen entwickelt, die uber abstrakte Entitaten wie Eigenschaften, Klassen und Beziehungen sprechen. Im Anschluss daran wird die Identitatstheorie und die Klassenalgebra in ihren Grundzugen entwickelt. Die Logik der Relationen, die nicht nur in der Mathematik, sondern auch in den Einzelwissenschaften - von Quantenmechanik bis Sozialethik - zunehmend an Bedeutung gewinnt, wird in allen entscheidenden Details dargestellt. In ihrem Rahmen werden die Funktionstheorie, die Ordnungstheorie und die Verbandstheorie entwickelt. Ordnungszahlen, Kardinalzahlen, naturliche Zahlen und reelle Zahlen konnen dann in kanonischer Weise ordnungstheoretisch eingefuhrt werden. Den Abschluss bildet eine systematische Analyse der logisch-mathematischen sowie der semantischen Antinomien, wobei das Spektrum der Losungsmoglichkeiten dieser Grundlagenproblematik im Detail analysiert und die metalogischen Ergebnisse von Godel, Church u. a. skizziert werden. Im Anhang wird Godels neuer Gottesbeweis vorgetragen.