Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Einsetzen: in einer Formel kann ein Symbol unter bestimmten Voraussetzungen für ein anderes Symbol eingesetzt werden. Bsp Wird eine Konstante für eine Variable eingesetzt, wird aus einer Aussagenfunktion eine Aussage. Siehe auch Ersetzen, Ersetzbarkeit, Substitution, Allgemeingültigkeit, Gültigkeit, Aussage, Aussagenfunktion, Feinkörnig/grobkörnig, Logische Formeln, Formeln.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

D. Hilbert über Einsetzen – Lexikon der Argumente

Berka I 113
Ableitung/Einsetzen/"Beweisfäden"/Hilbert: Jede Ableitung lässt sich in Beweisfäden auflösen, d.h. man beginnt mit der Endformel durch Anwendung der Schemata (α),(β), (...).
>Ableitung
, >Ableitbarkeit.
I 114
Pointe: So kann man durch die Auflösung einer Ableitung in Beweisfäden die Einsetzungen in die Ausgangsformeln zurückverlegen.
Einsetzen/Einsetzungsregeln/Variablen/Beweisfäden/Hilbert: Durch die Zurückverlegbarkeit der Einsetzungen (durch Beweisfäden) können wir ohne Einsetzungsregeln auskommen. Denn wir können aus der Ableitung von Formeln die keine Formelvariable enthalten, die Formelvariablen gänzlich ausschalten, sodass die formal deduktive Behandlung axiomatischer Theorien ganz ohne Formelvariablen erfolgen kann.
>Beweise, >Beweisbarkeit.
Hilbert: Dabei wird die Regel, dass identische Formeln des Aussagenkalküls als Ausgangsformeln zugelassen sind, dahin modifiziert, dass jede aus einer identischen Formel des Aussagenkalküls durch Einsetzung hervorgehende Formel als Ausgangsformel zugelassen ist.
Beweisfäden/(s): Die Einsetzungsregel wird auch dadurch überflüssig, dass man im Verlauf das praktische Einsetzen studieren kann. D.h. jeder Fall ist dokumentiert, also braucht man keine Regel für nicht aktuelle Fälle.
Hilbert:
An die Stelle der Grundformel:

(x)A(x) > (A(a) tritt (x)A(x) > A(t)

und an die Stelle von:

(Ex)A(x) tritt A(t) > (Ex)A(x)

t: Term.
Formeln: D.h. an die Stelle von Formeln treten Formelschemata.
Axiome: An die Stelle von Axiomen treten Axiomenschemata.
In den Axiomenschemata sind die vorherigen freien Individuenvariablen durch Bezeichnungen von willkürlichen Termen und in den Formelschemata sind die vorherigen Formelvariablen durch Bezeichnungen willkürlicher Formeln ersetzt.(1)
>Beweise, >Beweisbarkeit, >Axiome, >Axiomensysteme.


1. D. Hilbert und P. Bernays: Grundlagen der Mathematik, I, II Berlin 1934-1939 (2. Aufl. 1968-1970).

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z