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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.