Éthique - Philosophie - Esthétique
17250007 - Logique
Crédits ECTS | 4 |
---|---|
Volume horaire total | 18 |
Volume horaire CM | 18 |
Responsables
Formations dont fait partie ce cours
Contenu
Licence 3 - Semestre 6 - Année universitaire 2020-2021
Enseignant : Jean-Baptiste JOINET
Thème du cours : Introduction à la théorie des ensembles et aux théories ensemblistes de l'infini. Éléments de théorie de la classification (relations d’ordre, relations d’équivalence)
Présentation du cours :
Après un préambule historique (autour de Dedekind et Cantor), une présentation patiente du langage de la théorie des ensembles et des opérations et notions ensemblistes élémentaires est entreprise. L’antinomie de Russell et l’idée générale de son dépassement par la voie axiomatique et les problèmes qu’elle suscite sont abordées. À l’occasion de quelques exercices, les connaissances de Déduction naturelle acquises antérieurement sont mobilisées.
Dans une seconde partie, une introduction largement non formalisée (exemplifiée principalement de façon graphique) aux notions de relation d’ordre, relation d’équivalence (partition, quotient) fonction, de correspondance 1-1, de cardinal et d’ensemble infini (dénombrable ou non dénombrable) est proposée. Pour chacune de ces notions, les débats et enjeux philosophiques classiques sont présentés
Outre de nombreux aspects relevant de l’épistémologie des mathématiques et de l’histoire des débats fondationnels de la première moitié du XXe siècle, ce cours est selon les moments l’occasion d’une réflexion conceptuelle entre autres sur la notion d’axiome, sur l’infini, sur l’abstraction et la classification, sur les universaux, sur l’articulation entre logique et mathématiques.
Enseignant : Jean-Baptiste JOINET
Thème du cours : Introduction à la théorie des ensembles et aux théories ensemblistes de l'infini. Éléments de théorie de la classification (relations d’ordre, relations d’équivalence)
Présentation du cours :
Après un préambule historique (autour de Dedekind et Cantor), une présentation patiente du langage de la théorie des ensembles et des opérations et notions ensemblistes élémentaires est entreprise. L’antinomie de Russell et l’idée générale de son dépassement par la voie axiomatique et les problèmes qu’elle suscite sont abordées. À l’occasion de quelques exercices, les connaissances de Déduction naturelle acquises antérieurement sont mobilisées.
Dans une seconde partie, une introduction largement non formalisée (exemplifiée principalement de façon graphique) aux notions de relation d’ordre, relation d’équivalence (partition, quotient) fonction, de correspondance 1-1, de cardinal et d’ensemble infini (dénombrable ou non dénombrable) est proposée. Pour chacune de ces notions, les débats et enjeux philosophiques classiques sont présentés
Outre de nombreux aspects relevant de l’épistémologie des mathématiques et de l’histoire des débats fondationnels de la première moitié du XXe siècle, ce cours est selon les moments l’occasion d’une réflexion conceptuelle entre autres sur la notion d’axiome, sur l’infini, sur l’abstraction et la classification, sur les universaux, sur l’articulation entre logique et mathématiques.
Bibliographie
Un polycopié est mis à disposition des étudiants inscrits au début du semestre.
Renseignements pratiques
Faculté de Philosophie
Adresse postale :
1C avenue des Frères Lumière
CS 78242
69372 Lyon Cedex 08
Courriel
Sur Internet
Adresse postale :
1C avenue des Frères Lumière
CS 78242
69372 Lyon Cedex 08
Courriel
Sur Internet
Mise à jour : 8 décembre 2020