Prädikatenlogik ohne gebundene Variablen

Jürgen Bartnick (Autor)

Buch | Softcover

1980
Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften
978-3-8204-6810-6 (ISBN)

Artikel merken

Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes über den menschlichen Geist zu brechen (Frege), dann ist zu fragen, ob die Prädikatenlogik die Wörter "für alle" und "es gibt" angemessen formalisiert. Übersetzt man "alle Menschen sind sterblich" mit "für alle x : wenn x ein Mensch ist, dann ist x sterblich", so hat man zwar die Syllogistik des Aristoteles überwunden, dafür tritt jetzt aber eine Variable x auf, die in der Aussage vorher nicht vorkam.

Aus dem Inhalt: Verbindung zwischen algebraischer und kombinatorischer Logik - Prädikatenlogik mit und ohne Gleichheitszeichen - Angabe von Kalkülen.

Die Besonderheit ist der Komprehensionsoperator des Verfassers. Lesenswert wird die Schrift auch durch die vielfachen Querverbindungen, die der Verfasser zu den alternativen Ansätzen zieht.
(Mathematical Reviews)

Erscheinungsdatum	11.02.2017
Reihe/Serie	Europäische Hochschulschriften / European University Studies / Publications Universitaires Européennes ; 61
Verlagsort	Berlin
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	140 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik
Schlagworte	Bartnick • Gebundene • Jürgen • ohne • Prädikatenlogik • Variablen
ISBN-10	3-8204-6810-2 / 3820468102
ISBN-13	978-3-8204-6810-6 / 9783820468106
Zustand	Neuware