- 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é : la réalisabilité récursive.
- Preuves et signification : de la logique intuitionniste à la logique classique.
- La théorie intuitionniste des types : calculs et sémantique.
- L’intuitionnisme : une révolution conservatrice
- 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
- La métaphysique des sciences
- Équations structurelles et modèles causaux
- L’usage du concept de vague dans les modèles causaux
- Dépendance et explication non-causale dans les sciences de la nature
- Le principe de « clôture causale » (causal closure)
- Espèces naturelles et propriétés naturelles
- Pouvoirs causaux et lois de la nature (problem of fit)
- L’identité diachronique dans les sciences
- La fondation (grounding) en métaphysique des sciences de la nature
- La cécité au changement et à l’inattention (change blindness, inattentional blindness)
- Les espaces conceptuels en psychologie cognitive, à partir des travaux de R. Shepard et P. Gärdenfors
- La mémoire iconique, à partir des expériences de G. 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.
- 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