Die richtige Formel
Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm
1st Edition
Published on 2. May 2013
390 pages
978-3-11-032352-8 (ISBN)
Description
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.
More details
Other editions
Additional editions
Georg Brun
Die richtige Formel
Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm
Book
12/2003
1st Edition
De Gruyter
€89.95
Shipment within 7-9 days
Content
1 - Titel [Seite 3]
2 - Inhaltsübersicht [Seite 5]
3 - Einleitung [Seite 15]
4 - Teil I Adäquat formalisieren als ein Problem der Logik [Seite 23]
5 - 1 Logische Systeme in der modernen formalen Logik [Seite 23]
6 - 2 Das Problem des adäquaten Formalisierens und sein Ort in der Logik [Seite 54]
7 - 3 Deskriptive und normative Aspekte im Verhältnis Logik - Umgangssprache [Seite 69]
8 - Teil II Analysen zum Konzept der Formalisierung [Seite 83]
9 - 4 Logische Merkmale [Seite 83]
10 - 5 Aussagen als Gegenstand des Formalisierens [Seite 114]
11 - 6 Formeln als Resultate des Formalisierens [Seite 138]
12 - 7 Transparente Repräsentation [Seite 158]
13 - 8 Die Zuordnung von Formalisierungen zu Aussagen [Seite 175]
14 - Teil III Aspekte der Adäquatheit [Seite 188]
15 - 9 De Morgans Problem: Pferdeköpfe I [Seite 189]
16 - 10 Das Standardverfahren des Formalisierens und der Verbalisierungstest [Seite 194]
17 - 11 Korrekt formalisieren [Seite 207]
18 - 12 Adäquat formalisieren [Seite 235]
19 - 13 Verschieden formalisieren [Seite 296]
20 - 14 Adäquatheit, logische Form und Formalisierungsverfahren [Seite 356]
21 - Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen [Seite 362]
22 - Symbole [Seite 365]
23 - Literatur [Seite 367]
24 - Register [Seite 385]
2 - Inhaltsübersicht [Seite 5]
3 - Einleitung [Seite 15]
4 - Teil I Adäquat formalisieren als ein Problem der Logik [Seite 23]
5 - 1 Logische Systeme in der modernen formalen Logik [Seite 23]
6 - 2 Das Problem des adäquaten Formalisierens und sein Ort in der Logik [Seite 54]
7 - 3 Deskriptive und normative Aspekte im Verhältnis Logik - Umgangssprache [Seite 69]
8 - Teil II Analysen zum Konzept der Formalisierung [Seite 83]
9 - 4 Logische Merkmale [Seite 83]
10 - 5 Aussagen als Gegenstand des Formalisierens [Seite 114]
11 - 6 Formeln als Resultate des Formalisierens [Seite 138]
12 - 7 Transparente Repräsentation [Seite 158]
13 - 8 Die Zuordnung von Formalisierungen zu Aussagen [Seite 175]
14 - Teil III Aspekte der Adäquatheit [Seite 188]
15 - 9 De Morgans Problem: Pferdeköpfe I [Seite 189]
16 - 10 Das Standardverfahren des Formalisierens und der Verbalisierungstest [Seite 194]
17 - 11 Korrekt formalisieren [Seite 207]
18 - 12 Adäquat formalisieren [Seite 235]
19 - 13 Verschieden formalisieren [Seite 296]
20 - 14 Adäquatheit, logische Form und Formalisierungsverfahren [Seite 356]
21 - Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen [Seite 362]
22 - Symbole [Seite 365]
23 - Literatur [Seite 367]
24 - Register [Seite 385]
