Généralités
Eugène C. Ezin
1 Institut
de Formation et de Recherche en Informatique
& Institut de Mathématiques et de Sciences Physiques
Université d’Abomey-Calavi
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 1 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 2 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 3 / 18
Quelques phrases
Il est toujours aisé d’être logique. Il est presque impossible d’être
logique jusqu’au bout. – Albert Camus
La logique mène à tout à condition d’en sortir, dit un sage. –
Alphonse Allais
La vérité vient rarement des réponses que tu reçois, Thian, la vérité
naı̂t de l’enchaı̂nement logique des questions que tu poses. – Daniel
Pennac
Suivant la logique des gens à tête vide, tous indiscrets parce qu’ils
n’ont que des riens à dire, ceux qui ne parlent pas de leurs affaires en
doivent faire de mauvaises. – Honoré de Balzac
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 4 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 5 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 6 / 18
Brève histoire
La logique est apparue dans le premier millénaire avant Jésus Christ
indépendamment en Inde et en Grèce.
La logique est apparue simultanément avec la science du langage.
En Inde avec Gautama qui a vécu de 563-483 avant J.C., créateur du
système Nyaya Chastra.
En Europe avec Aristote qui a vécu de 384-322 avant J.C. auteur de
la constitution d’Athènes.
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 7 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 8 / 18
Grands logiciens
Gottlob Frege, auteur de Les fondements de l’arithmétique
Gottfried Wilhelm Leibniz, philosophe, juriste, historien, diplomate,
mathématicien.
Bertrand Arthur William Russell, mathématicien, logicien, philosophe,
épistémologue, homme politique et moraliste.
Kurt Gödel, logicien et mathématicien, très célèbre à cause de son
théorème d’incomplétude.
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 9 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 10 / 18
Définitions
Il existe plusieurs définitions de la logique:
La logique est la science relative aux processus de la pensée
rationnelle (induction, déduction, hypothèse, etc.) et à la formulation
discursive des vérités.
La logique est conforme au bon sens, cohérent, rationnel:
Dictionnaire Larousse en ligne.
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 11 / 18
Définitions (suite et fin)
La logique est conforme au mode de raisonnement de quelqu’un, aux
principes qui guident son action, son comportement : Dictionnaire
Larousse en ligne.
La logique est la science qui enseigne à raisonner juste. Il s’agit d’une
science formelle dépourvue de contenu, consacrée à l’étude de
procédés de raisonnement. Autrement dit, c’est l’étude des méthodes
et des principes utilisés pour distinguer le raisonnement correct de
l’incorrect.
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 12 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 13 / 18
Concepts logiques généraux
Les concepts logiques au sens philosophique ou mieux au sens général sont:
Table: Liste des concepts logiques
Abduction Analogie Aporie
Argument Axiome Cohérence
Contradiction Déduction Déduction logique
Démonstration Doxa Hypothèse
Induction Induction logique Inférence
Intuition Sophisme Objet
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 14 / 18
Concepts logiques (suite)
Table: Liste des concepts logiques (suite et fin)
Paralogisme Paradoxe Prémisse
Proposition Proposition (math) Raisonnement par absurde
Sophisme Sujet Syllogisme
Syllogisme logique Syllogisme dialectique Syllogisme sophistique
Théorie
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 15 / 18
Contenu
1 Généralités
Introduction
Motivation
Histoire de la logique
Les Logiciens
Définition de la logique
Les concepts logiques
Les branches de la logique
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 16 / 18
Branches de la logique
La logique comporte aussi des branches en mathématiques et en
informatique. Ces branches de la logique utilisent des concepts souvent
différents comme les prédicats :
axiome
théorème
hypothèse
conjonction
disjonction
déduction naturelle
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 17 / 18
Conclusion
Merci pour l’attention.
Eugène C. Ezin (Université d’Abomey-Calavi) Généralités 18 / 18
