Beweis des Tertium non datur. (Q571221): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / review text | |||
Mittels des im vorstehenden Referat erwähnten Axioms und der sonstigen Axiome und Schlußschemata der Beweistheorie einschließlich des logischen Auswahlaxioms wird zunächst ein Beweis dafür geführt, daß die ``Widerspruchsfreiheit'' einer Aussage ihre ``Richtigkeit'' impliziert. Das Tertium non datur wird dann eingeführt als die Formel \[ (x)\mathfrak{A}(x)\vee (Ex)\overline{\mathfrak{A}}(x), \] wobei die Aussage \(\mathfrak{A}(x)\) die Zahlenvariable \(x\) enthält; dieses Axiom drückt im Gegensatz zu den übrigen Axiomen der Logik, die ``sich ohne Schwierigkeit auf Definitionen unmittelbar zurückführen lassen'', eine neue inhaltliche Tatsache aus. Auf Grund einer Induktion nach der Zahl der in den Formeln auftretenden Allzeichen und unter wesentlicher Benutzung des vorstehend eingeführten Axioms wird die Formel des Tertium non datur als widerspruchsfrei erwiesen. Verf. bemerkt, daß die benutzte Methode sich auch auf den Fall der Funktionsvariablen und noch höherer Variablensorten ausdehnen läßt. | |||
Property / review text: Mittels des im vorstehenden Referat erwähnten Axioms und der sonstigen Axiome und Schlußschemata der Beweistheorie einschließlich des logischen Auswahlaxioms wird zunächst ein Beweis dafür geführt, daß die ``Widerspruchsfreiheit'' einer Aussage ihre ``Richtigkeit'' impliziert. Das Tertium non datur wird dann eingeführt als die Formel \[ (x)\mathfrak{A}(x)\vee (Ex)\overline{\mathfrak{A}}(x), \] wobei die Aussage \(\mathfrak{A}(x)\) die Zahlenvariable \(x\) enthält; dieses Axiom drückt im Gegensatz zu den übrigen Axiomen der Logik, die ``sich ohne Schwierigkeit auf Definitionen unmittelbar zurückführen lassen'', eine neue inhaltliche Tatsache aus. Auf Grund einer Induktion nach der Zahl der in den Formeln auftretenden Allzeichen und unter wesentlicher Benutzung des vorstehend eingeführten Axioms wird die Formel des Tertium non datur als widerspruchsfrei erwiesen. Verf. bemerkt, daß die benutzte Methode sich auch auf den Fall der Funktionsvariablen und noch höherer Variablensorten ausdehnen läßt. / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2555085 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:40, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Beweis des Tertium non datur. |
scientific article |
Statements
Beweis des Tertium non datur. (English)
0 references
1931
0 references
Mittels des im vorstehenden Referat erwähnten Axioms und der sonstigen Axiome und Schlußschemata der Beweistheorie einschließlich des logischen Auswahlaxioms wird zunächst ein Beweis dafür geführt, daß die ``Widerspruchsfreiheit'' einer Aussage ihre ``Richtigkeit'' impliziert. Das Tertium non datur wird dann eingeführt als die Formel \[ (x)\mathfrak{A}(x)\vee (Ex)\overline{\mathfrak{A}}(x), \] wobei die Aussage \(\mathfrak{A}(x)\) die Zahlenvariable \(x\) enthält; dieses Axiom drückt im Gegensatz zu den übrigen Axiomen der Logik, die ``sich ohne Schwierigkeit auf Definitionen unmittelbar zurückführen lassen'', eine neue inhaltliche Tatsache aus. Auf Grund einer Induktion nach der Zahl der in den Formeln auftretenden Allzeichen und unter wesentlicher Benutzung des vorstehend eingeführten Axioms wird die Formel des Tertium non datur als widerspruchsfrei erwiesen. Verf. bemerkt, daß die benutzte Methode sich auch auf den Fall der Funktionsvariablen und noch höherer Variablensorten ausdehnen läßt.
0 references