Logique et Formalisation du Raisonnement cours de DEA partie II -Logiques Non Classiques

MasterCette partie du cours "Logique et Formalisation du Raisonnement" du D.E.A. Informatique, Systèmes et Communications de l'ENSIMAG et de l'Université Joseph Fourier (1998/1999) présente différentes logiques qui modélisent des aspects particuliers du raisonnement. Par oppositionà la logique classique (du premier ou du second ordre) qui prétend davantageà l'universalité (et cela a un coût, par exemple l'indécidabilité), les logiques non-classiques qui seront présentées ontété conçues pour un type d'applications bien défini. Dans la suite on supposera connue la sémantique de la logique classique du premier ordre et du calcul propositionnel. Diverses références bibliographiques sont fournies le long du cours. Il n'est absolumment pas nécessaire de les consulter car le cours aété conçu pourêtre auto-suffisant. Cependant, pour ceux qui désirent quelques approfondissements ou qui préfèrent comprendre le coursà partir d'autres sources, consulter les références peut s'avérer utile. 1. p ⇒ q est toujours vrai si p est insatisfaisable