La logique

La logique

¤ La logique élémentaire

¤ Le projet de Hilbert

¤ Logique et informatique

¤ Jeux et paradoxes

Comment garantir qu'une argumentation est correcte et qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes ?

On comprend à ces mots que la logique est un indispensable bagage pour tous.

Syllogismes, tiers exclu, implication ou règles de déduction : le lecteur de cet ouvrage verra naître avec Aristote la logique élémentaire.

Puis il rêvera avec Hilbert d'un absolu mathématique avant de l'abattre en compagnie de Gödel.

Il se frottera aux logiques nouvelles avec la logique floue.

Enfin, il découvrira un immense territoire ludique fait d'énoncés auto-référents ou de joutes impitoyables où s'affrontent.

Menteurs et Sincères, Sages et Fous, Barbiers, Princesses.