Le livre pour dessiner à toute âge le facile du monde

Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.

Triomphe du marché et de la société civile, règne de l'individualisme et du "droit à la différence", déclin de la loi abstraite et uniforme au profit de droits de plus en plus différenciés: telle est la vision associée aujourd'hui au libéralisme - principalement chez ses adversaires, parfois chez ses défenseurs. Pourtant, les origines philosophiques du libéralisme contredisent ce schéma: les "classiques" ont mis au centre de leur pensée la souveraineté de la Loi, indissociable de sa fécondité pour la liberté humaine. Que nous enseigne alors cette divergence d'interprétation? Est-ce l'expression d'une tension interne à la pensée libérale elle-même? Faudrait-il opposer la loi et les droits, en revenant pour cela au partage entre le courant rationaliste, fondateur du libéralisme politique, et le courant empiriste qui crée, avec David Hume, le libéralisme économique? Telles sont les questions qu'explore le présent ouvrage, en les rapportant à l'idéal commun des libéraux: "le gouvernement de la liberté".

Les années 1789-1794 sont capitales dans la genèse de la vie politique moderne, dont elles ont constitué le laboratoire : la voix de l'opinion publique, le jeu des " factions ", la citoyenneté, le dogme de la souveraineté populaire entrent en scène avec éclat. De cela l'étude de la forme d'organisation des Jacobins, de leurs idées, de leur rhétorique est un excellent révélateur. Ce club, à l'origine diversifié, est devenu, sous l'effet des Brissot, des Marat, des Robespierre, une remarquable machine politique ; il a capitalisé les attentes de couches sociales multiples, incarné contre plusieurs adversaires _ et pas seulement les royalistes ! _ la " Personne " du peuple et l'unité de l'Etat révolutionnaire. L'efficacité du discours jacobin met en évidence le pouvoir, nouveau, de l'offre politique sur l'électorat et annonce ce qui est devenu aujourd'hui la compétition et les techniques de conquête de l'opinion. Dans le fil des problèmes soulevés par François Furet, cet ouvrage éclaire des pans entiers, longtemps délaissés par l'historiographie, de la pratique et de l'idéologie révolutionnaires. Agrégé de philosophie, historien et politiste, Lucien Jaume s'est fait connaître jusqu'à présent par des travaux sur Hobbes et sur les questions concernant la souveraineté et la représentation.