- Naturalisme mathématique
- Connaissances mathématiques
- Preuves formelles et informelles
- Conceptions de la preuve à travers l'histoire de la pratique des mathématiques
- Engagement épistémologique et ontologique dans la philosophie des mathématiques
- idéalisations dans la notion de prouvabilité et computablité en logique et mathématiques
- Y a-t-il des phénomènes émergents en physique ?
- Peut-on observer la matière noire ?
- Les mathématiques peuvent-elles expliquer des phénomènes physiques ?
- Les voyages dans le temps sont-ils possibles ?
- Entre preuves et vérité
- Preuves et signification
- La théorie intuitionniste des types
- L’intuitionnisme
- L'induction chez Whewell
- Merton et la structure normative de la science
- La notion de répertoire et l'analyse des communautés de recherche
- Cajal, anatomiste et théoricien
- Douleur et réalisation multiple
- L'optogénétique comme outil scientifique
- Le concept de stress: définitions et usages
- Qu'appelle-t-on "intelligence" des plantes ?
- L'expérience de Rosenhan et la scientificité de la psychiatrie
- La nature du délire
- Explications non-causales dans les sciences de la nature
- Le "principe de clôture causale"
- L’usage du concept de vague dans les modèles causaux
- Le concept d’intelligence en biologie et psychologie
- La cécité au changement et à l’inattention (change blindness, inattentional blindness)
- L’ingénierie conceptuelle (Conceptual engineering)
- La confabulation en psychologie cognitive
- Les espaces conceptuels en psychologie cognitive, à partir des travaux de P. Gärdenfors
- Les espaces psychologiques introduits par R. Shepard
- L’exploration de la mémoire iconique, à partir de l’expérience de Sperling
- Analyse historique et/ou conceptuelle des concepts centraux de la cancérologie (e.g. microenvironnement tumoral, clone, cellules souches cancéreuses, évolution clonale, plasticité cellulaire, rechute, métastases, maladie résiduelle minimale, rémission)
- Les fondements théoriques des approches thérapeutiques contre le cancer (thérapies ciblées, médecine de précision, ciblage des cellules souches, ciblage du microenvironnement, immunothérapies, etc)
- La classification des cancers
- Analyse du concept de cellule souche
- Régénération (régénération des tissues, des cellules, thérapie régénérative, etc)
Possibilité pour les étudiants de passer du temps au labo.
- Histoire/philosophie des théories de l'évolution : hérédité des caractères acquis, lamarckisme/darwinisme, sélection naturelle, mécanismes évolutifs, théorie synthétique de l'évolution, etc.
- Théorie de l'histoire des sciences : présentisme, épistémologie historique, pluralisme, histoire contre-factuelle, normativité, etc.
- Histoire/philosophie de la biologie moléculaire : gène, expression génétique, régulation, école française, etc.
- Histoire/philosophie de la théorie cellulaire : atomisme, milieu intérieur, humorisme, embryogenèse, etc.
- Histoire de la biologie française (XIXe - XXe siècles) : Lamarck, Claude Bernard, Louis Pasteur, Jacques Monod, François Jacob, etc.
- Réductionnisme et anti-réductionnisme en biologie et cognition
- L’identité biologique
- Mécanisme et finalité dans les sciences de la nature
- Organisation, fonction et normes du vivant
- Approches intuitionnistes des fondements de la théorie des ensembles. (M1)
- Euclide vs Hilbert : une comparaison du point de vue de la géométrie. (M1 ou M2)
- Que peut apporter la vérification automatique des preuves à notre compréhension de la pratique mathématique ? (plutôt M2)
- La notion de conséquence logique d’un point de vue preuve-théorique. (M1)
- Qu’est-ce qu’une constante logique ? (M1)
- La logique du second ordre: problèmes d’ordre fondationnel. (M1)
- Les fondements logiques de la théorie du choix social. (M1)
- Fonctions calculables vs algorithmes. (M1 ou M2)
- Explications en mathématiques
- Explications non-causales
- Compréhension et explication
- Rapport entre causalité et grounding
- Grounding métaphysique et grounding dans les sciences
- La logique du grounding
- Les constantes logiques du point de vue de preuves explicatives
- Théorie de la preuve au-delà de la logique classique
- La logique épistémique dynamique et la théorie de la preuve