UCL - Etudes

English version

Formations
Premier cycle
Deuxième cycle
Troisième cycle
Certificats (programmes non académiques)
Passerelles
Formation continue
Facultés et entités
Cadre académique
Réforme de Bologne
Accès aux études
Organisation des études
Lexique
Calendrier académique
Règlement des études et examens
Charte pédagogique
Renseignements généraux
Recherche
Simple
Détaillée
Par cours

Logique formalisée [FILO2210]
[30h] 4 crédits

English version

Version imprimable

Cette activité se déroule pendant le 2ème semestre

Enseignant(s):

Marcel Crabbé

Langue d'enseignement :

français

Niveau :

Deuxième cycle

>> Objectifs (en termes de compétences)
>> Objet de l'activité (principaux thèmes à aborder)
>> Résumé : Contenu et Méthodes
>> Autres informations (Pré-requis, Evaluation, Support, ...)
>> Autres crédits de l'activité dans les programmes

Objectifs (en termes de compétences)

Ce cours a pour objectif de compléter la formation en logique acquise lors du premier cycle.

Objet de l'activité (principaux thèmes à aborder)

Le contenu varie d'année en année.

Résumé : Contenu et Méthodes

Cette année, le cours privilégiera un ou plusieurs thèmes particuliers, à déterminer lors de la première séance, comme les logiques modales, le lambda-calcul, la théorie de la démonstration, les théories des ensembles, les logiques non classiques, les approches contemporaines de la logique ancienne etc. (05/09/2006)

Autres informations (Pré-requis, Evaluation, Support, ...)

Pré-requis
Un cours de logique de 1er cycle est souhaité

Evaluation
Examen oral.

Support
Syllabus ou portefeuille de lecture

Autres crédits de l'activité dans les programmes

ISLE3DA/IS

Diplôme d'études approfondies en philosophie et lettres (philosophie)

(4 crédits)

ISP20

Licence à durée réduite en philosophie

(4 crédits)

ISP21

Première licence en philosophie

(4 crédits)

ISP22

Deuxième licence en philosophie

(4 crédits)

ISPB9CE

Certificat universitaire en philosophie (approfondissement)

(4 crédits)



Ce site a été conçu en collaboration avec ADCP, ADEF, CIO et SGSI
Responsable : Jean-Louis Marchand - Contact : info@isp.ucl.ac.be
Dernière mise à jour :13/03/2007