Introduction à la logique formelle 1 : calcul des propositions. Syntaxe, sémantique, preuve. Déduction naturelle. Histoire et philosophie de la logique
Compétences à acquérir
Problématiser, conceptualiser et argumenter un sujet philosophique dans une langue aisée, claire et rigoureuse, qu'il s'agisse de présentations orales ou écrites. • Mobiliser les méthodes et outils de l'analyse critique des textes philosophiques
Mobiliser des outils conceptuels et théoriques pour examiner les questions concrètes auxquelles sont confrontées les sociétés contemporaines
Identifier, sélectionner et analyser avec esprit critique diverses ressources dans son domaine de spécialité pour documenter un sujet et synthétiser ces données en vue de leur exploitation
Identifier dans un texte ou dans la démarche argumentative d'une discussion les éléments relevant de l'histoire des idées, des sciences et connaissances pour procéder à leur analyse en les contextualisant.
