:
Georg Brun
:
Die richtige Formel Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm
:
Walter de Gruyter GmbH& Co.KG
:
9783110323528
:
LogosISSN
:
1
:
CHF 76.80
:
:
390
:
Wasserzeichen
:
PC/MAC/eReader/Tablet
:
PDF
Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern.
Titel 3 Inhaltsübersicht 5 Einleitung 15 Teil I Adäquat formalisieren als ein Problem der Logik 23 1 Logische Systeme in der modernen formalen Logik 23 2 Das Problem des adäquaten Formalisierens und sein Ort in der Logik 54 3 Deskriptive und normative Aspekte im Verhältnis Logik – Umgangssprache 69 Teil II Analysen zum Konzept der Formalisierung 83 4 Logische Merkmale 83 5 Aussagen als Gegenstand des Formalisierens 114 6 Formeln als Resultate des Formalisierens 138 7 Transparente Repräsentation 158 8 Die Zuordnung von Formalisierungen zu Aussagen 175 Teil III Aspekte der Adäquatheit 188 9 De Morgans Problem: Pferdeköpfe I 189 10 Das Standardverfahren des Formalisierens und der Verbalisierungstest 194 11 Korrekt formalisieren 207 12 Adäquat formalisieren 235 13 Verschieden formalisieren 296 14 Adäquatheit, logische Form und Formalisierungsverfahren 356 Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen 362 Symbole 365 Literatur 367 Register 385
