Cours 2017-2018

Philosophie : logique formelle [SSPSB201]

  • 2 crédits
  • 22.5h
  • 2e quadrimestre
Langue d'enseignement: Français
Enseignant: Hespel Bertrand

Objectifs

Rappeler en quoi consiste la logique classique des propositions, montrer que cette logique des propositions n'est pas la seule possible et évoquer divers problèmes philosophiques que créent ou renouvellent différentes logiques non classique

Contenu

Présentation de la logique classique des propositions et de différentes logiques non classiques en prenant comme fil conducteur la problème de la formalisation des conditionnels

Table des matières

0. Logique classique des propositions 1. Le problème des conditionnels 2. La logique modale de base 3. Les logiques modales ordinaires 4. Les logiques modales non ordinaires 5. Les logiques conditionnelles 6. La logique intuitionniste 7. Les logiques multivalentes 8. Les logiques relevantes 9. La logique floue

Description des exercices

Néant

Disciplines

Logique mathématique
Logiques non classiques
Philosophie

Méthodes d'enseignement

Le cours est de type "magistral".

Mode d'évaluation

L'étudiant(e) répond oralement aux questions qu'il prépare par écrit : l'une porte sur l'un des exercices donnés à résoudre durant le cours, l'autre porte sur un point de théorie.

Sources, références et supports éventuels

Priest, G. - An Introduction to Non-Classical Logic. Cambridge University Press, 2001.

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté des sciences
Rue de Bruxelles, 61
5000 NAMUR

Cycle

Etudes de 1er cycle