Logic and Structure

Le manuel populaire de Dirk van Dalen, "Logique et Structure", maintenant dans sa cinquième édition, offre une introduction complète aux bases de la logique classique et intuitionniste, à la théorie des modèles et au célèbre théorème d'incomplétude de Gödel. La logique propositionnelle et la logique des prédicats sont présentées dans un style facile à lire en utilisant la déduction naturelle de Gentzen. Le livre aborde ensuite quelques concepts et faits fondamentaux de la théorie des modèles, y compris une discussion sur la compacité, le théorème de Skolem-Löwenheim, les modèles non standards et l'élimination des quantificateurs. La discussion sur la logique classique se termine par une exposition concise de la logique du second ordre. Compte tenu de la reconnaissance croissante des méthodes et principes constructifs, la logique intuitionniste et la sémantique de Kripke sont soigneusement explorées. Un certain nombre de caractéristiques constructives spécifiques, telles que l'aparté et l'égalité, la traduction de Gödel, ainsi que la propriété de disjonction et d'existence, sont également incluses.