Resultats de la cerca
Es mostren 2 resultats
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses
polivalent
Lògica
Dit del sistema lògic que, a diferència de la lògica tradicional i de la majoria de les lògiques contemporànies (anomenades bivalents, car només admeten dos valors de veritat: ‘‘és veritable’’ i ‘‘és fals’’), accepta més de dos valors de veritat.
Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una proporció pot ésser “no veritable i…