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...
Related Subjects
Philosophy