Bivalente
Secondo il dizionario della Reale Accademia Spagnola (RAE), bivalente è un aggettivo usato nel campo della chimica per descrivere un elemento chimico che ha due valenze.
Per capire il concetto di bivalente, quindi, dobbiamo prima sapere cos'è un elemento chimico e cosa è una valenza. Un elemento chimico è una materia composta da atomi dello stesso tipo. La valenza, invece, è il numero che indica la capacità di un elemento chimico di combinarsi con altri elementi per formare un composto.
Questo significa che la sostanza bivalente può ricorrere a due valenze diverse. Se l'elemento chimico ha una sola valenza, si chiama monovalente. Se ha tre valenze, si chiama trivalente; se ha quattro valenze, tetravalente; se ha cinque valenze, pentavalente, ecc.
Al di là della chimica, l'idea di bivalente è usata rispetto a ciò che ha due valori dissimili o opposti. La logica bivalente, in questo quadro, è un sistema che accetta solo due valori di verità per le sue premesse. Quindi la proposizione può essere o vera o falsa, senza altre possibilità in mezzo.
La proposizione "John è vivo", per esempio, fa parte dell'orbita della logica bivalente poiché può essere solo vera o falsa. Una persona non può essere "un po' viva" o "più o meno morta".
Secondo la logica aristotelica, il sistema bivalente per eccellenza, ci sono tre principi fondamentali alla base di quanto sopra:
* principio di identità: è vero che A è identico a se stesso (A è uguale ad A);
* principio di non contraddizione: non è possibile che A sia A e non A contemporaneamente;
* principio del terzo escluso: A è o falso o vero, senza spazio per una terza opzione.
Questo è anche espresso dalla legge di bivalenza o principio semantico, che determina che per ogni frase dichiarativa che esprime una data proposizione, corrisponde un solo valore di verità, che la proposizione sia vera o falsa.
Il concetto di valore di verità, invece, si riferisce al grado di verità che possiamo apprezzare in una data affermazione. Nella logica classica bivalente, possiamo trovare solo due valori di verità, come menzionato nei paragrafi precedenti: un vero e un falso, che possono essere raggruppati in coppie rappresentate da elementi alfanumerici come 1 e 0 o V e F, tra altri esempi.
Nel campo della logica formale, questo principio dà luogo a una proprietà che non è sempre presente in una semantica. Tuttavia, non deve essere confusa con la legge del terzo escluso, secondo la quale si ottiene sempre un valore di verità dalla disgiunzione logica di una proposizione e della sua negazione; per esempio, si osserva un valore di verità nella frase "è notte o non è notte". Detto questo, una semantica può soddisfare la legge del terzo escluso, non la legge della bivalenza.
La logica filosofica si basa sul principio di bivalenza per studiare gli stati del linguaggio naturale e i loro valori di verità. Il problema di applicare la logica binaria alle affermazioni è particolarmente difficile per i filosofi, soprattutto quando incontrano frasi che possono dare origine a più di una interpretazione, o frasi che parlano di eventi che si suppone avranno luogo nel futuro.
Un motore bivalente, d'altra parte, può funzionare con due tipi di carburante. Se un'auto può funzionare sia a benzina che a gas naturale compresso (CNG), è un veicolo a motore bivalente.