- 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
- Les modèles et les idéalisations en physique
- Les expériences de pensée en physique
- Peut-on observer la matière noire ?
- Les simulations numériques
- Le temps en théorie de la relativité
- L'indéterminisme en mécanique quantique
- Y a-t-il des phénomènes émergents en physique ?
- La réduction inter-théorique en physique
- 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
1/ Philosophie de la psychologie:
La notion de sentience : science, philosophie et législation
Innéité et psychologie du développement
William James et la philosophie de la psychologie
Le canon de Morgan a-t-il une utilité?
2/ Philosophie des neurosciences:
Valeurs épistémiques et outils de recherche en neurosciences
Les neurosciences et la décomposition de la mémoire
3/ Philosophie de la psychiatrie:
Comprendre la recherche sur les addictions
4/ Philosophie générale des sciences:
La publication scientifique: usages et problèmes
- 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
- Explication et prédiction dans le cas des cancers
- 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