Metakritik der Formalen Logik: Sinnliche Gewissheit als Horizont der Aussagenlogik und elementaren Prädikatenlogik

Die Logik, einst Grundbestand der Philosophie, hat sich in unserem J ahrhundert zu einer selbstandigen Wissenschaft ent- 1 wickelt. Sie wird zur Abgrenzung gegeniiber friiheren Gestalten "neue Logik" oder "moderne Logik" genannt; auch sind Be- zeichnungen wie "theoretische Logik", "mathematische Logik", "symbolische Logik", "formale Logik", "Logistik" gebrauch- 2 lich, urn die Eigenart der grundlegenden Methoden anzudeuten. Die genannten Benennungen werden in dieser Arbeit gleichbe- rechtig...