Course info
L’œuvre principale de Łukasiewicz dans la
logique mathématique a été la création des logiques dites
multivalentes
, il en a eut l’idée
d’un point statut à donner à la proposition
il y pleuvra demain
En 1917 il donna la première ébouche d’une
logique trivalente en rattachant la troisième valeur logique différente du vrai
et du faux à la notion de possibilité. Ses premières publications sur la
logique trivalente datent de1920.