Frage von A1234R, 41

Was ist Kalkül des natürlichen Schließens ?

Antwort
von Franz1957, 27

Schau mal hier: https://de.wikipedia.org/wiki/Systeme\_nat%C3%BCrlichen\_Schlie%C3%9Fens

Die Idee dahinter war die, daß Mathematiker bei Schließen anders vorgehen, als die Logik-Lehrbücher es vormachen:

Mein erster Gesichtspunkt war folgender: Die Formalisierung des logischen Schließens, wie sie insbesondere durch Frege, Russell und Hilbert entwickelt worden ist, entfernt sich ziemlich weit von der Art des Schließens, wie sie in Wirklichkeit bei mathematischen Beweisen geübt wird. […] Ich wollte nun zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahekommt. So ergab sich ein „Kalkül des natürlichen Schließens“.


Keine passende Antwort gefunden?

Fragen Sie die Community