Logique et philosophie des sciences: nouvelles perspectives – Logiscience

Ce projet de philosophie des sciences a pour objectif d'apporter une nouvelle réponse à la question traditionnelle : qu'est-ce que la logique et quel est son rapport aux autres sciences ? Les développements les plus récents de la logique modifient en effet de manière significative son rapport au reste de la science et justifient une recherche sur cette question fondamentale, dans une double dimension: conceptuelle (comment la logique se définit-elle aujourd'hui ?) et historique (comment les empiristes logiques ont-ils conçu l'idée d'une logique de la science ? Quelles sont ses origines et sa postérité ?) - La recherche d'une nouvelle philosophie de la logique et d'une nouvelle définition de son rapport à la science part de 3 constats: 1) Longtemps tournée vers le problème du fondement des mathématiques, la logique a d'abord connu un premier tournant, informatique et linguistique, puis est entrée, depuis une vingtaine d'années, dans nouvelle phase (tournant dynamique et cognitif) qui transforme son interaction avec les autres sciences. La question d'une épistémologie de la logique et des sciences formelles revient au premier plan. 2) Alors que l'historicisme et la sociologie des sciences sont réputés avoir sonné le glas de l'empirisme logique et des approches logiques de la science, l'application de la logique à la méthodologie scientifique connaît actuellement un profond renouvellement. On redécouvre l'intérêt des approches formelles pour des questions classiques : logique du changement scientifique, logique inductive, abduction, déflationnisme, etc. 3) Depuis une quinzaine d'années, l'empirisme logique fait l'objet d'une redécouverte, qui concerne notamment la logique de la science (que les empiristes logiques ont largement contribué à promouvoir) : la recherche porte à la fois sa formulation canonique dans les années 30, et sur la période antérieure aux théorèmes d'incomplétude (1931). De fait, une connaissance précise de ce qui a été conçu comme une logique de la science, à certains moments cruciaux de la constitution de la logique moderne, se révèle particulièrement éclairante pour une compréhension de ce qu'est la logique contemporaine dans sa version la plus récente. - Pour parvenir à une nouvelle compréhension de ce que sont aujourd'hui la logique et son rapport à la science, nous répartirons les travaux en quatre pôles transversaux : Pôle 1 : épistémologie de la logique et des sciences formelles Pôle 2 : application de la logique à la méthodologie scientifique Pôle 3 : examen d'une question métathéorique particulière: le problème du déflationnisme Pôle 4 : l'empirisme logique et les approches logiques de la science : origines et postérités. - D'un point de vue méthodologique, l'œuvre de Carnap fournit un point d'entrée particulièrement adéquat pour chacun des quatre pôles. Ses travaux témoignent en effet abondamment de la pertinence de sa pensée pour chacune des questions qu'on vient de distinguer. Mais ce que nous proposons n'est pas une simple exégèse de son œuvre. Il s'agit au contraire de partir des problèmes qu'il a soulevés afin de montrer quelle est leur actualité. Nous proposerons ainsi une lecture originale de son œuvre qui servira de référence commune dans l'examen des problèmes philosophiques que soulève la philosophie contemporaine. Elle contribuera à l'unité, la cohérence et l'articulation du projet dans son ensemble. - Plus concrètement, parmi les opérations que nous entendons mener, on pourra distinguer : 1) Un travail de fond effectué dans 3 séminaires distincts. 2) Des opérations ponctuelles (journées d'étude) organisées à des moments précis ainsi qu'un colloque final. 3) Des missions à l'étranger (États-Unis, Angleterre, Allemagne) qui auront pour but : i) de collaborer avec les meilleurs spécialistes ; ii) d'accéder aux archives de philosophie scientifique ; iii) de prolonger ou d'établir des coopérations internationales avec les meilleures équipes ; iv) une reconnaissance de nos travaux au nivea