O logice trójwartościowej (Sur la logique à trois valeurs)

Introduction

Łukasiewicz publia ce bref article en 1920 dans la revue de Lwów « Ruch Filozoficzny ». Outre le « vrai » (1) et le « faux » (0), il introduit une troisième valeur (1/2), interprétée comme « possible », pour les énoncés contingents portant sur l’avenir, de sorte que certaines lois classiques, comme le principe du tiers exclu, ne valent plus de façon générale. Le problème remonte à la discussion aristotélicienne de la bataille navale de demain dans De l’interprétation, 9. Le motif était philosophique : Łukasiewicz voulait montrer que l’indéterminisme et la liberté humaine peuvent être énoncés de manière cohérente, contre l’idée que toute phrase vraie est vraie éternellement. Avec les travaux indépendants d’Emil Post (1921), l’article se tient au commencement de la logique multivalente moderne, que Łukasiewicz étendit plus tard à une infinité de valeurs.

Liens

S’appuie sur

• Organonv. 350 av. J.-C. · Aristote

Autres œuvres de Jan Łukasiewicz

• 1951Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic (La syllogistique d’Aristote du point de vue de la logique formelle moderne)