Projets achevés

Modélisation logique
Responsable (s) SANDU Gabriel
Histoire de la calculabilité
Responsable (s) BOURDEAU Michel
Édition des oeuvres de L.E.J. Brouwer
Responsable (s) VAN ATTEN Mark
Connaissance, révisions, preuves et théories du changement scientifique
Responsable (s) DUBUCS Jacques
Chaire internationale de recherche Blaise Pascal
Responsable (s)
Hypothetical Reasoning
Responsable (s) BOURDEAU Michel
Logic for interaction
Responsable (s) SANDU Gabriel
Nominalisations : perspectives philosophiques et linguistiques
Responsable (s) MOLTMANN Friederike
The Action-Product Distinction and its Importance in Speech Act Theory and Social Ontology
Responsable (s) MOLTMANN Friederike
Ontological Structure and Semantic Structure
Responsable (s) MOLTMANN Friederike
Logic, computation, and normativity
Responsable (s) WAGNER Pierre
Explanation law and causality
Responsable (s) DUBUCS Jacques
Foundphys
Responsable (s) BACCIAGALUPPI Guido
TOPEX - People programme (Marie Curie Actions) of the European Union H2020-MSCA-IF-2015
Responsable (s) KOSTIC Daniel
Métaphysique de la science : niveaux, individus et dispositions à l’aune de la science actuelle - Métascience
Responsable (s) KISTLER Maximilian

Pages