politica

El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo, Julio César es idéntico a sí mismo (a Julio César), elSol es idéntico a sí mismo, esta manzana es idéntica a sí misma, etc. El principio de identidad es, junto con el principio de no contradicción y el principio del tercero excluido, una de las leyesclásicas del pensamiento.1
En lógica de primer orden con identidad, el principio de identidad se expresa:

Es decir: para toda entidad x, x es idéntica a sí misma.
No se debe confundir al principio deidentidad con la siguiente tautología de la lógica proposicional:

Esta fórmula expresa que toda proposición es verdadera si y sólo si ella misma es verdadera. Por lo tanto, expresa una verdadacerca de proposiciones y sus valores de verdad, mientras que el principio de identidad expresa una verdad acerca todo tipo de entidades, no sólo proposiciones.
El principio del tercero excluido,propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertii exclusi (también conocido comotertium non datur o una tercera (cosa) no se da), esun principio de lógica clásica según el cual la disyunción de una proposición y su negación es siempre verdadera.1 2 Por ejemplo, es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no estáardiendo". El principio del tercero excluido frecuentemente se confunde con el principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.1 2 El principio del terceroexcluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas del pensamiento.3
En la lógica proposicional, el principio del tercero excluido seexpresa:

donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.
En la lógica aristotélica, se distingue entre juicios contradictorios y...