Rôle des espaces abstraits en logique, stabilité des propositions, légalité et semi-légalité. (Q2610746)

Verf. hat im Anschluß an \textit{G. Bouligand} [C. R. Acad. Sci., Paris, 200, 1509--1511 (1935; JFM 61.0057.01); Acad. Belgique, Bull. Cl. Sci. (5) 21, 277--282 (1935), 21, 776--779 (1935; JFM 61.0057.02) die Stabilität einer Aussage \(q_0\) in bezug auf eine Voraussetzung \(p_0\) nebst gewissen verwandten Begriffen definiert [C. R. Acad. Sci., Paris, 201, 182--184 (1935; JFM 61.0057.03); Acad. Belgique, Bull. Cl. Sci. (5) 21, 780--786 (1935; JFM 61.0977.03)]. In vorliegender Arbeit werden die Definitionen nochmals ausgesprochen und dann auseinandergesetzt (was in den früheren Arbeiten nicht klar genug hervorgehoben wurde), daß diese Begriffe relativ sind in bezug auf die Aussagenmengen, denen \(p_0\) bzw. \(q_0\) angehören sollen, in bezug auf einen Umgebungsbegriff in diesen Mengen, ferner in bezug auf eine Funktion, die speziell \(p_0\) die Aussage \(q_0\) zuordnen soll. -Es folgen dann gewisse Definitionen über eindeutige Zuordnungen \(q=f (p)\) von Aussagen zu Aussagen. Unter Zugrundelegung einer dreiwertigen Logik nennt Verf. die Zuordnung \textit{halbgesetzmäßig} bzw. \textit{gesetzmäßig}, falls für ein wahres \(p\) der logische Wert von \(q\) stets eindeutig bestimmt bzw. stets entweder wahr oder falsch ist. Wird eine Logik mit einer Menge von logischen Werten von der Mächtigkeit des Kontinuums zugrunde gelegt, so nennt Verf. die Zuordnung \textit{einfach-stochastisch} bzw. \textit{stochastisch}, falls der logische Wert von \(q\) eindeutig bestimmt ist, sooft der logische Wert von \(p\) wahr ist bzw. gegeben ist. Es folgen einige weitere Definitionen (wobei statt \(p\) eine unendliche Folge von Aussagen betrachtet wird), aber keine Anwendungen, obwohl Verf. behauptet, diese Begriffe seien von größter Wichtigkeit für die Kontinuitätsphysik, Wellenmechanik usw. Es sei bemerkt, daß das Wort ``Aussage'' offenbar in inhaltlichem Sinne zu verstehen ist; dann ist es aber nicht klar, in welchem Sinne den Aussagen logische Werte einer dreiwertigen Logik zukommen (die kontinuierlichen logischen Werte werden mit den Wahrscheinlichkeiten identifiziert).