Les territoires de la logique

Date de publication : 14 nov. 2012 09:37:21

Sur France Culture, à "podcaster" ou à écouter en ligne...

En première instance - approximative -, nous pouvons définir la Logique comme la science du raisonnement bien construit et valide. Définition mise en œuvre de l'époque d’Aristote à celle des grammairiens de Port-Royal au 17ème siècle. Mais à la suite de cette acception minimale, et cela depuis deux siècles, la logique a fait des progrès considérables. Dans ses méthodes comme dans ses domaines d’application. Comme le dit le mathématicien et logicien Jean-Paul Delahaye : « La logique – prise dans un sens large – a connu d’incroyables progrès depuis deux siècles. On y a découvert l’infinie variété des infinis si grands qu’on en a le vertige ; l’ensemble de tous les ensembles avec ses paradoxes. ; l’incomplétude de Gödel et l’indécidabilité de Turing, etc.. »