Travaux du IXe Congrès International de Philosophie

Volume 6, 1937

Logique et Mathématiques

Paul Bernays
Pages 104-110

Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung

I. Philosophie scientifique et Syntaxe logique. Nécessité d’une interprétation. — II. Logique et mathématique. La distinction kantienne : « analytique »-« synthétique » est remplacée par une distinction entre « formel » et « objectif ». Touchant ici la mathématique et la logique, on traite surtout du côté objectif : qui, en mathématique, consiste dans l’existence de rapports mathématiques, indépendants de la formulation en proposition, et dans la véri- ficabilité de lois arithmétiques ; en logique, dans le rapport implicite des termes et des principes à certains caractères de la réalité. — III. Arithmétique et géométrique sont distingués selon la considération du discret et du continu. Précision formelle des concepts mathématiques intuitifs. — IV. Pour la problématique des fondements. Réflexions et indications sur la situation présente des recherches.

Usage and Metrics
Dimensions
PDC