Logik

Ce livre comprend un cours de base et un cours avancé. Le cours de base est écrit sans prérequis et introduit le lecteur à la sémantique et à la théorie des preuves de la logique propositionnelle et de la logique des prédicats élémentaires, intégrées dans la théorie générale du raisonnement rationnel. Une attention particulière est accordée à l'application philosophique de la logique dans la reconstruction logique des arguments en langage naturel. Les relations entre différentes notations et techniques logiques alternatives sont expliquées avec soin. Le cours avancé fait le lien entre une introduction philosophique à la logique et le niveau avancé de la logique formelle moderne. Après une introduction approfondie à la logique des prédicats complète et à sa sémantique, le volume se tourne vers des méthodes metalogiques. Des résultats notables concernant la correction et la complétude de la logique des prédicats, l'indécidabilité de la logique des prédicats et l'incomplétude de l'arithmétique de premier niveau sont expliqués étape par étape. Le volume est complété par des excursions approfondies et de nombreux exercices avec solutions à télécharger. La deuxième édition révisée a été soigneusement retravaillée sur le plan du contenu et de la didactique.