Logique classique, logique Brouwerienne et logique mixte. (Q1444434)

Verf. sucht aus der vorstehend referierten Arbeit von Barzin und Errera einen Ausweg, der den Intuitionismus retten soll. Er trifft aber genau wie diese am Intuitionismus vorbei. Auch bei ihm ist, wenn man davon absieht, keine klare Trennung des logischen vom axiomatischen Standpunkt vorhanden; er schlägt zunächst den zweiten Weg ein, geht ihn aber nicht folgerichtig zu Ende. Insbesondere ist nicht klar, warum er \(+ \alpha''\) (\(\alpha''\) bewiesen) \({}= \alpha'\) setzt. Verfasser entwickelt \textit{drei} verschiedene Logikkalküle. Siehe auch das nächstfolgende Referat.