Über das Verhältnis der Logik zur Mathematik. (Q1448532)

Verf. stellt drei Auffassungen über das Verhältnis der Logik zur Mathematik nebeneinander: die \textit{logizistis}che, nach der die Mathematik völlig auf die Logik reduzierbar ist; die \textit{intuitionistis}che, daß die Logik erst auf der Mathematik ``beruht''; und die \textit{formalistis}che, nach der die Logik von der Mathematik unabhängig sei, die Mathematik andererseits zwar die Logik allenthalben verwende, aber sich nicht in Logik erschöpfe. Verf. versucht, die beiden ersten Thesen zu widerlegen; er entscheidet sich für die letzte.