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

...komplette Frage anzeigen

1 Antwort

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“.


Was möchtest Du wissen?