Introduction à la métalogique du calcul propositionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements utiles (logiques intuitionniste et modale) et aussi des approches originales (probabilités).

Les auteurs accordent une attention rigoureuse à la présentation et à l'explication des concepts des calculs propositionnels. Formellement très simples, les calculs propositionnels constituent un terrain idéal pour s'initier aux manipulations symboliques. En ce qui concerne, plus généralement, l'usage du formalisme, les auteurs privilégient une attitude pédagogique sans pour autant faire de concessions. La logique est, et restera, formelle, mais il est possible de l'apprivoiser ; et le meilleur outil pour ce faire est la pratique consistant à résoudre des problèmes. On trouvera donc dans cet ouvrage de nombreux exercices dont la plupart sont accompagnés de solutions.

La logique propositionnelle et ses variantes - Une approche comparée

"Chantier, grand corps tuméfié aux multiples cicatrices . Une chair, comme la mienne... Ses mouvements me bouleversent, les rencontres me transforment... Avec le sténopé, je m'assois dans l'herbe, je prends le temps de placer le pied sur lequel je vais poser la boîte, de préparer la prise de vues . J'éprouve cette joie profonde de l'enfance . Ce temps long, immobile, sans injonction... J'observe l'environnement immédiat, végétal et mécanique . J'écoute le vent frapper la boîte et imprimer l'image de ses vibrations . Elle semble capter autant le chaos extérieur que le tumulte intérieur... Echo photographique et protéiforme. ".

Se fondre

Après le succès de leur album " La Lune est blanche " (Futuropolis, 2014), sur le récit intime et puissant de leur mission scientifique en Antarctique, ce petit livre met en regard les dessins de l'un et les photographies de l'autre. Comment Emmanuel, le dessinateur, et François Lepage, le photographe ont-ils réussi dans les contrées polaires particulièrement à photographier ou à dessiner la blancheur à la solitude éprouvée face au " rien ". 
D'autres voyages les ont également réunis, ou les ont vu oeuvrer chacun selon leur art. Ce livre rapproche leurs images avec brio. Une épopée universelle et intime, qui mêle bande dessinée, illustration et photographie.

Rencontres australes et antarctiques

Embarquer à bord du Marion-Dufresne est une expérience 
inoubliable. Le navire polyvalent armé par la CMA-CGM 
flirte toute l'année avec les "dernières frontières" de la planète 
: les terres Australes et Antarctiques françaises situées dans les 
quarantièmes rugissants. A la fois paquebot, cargo Ce 
d'exploration, il embarque pour des tournées-semaines, les 
vivres, carburants, matériels et personnels des bases 
scientifiques, des océanographes et même des touristes. Au 
départ de l'Ile de la Réunion, le "circuit" comprend Tromelin, 
les îles Saint-Paul et Amsterdam et les archipels de Crozet et 
Kerguelen. C'est cette croisière ultime que les auteurs nous 
invitent à partager, par le texte et par la photo, dans ce livre 
assurément décoiffant.

Marion Dufresne, ravitailleur du bout du monde

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Eléments de logique contemporaine

Martin Benoît se sauve. Il file vers le nord, en direction de Montréal. Il veut se réfugier au Canada afin d'échapper aux services secrets américains, qui le soupçonnent d'être une menace pour la sécurité. Pourtant, il n'est qu'un jeune et brillant universitaire. Il n'a choisi ni la voie de l'islam radical, comme Ahmed Morghad, ni celle de l'activisme écologique, comme Laetitia Duperré, ni celle du crime, comme Pierre Maurice. Après avoir découvert la puissance de la théorie des jeux et le fascinant " dilemme du prisonnier ", Martin Benoît croit pouvoir répondre à cette interrogation cruciale : quels comportements individuels font des sociétés harmonieuses et stables ? Sa réputation intellectuelle l'amène à parcourir le monde et tout va bien jusqu'au jour où, s'approchant du poste frontière de Lacolle, il est sur le point d'être interrogé par une douanière qui porte des pantoufles Snoopy. Comment saisir le mystère des trajectoires humaines ? L'art romanesque est sans doute un outil très sophistiqué pour y arriver, que François Lepage pratique ici avec un plaisir communicatif. En donnant à son intrigue rocambolesque toute l'élégance d'une démonstration mathématique, il nous offre un roman mordant, grinçant, qui nous tient en haleine du début à la fin et tord le cou, en passant, à tout ce qui peut ressembler à de la rectitude politique. Quant à savoir comment il est possible qu'une représentante officielle de Douanes Canada soit chaussée de telle manière pendant l'exercice de ses fonctions, il vous faudra lire Le Dilemme du prisonnier pour l'apprendre.

Ses oeuvres

Ses derniers livres