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