BOCHVAR SYSTÈME DE

Ce sujet est traité dans les articles suivants :

1.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Le système de Bochvar"  : … *Proposé en 1939 pour traiter les phrases dénuées de sens ou paradoxales (par exemple : « la présente phrase est fausse », qui est vraie si elle est fausse, et fausse si elle est vraie), le système de Bochvar présente des caractéristiques très différentes des deux premiers. Il est défini par les tables suivantes : On notera que ce système ne répond… Lire la suite