Qu’est-ce qu’un bon argument ? Qu’est-ce qu’une preuve et comment peut-on en réaliser une ? Que sont la vérité et la conséquence logique ?
L’étude de la logique formelle permet d’apporter des réponses à ces questions théoriques fondamentales et à d’autres auxquelles tout philosophe sérieux est confronté. Mais étudier la logique, c’est aussi apprendre des astuces dans un jeu compliqué où chaque nuance compte. Pratiquer la logique, c’est également élargir ses capacités de raisonner correctement et acquérir certaines vertus intellectuelles cruciales, comme la clarté, la précision, la patience et le sentiment que le diable – mais aussi Dieu – se cache dans les détails.
Longtemps considérée comme une branche exclusivement philosophique, la logique est aujourd’hui au carrefour de plusieurs disciplines, parmi lesquelles les mathématiques, l’informatique et la linguistique.
Ce proséminaire offre une première introduction à la logique classique des propositions et des prédicats, constituant une première étape essentielle dans l’exploration de la logique contemporaine.
Training objectives
Maîtriser les notions de base de la logique classique des propositions et des prédicats, à la fois d’un point de vue théorique (définitions et règles) et d’un point de vue pratique (preuves, formalisations, analyse et évaluation d’arguments).
Comments
Les cours ex cathedra du proséminaire sont intégrés, d’un côté, par les notes de cours mises à disposition chaque semaine par l’enseignant et, de l’autre, par les séances de tutorat.
Les étudiants BA (domaine I : Philosophie) de langue française sont tenus de suivre ce proséminaire.
(Das Logikproseminar für die deutschsprachigen Studierenden findet im akademischen Jahr 2026/27 statt).
Evaluation
L’évaluation est déterminée par deux facteurs : la participation active au proséminaire, incluant la remise régulière des exercices et au moins deux mini-tests in itinere (3 ECTS) + un examen écrit final (3 ECTS).
- Teacher: Paolo Natali