Deutsche Hochschulschriften - 1227: Die richtige Formel
Mehr zum Buch
Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Damit die formalen 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 an-wendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Lo-gik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus diskutiert. Die aus-führliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern.
Buchkauf
Deutsche Hochschulschriften - 1227: Die richtige Formel, Georg Brun, Volker Halbach, Holger Sturm, Alexander Hieke, Hannes Leitgeb
- Sprache
- Erscheinungsdatum
- 2003
- Einband
- (Hardcover)
Keiner hat bisher bewertet.
- Titel
- Deutsche Hochschulschriften - 1227: Die richtige Formel
- Sprache
- Deutsch
- Autor*innen
- Georg Brun, Volker Halbach, Holger Sturm, Alexander Hieke, Hannes Leitgeb
- Verlag
- Hänsel-Hohenhausen
- Erscheinungsdatum
- 2003
- Einband
- Hardcover
- Seitenzahl
- 393
- ISBN10
- 3826712277
- ISBN13
- 9783826712272
- Reihe
- Kategorien
- Schlagwörter
- Logik
- Beschreibung
- Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Damit die formalen 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 an-wendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Lo-gik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus diskutiert. Die aus-führliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern.