Die formalen Regeln der intuitionistischen Logik. I, II, III. (Q1830451)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Die formalen Regeln der intuitionistischen Logik. I, II, III. |
scientific article |
Statements
Die formalen Regeln der intuitionistischen Logik. I, II, III. (English)
0 references
1930
0 references
Verf. entwickelt hier ein formales System der intuitionistischen Logik. Dabei ist er sich von vornherein darüber klar, daß er mit dem Aufbau eines solchen Formelsystems dem Wesen der intuitionistischen Mathematik insofern nicht gerecht wird, als ja die intuitionistische Mathematik kein Formelsystem, überhaupt keine Sprachtätigkeit ist, sondern eine Denktätigkeit oder besser noch ein Lebensakt etwa von der Art einer Bergbesteigung, bei der man sich doch auch nicht von vornherein auf bestimmte Besteigungsregeln festlegt (siehe \textit{L. E. J. Brouwer}; Monatshefte 36 (1929), 153-164; F. d. M. \(55_{\text{I}}\), 28). Das vom Verf. aufgebaute System ist demnach, um im Bilde zu bleiben, ein System von Verhaltungsmaßregeln bei Bergbesteigungen, das jedoch zu nichts verpflichtet, und das ebensowenig den Begriff der Bergbesteigung implizit definiert, sondern erst sinnvoll wird, wenn man den sprachlichen Anweisungen sinnvolle Lebensäußerungen unterlegt. Teil I der vorliegenden Arbeit behandelt den Aussagenkalkül, Teil II den Funktionenkalkül und die Theorie der natürlichen Zahlen; Teil III führt in die eigentliche intuitionistische Mathematik hinein, denn dort werden die Wahlfolge, die Menge und die Spezies erklärt (siehe \textit{L. E. J. Brouwer}; Math. Ann. 93 (1925), 244-267. F. d. M. 51, 164 (JFM 51.0164.*)). Dieser Teil ist daher der wesentlichste der Arbeit. Ganz unabhängig von dem entwickelten formalistischen System kommt ihm eine große Bedeutung zu; einmal weil hier die Grundbegriffe der intuitionistischen \textit{Mathematik} mit einer Klarheit entwickelt werden, deren nur die formale Sprache fähig ist; zum andern, weil nicht häufig genug betont werden kann, daß sich der Intuitionismus nicht in einer Negation des Satzes vom ausgeschlossenen Dritten erschöpft. Teil I: \S~1 enthält die Operationsregeln des Aussagenkalküls, d. h. die Regeln, nach denen man aus \textit{richtigen} Formeln (Zeichen \(\vdash\)) richtige Formeln herstellt, ausgehend von den \textit{Axiomen} (\(\vdash\vdash\)); zu diesen Regeln gehört der \textit{Syllogismus} (\(\supset\)) und die \textit{Definition} (\(\overline{\overline{D}}\)). \S~2 bringt die Axiome und wichtigsten Sätze für \(\supset\), \(\wedge\) (\textit{und}), \(\overline{\overline{D}}\) und einige andere Konstanten. In \S~3 kommt die Konstante \(\vee\) (\textit{oder}), in \S~4 die Konstante \(\neg\) (\textit{nicht}) hinzu. Anhangsweise wird im Anschluß an \textit{Bernays} die Unabhängigkeit der Axiome bewiesen, insbesondere die Unbeweisbarkeit des Satzes vom ausgeschlossenen Dritten. Teil II: Verf. schließt sich an \textit{Hilbert-Ackermann} an; jedoch sind hier die Abweichungen vom Herkömmlichen stärker als im Teil I. Aus dem Intuitionismus ergibt sich die Notwendigkeit, wie im ersten Teil, den Satz vom ausgeschlossenen Dritten, so hier die Verknüpfung zwischen (\(x\)) und (\(Ex\)) (\textit{alle} und es \textit{gibt}), wegzulassen. Darüber hinaus macht Verf. keinen Unterschied zwischen Aussagen- und Funktionsvariabeln und behandelt bereits konstante Aussagen immer als konstante Funktionen. Schließlich führt er das Zeichen \(\dbinom{p}{x} a\) (\textit{das, was aus \(a\) beim Ersetzen der Variablen \(x\) durch die Zeichezusammenstellung \(p\) entsteht}) ein. \S~5 enthält wieder die Operationsregeln, d. h. die Regeln, nach denen man aus \textit{Ausdrücken} herstellt, ausgehend von den richtigen Formeln. Hier treten außer den logischen Zeichen die Zeichen (\(x\)), (\(Ex\)), \(\dbinom{p}{x}\), \(\overline{\equiv}\) (\textit{ist dasselbe Ding wie}) auf. In \S~6 werden Axiome und Sätze des Aussagenkalküls entwickelt, in \S~7 werden Zeichen für Beziehungen zwischen Gegenständen eingeführt: \(\varepsilon\) (\textit{ist ein}), ' (\textit{x'p, das \(x\) von \(p\)}). \S~8 und 9 existieren nicht, \S~10 enthält die Theorie der natürlichen Zahlen aus den \textit{Peano}schen Axiomen. Teil III: \S~11 bringt vorbereitende Bemerkungen, in \S~12 wird das \textit{Wählzeichen} \(\sigma p\tau q\) (aus der Spezies \(q\) wird das Element \(p\) ausgewählt) eingeführt. Die Spezies der \textit{erlaubten} \textit{Wahlen} ist jedoch bereits in \S~11 definiert (Bezeichnung \(L\)). Verf. formuliert dort auch in der gewöhnlichen Sprache die \textit{Brouwer}sche Definition: (1) Jede endliche Zahlenfolge gehört oder gehört nicht zu \(L\); (2) \(L\) enthält zu jedem seiner Elemente wenigstens eine Fortsetzung; (3) jedes Element von \(L\), das mehr als eine Zahl enthält, ist unmittelbare Fortsetzung eines Elementes von \(L\). An diese Definition könnte die Mengendefinition (\S~13) unmittelbar anknüpfen; zur Definition des Mengenelements (\S~13) ist aber das. Wahlzeichen (\S~12) nötig. In \S~13 werden ferner für Mengen und Elemente die Begriffe \(\overline{\equiv}\) (siehe unser Referat Teil II) und \(\equiv\) (\textit{mathematische Identität}, die jeweils von Neuem zu definieren ist) erklärt. Im Anschluß an eine Mitteilung von \textit{Brouwer} wird die \textit{Mengenspezies} eingeführt und damit eine Definition der Begriffe \textit{Spezie}s und \textit{Identität} \textit{von} \textit{Spezie}s ermöglicht, die einen der ursprünglichen \textit{Brouwer}schen Definition anhaftenden Mangel vermeidet. In \S~16 werden für Spezies Begriffe wie \textit{Herausragen}, \textit{Kongruenz}, \textit{Elementefremdheit} definiert und auf diese Begriffe bezügliche Sätze bewiesen.
0 references