ISBN: 9783465033042

Dieses Buch stellt die mathematische Logik vom Kopf auf die Füsse. Logische Annahmen, die in ihr nur unausdrücklich gemacht werden, macht es ausdrücklich. Es erklärt, warum sie als Theori… Mehr…

Dieses Buch stellt die mathematische Logik vom Kopf auf die Füsse. Logische Annahmen, die in ihr nur unausdrücklich gemacht werden, macht es ausdrücklich. Es erklärt, warum sie als Theorie eines speziellen inhaltlichen deduktiven Schliessens aufgefasst werden sollte, und zeigt, dass ihre Leistungsfähigkeit systematisch überschätzt wird, wenn man sie als formale oder allgemeine Logik missversteht. Widerlegen lässt sich die längst geradezu klassisch gewordene Ansicht, "mathematische Logik" sei "nichts anderes als eine präzise und vollständige Formulierung der formalen Logik" (Kurt Gödel), nur durch einen Beweis, der zeigt, dass die mathematische Logik ein begrenzter und untergeordneter Teil der deduktiven Logik ist. Der Plan zu diesem Buch war der Plan, einen solchen Beweis zu liefern. Der Autor möchte zeigen, dass es einen begrenzten, übergeordneten Teil der deduktiven Logik gibt, der nicht von Wahrheits- oder Aussagefunktionen handelt, in dem aber Regeln aus Prinzipien abgeleitet werden, von denen (auch) die mathematische Logik Gebrauch machen muss. - Dieses Buch ist kein Lehrbuch, sondern es weist Irrtümer und Unkenntnisse nach, an denen es liegt, dass Lehr- und Fachbücher fehlen, welche die Prinzipen der formalen und mathematischen Logik in korrekter und präziser Weise erfassen, unterscheiden und verständlich machen. In logisch-semantischer Hinsicht wird dieses Buch eine Reihe von Ansichten, die an das Dogma der Gleichsetzung von formaler und mathematischer Logik geknüpft sind, einer kritischen Revision unterziehen. Diese Ansichten betreffen vor allem die Begriffe der logischen Form, der logischen Wahrheit und der Analytizität, die Unterscheidung zwischen generellen und singulären Termini, das Verhältnis zwischen dem Bivalenz-Prinzip und dem Satz vom ausgeschlossenen Dritten sowie die sogenannten Paradoxien der materialen und strikten Implikation. Das Buch besteht aus zwei Teilen: I. Analytischer Teil: Analyse logischer Sprachen II. Synthetischer Teil: Aufbau des logischen Funktionenkalküls aus Elementen der Syllogistik und wird durch drei Anhänge ergänzt. Bücher 23.6 cm x 15.7 cm x 2.7 cm mm , Klostermann, Taschenbuch, Klostermann<