Intuitionnisme et théorie de la démonstration

Includes French translations of two previously published Brouwer articles : "Intuitionistische Mengenlehre," Koninklijke Nederlandse Akademie van Wetenschappen in Amsterdam proceedings, 23, 1922 and "Points and Spaces," Canadian journal of mathematics, 6, 1954.

Intuition et intuitionisme

Les positivistes concoivent les theories scientifiques comme des agences de symboles sans interpretation directe, qui fournissent des moyens de predire et d'agir. Les philosophes ont une excuse s'ils dedaignent les sciences, car en quoi des formalismes vides, qui ne disent rien sur la nature, les concernent-il? Ces langages vides seront laisses aux specialistes qui les construisent et les emploient. La reaction anti-scientiste la plus remarquable eut lieu au tournant du siecle (Boutroux, Meyerson ...). Ces philosophes de tendance realiste n'ont pas ose rompre avec les presupposes de l'idealisme. Contrairement a ce qu'ils croient, l'identite est d'abord dans l'objet, ou, comme disent certains, dans l'Etre . Les necessites de pensee inherentes a chaque attitude philosophique possible, excluent qu'une metaphysique realiste fasse une part a l'idealisme. Boutroux et Meyerson sont oublies, le positivisme survit, il procure une espece d'infaillibilite. Assurer la coherence est plus facile qu'atteindre la verite et la signification. La science renferme des moyens d'approfondissement conceptuel qui conduisent normalement a une connaissance de choses. L'auteur le montre a l'aide d'exemples qui se rapportent a la problematique de la causalite et du determinisme.

Systèmes de la nature

Intuitionnisme et intuitionnistes

Énigmes et controverses : quelques problèmes en théorie de la connaissance

A côté de la logique dite classique, extension immédiate de la syllogistique d'Aristote, se sont introduits des systèmes plus riches en pouvoir d'expression où la validité de certaines lois est suspendue, des systèmes à plus de deux valeurs, d'autres où des opérations modales s'ajoutent à la structure. L'auteur a indiqué brièvement les principales directions suivant lesquelles la logique s'est développée, en guidant la curiosité des lecteurs vers les manuels et ouvrages spécialisés mentionnés en bibliographie.

La logique

L'intuitionisme

Il est devenu si courant aujourd’hui de parler des logiques qu’on ne sait bien souvent plus ce qu’est la logique. Cet ouvrage donne à comprendre cette discipline en décrivant le genre de questions que se posent ou que se sont posées les logiciens, le genre de certitudes qu’ils ont acquises et la variété des projets qui animent leurs recherches.S’il expose avec clarté les bases de la logique contemporaine et ses origines historiques, l’auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles directions, comme l’étude des structures syntaxiques et sémantiques des langues naturelles, l’informatique théorique, l’intelligence artificielle, la théorie des jeux, l’analyse dynamique des croyances et de la connaissance, ou encore les sciences cognitives.

Intuitionnisme et théorie de la démonstration

Plus de livres de Jean Largeault

Critiques

Ce livre n'a pas encore de critiques