Mot-clé - Calcul propositionnel

Fil des billets

12 novembre 2014

Jan Łukasiewicz, Écrits logiques et philosophiques Introduction, traduction et notes par Sébastien Richard, Fabien Shang et Katia Vandenborre, Vrin, 2014, lu par Lény Oumraou

Une présentation de travaux de Jan Łukasiewicz (1878-1956) qui a contribué aux développements de la logique propositionnelle, à l’histoire de la logique, à ses implications philosophiques en particulier ses analyses du rapport entre logique et contingence depuis Aristote, et à ses arguments dans le débat entre formalisme et intuitionnisme.

Lire la suite...