Logiques du raisonnement valide
Date de publication : 23/02/2007
Par
Laurent Audibert (http://laurent-audibert.developpez.com/)
Le but de la logique est de calculer des conclusions sûres. Le langage naturel s'avère trop
imprécis et riche pour permettre des développements simples et rigoureux.
La logique est un outil pour parler et raisonner dans un domaine
déterminé. Différents domaines ont différentes logiques. C'est un
problème à la fois philosophique et mathématique que de savoir si
une logique donnée est adéquate pour un domaine particulier.
Les logiques classiques (la logique des propositions et la logique
des prédicats) ont été créées pour raisonner sur des objets
mathématiques. Comme ces objets sont conceptuellement assez
simple, ces logiques le sont aussi. Tout comme en mathématiques,
les systèmes déductifs de la logique classique se limitent à la
formalisation du raisonnement valide.
Table des matières
- Logique des propositions
- Logique des prédicats
- Programmation logique : PROLOG
Copyright © 2007 Laurent Audibert. Aucune reproduction, même partielle, ne peut être faite
de ce site et de l'ensemble de son contenu : textes, documents, images, etc
sans l'autorisation expresse de l'auteur.
Sinon vous encourez selon la loi jusqu'à 3 ans de prison et jusqu'à 300 000 E
de dommages et intérêts.
Cette page est déposée à la
SACD.
