Experts en : Philosophie des mathématiques
MARQUIS, Jean-Pierre
Professeur titulaire
Mes recherches portent principalement sur des questions de logique, fondements des mathématiques et de la philosophie des mathématiques. Elles se découpent grossièrement en trois champs qui s'entrecoupent: la portée philosophique et les applications de la logique catégorique, les fondements des mathématiques dérivant de la théorie des catégories et, finalement, l'épistémologie et l'ontologie des mathématiques contemporaines.
ROY, Yves
Doctorant
- Aristote
- Éthique
- Philosophie grecque
- Métaphysique
- Logique
- Philosophie morale
- Philosophie des mathématiques
- Philosophie des sciences
- Fondements des mathématiques
- Histoire de la philosophie analytique
- Fondements de la physique
- Philosophie moderne
- Aristote, éthique, physique et métaphysique, délibération (bouleusis), décision (boulesis), choix délibéré (prohairesis), autosuffisance (autarkeia), dialectique, méthodes argumentatives et outils conceptuels aristotéliciens.
- Philosophie grecque et éthique fondamentale.
- Liberté humaine, responsabilité, acte volontaire.
- Temporalité, simultanéité et effectivité chez Aristote, en physique et logique moderne.
- Logique, informatique théorique, philosophie des mathématiques, thèorèmes de Godel, enumérabilité effective, computabilité, complexité.
- Philosophie analytique (théorie des actes de langage).
- Méthodes de conception logicielle, conceptualité et applications du paradigme orienté-objet.
- Patrons de conception (Design Patterns) et patrons architecturaux (Architectural Patterns), refactorisation et conception piloté par le domaine (Domain-Driven Design).
- Traitement de l'image (approche multirésolution et transformée en ondelettes, débruitage).
- Intelligence artificielle, philosophie computationelle, sciences cognitives.
- Moralité robotique, transparence, explicabilité et interrogeabilité des algorithmes d'apprentissage profond.
- Interprétations gadamérienne et heideggérienne d'Aristote.
- Collaboration multidisciplinaire, reproductibilité et partage des données.
- Neuroinformatique.