Logique formelle

Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements semblent plausibles sans être valides ? Ce livre propose une introduction claire et rigoureuse à la logique formelle, de la logique propositionnelle et de la logique des prédicats à la logique modale et aux logiques non classiques. Le lecteur y découvre les notions essentielles, les méthodes de démonstration, les formes normales, la résolution, le raisonnement automatique et les théorèmes d'incomplétude de Gödel. Ces derniers montrent que même les systèmes logiques les plus puissants possèdent des limites fondamentales. L'ouvrage aborde également des perspectives modernes, telles que la logique floue, la logique par défaut et la programmation par ensembles de réponses, qui permettent de raisonner en présence d'incertitude ou d'informations incomplètes. Destiné aux étudiants, aux enseignants, aux mathématiciens, aux informaticiens ainsi qu'à tous les lecteurs curieux de comprendre les fondements du raisonnement rigoureux, ce livre offre une introduction accessible et approfondie à l'un des domaines les plus fascinants des mathématiques et de l'informatique.