Completed projects

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)

Métaphysique de la science : niveaux, individus et dispositions à l’aune de la science actuelle - Métascience

Responsable (s) KISTLER Maximilian

Pages