Logicisme | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

Le logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général. Bertrand Russell et Alfred North Whitehead ont défendu cette approche, créée par le mathématicien Gottlob Frege. Le logicisme a joué un rôle clé dans le développement de la philosophie analytique au . Ivor Grattan-Guinness indique que le mot français « logicisme » a été « introduit par Couturat et d'autres en 1904 au Congrès mondial de philosophie», et a été utilisé par Russell et d'autres à partir de là, dans des versions appropriées à différents langages. » (G-G 2000: 501). Apparemment, la première (et seule) utilisation par Russell est apparue dans son ouvrage de 1919 (Introduction à la philosophie mathématique) : Russell s'y réfère plusieurs fois à Frege, le présentant comme "le premier qui a réussi à «logiciser» les mathématiques" (). Ce passage est remarquable pour le mot mis entre guillemets, qu'il n'a jamais utilisé de nouveau. Le mot « logicisme » n'a alors émergé que dans les années 1920 » (GG 2002: 434). Dans un même temps que Carnap (1929), mais apparemment indépendamment, Fraenkel (1928) a utilisé le mot: « Sans commentaire, il a utilisé le mot « logicisme » pour caractériser la position de Whitehead et Russell (dans le titre de la section , explications sur ) » (GG 2002: 269). Carnap a utilisé un mot légèrement différent 'Logistik'; (G-G 2002: 501). En fin de compte « la propagation est principalement due à Carnap, à partir de 1930. » (G-G 2000: 502). Louis Couturat, Bertrand Russell et Alfred North Whitehead ont soutenu cette théorie créée par Gottlob Frege. Gottlob Frege abandonna le projet après que Russell eut découvert un paradoxe mis en lumière par une contradiction dans la théorie naïve des ensembles. Russell et Whitehead continuèrent le projet dans leur ouvrage Principia Mathematica.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (54)

Cours associés (21)

Séances de cours associées (77)

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Logicisme

Fondements des mathématiques

Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».

EE-280: Electronics

Présentation des principaux composants de base de l'électronique. Analyse de circuits à base d'amplificateurs opérationnels. Introduction aux circuits logiques élémentaires. Principe de la conversion

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

HUM-251: Science and literature B

L'objectif de ce cours est d'étudier les différentes manifestations des mondes totalitaires dans la fiction. Plus précisément, nous regarderons comment les écrivains racontent l'aliénation de l'homme

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Philosophie de Mathématiques : Ontologie et Structures

Explore l'existence d'objets mathématiques, la vérité des propositions, et la connaissance à leur sujet, couvrant le platonisme, l'intuitisme, le structuralisme, le nominalisme, le logique et le formalisme.

Homogénéités et traductions

Explore les homothéties et les traductions en géométrie, en mettant l'accent sur la préservation de l'alignement et des distances.