Logique pour non-spécialistes - M1

Logique pour non-spécialistes

L’utilisation de méthodes formelles est souvent essentielle dans la philosophie des sciences des XXe et XXIe siècles. Le recours aux méthodes formelles facilite l'étude du raisonnement scientifique, de la méthode scientifique et de la représentation des connaissances scientifiques et de leur développement. Des méthodes formelles jouent aussi un rôle important dans de nombreuses disciplines scientifiques. Par exemple, on définit généralement les notions de théorie, de modèle, d’équivalence théorique, de loi de nature et de réduction d'une théorie scientifique à une autre, en faisant appel aux concepts et méthodes de la logique formelle. Ce cours vise à introduire les concepts et les techniques de base de la logique classique, sans présupposer de connaissances préalables en logique ou en mathématiques. Cela nous permettra ensuite d'aborder des sujets plus avancés qui sont pertinents pour la philosophie des sciences. Dans la dernière partie du cours, on présentera et expliquera des résultats métathéoriques importants de la logique classique, puis, en fonction du temps disponible, on présentera des logiques non classiques (comme par exemple la logique modale) et leurs propriétés fondamentales.

Informations sur l'espace de cours

Rattachements à l'offre de formation