<- Archives UCL - Programme d'études ->



Logique [ LFILO1250 ]


4.0 crédits ECTS  45.0 h + 15.0 h   2q 

Enseignant(s) Degauquier Vincent ;
Langue
d'enseignement:
Français
Lieu de l'activité Louvain-la-Neuve
Préalables

/

Thèmes abordés

Les notions intuitives de loi logique et de raisonnement valide (les définir à l'aide des notions d'énoncé, de modèle et de vérité).

La théorie de la démonstration.

L'équivalence des deux approches quant au résultat

Acquis
d'apprentissage

L'étudiant maîtrisera les notions de base de la logique: extension et "intension" d'un concept, vérité d'un jugement, loi logique et contradiction, correction d'un raisonnement. Il aura acquis une pratique de quelques techniques qui permettent d'appliquer ces notions, comme celles qui établissent la validité des raisonnements

Modes d'évaluation
des acquis des étudiants

L'évaluation consiste en un unique examen portant à la fois sur les problématiques philosophiques qui ressortissent à la discipline logique et sur les outils techniques qu'elle se donne pour y répondre.

Méthodes d'enseignement

/

Contenu

Ce cours traite de la logique contemporaine. L'investigation logique distingue habituellement deux approches. L'approche sémantique, dont les concepts fondamentaux sont ceux de modèle et de vérité, concerne la validité des raisonnements. L'approche déductive, qui repose ultimement sur les concepts d'axiome et de règle d'inférence, concerne la démonstrabilité des raisonnements. L'objectif de ce cours réside dans l'examen des concepts propres à ces deux approches ainsi que dans l'appréhension de la notion de raisonnement tant du point de vue de la validité que du point de vue de la démonstrabilité. L'étude des théorèmes de validité et de complétude nous permettra alors d'établir la correspondance de ces deux approches autant que l'unité de l'investigation logique.

Bibliographie

/

Autres infos

/

Cycle et année
d'étude
> Année d'études préparatoire au master en éthique
> Année d'études préparatoire au master en philosophie
> Bachelier en philosophie
Faculté ou entité
en charge
> EFIL


<<< Page précédente