TAUTOLOGÍA proposición cuya negación es inconsistente o (auto)contradictoria; por ejemplo, «Sócrates es Sócrates», «Todo

ser humano es macho o no es macho», «Ningún ser humano es macho y no es macho», «Todo ser humano es idéntico a sí
mismo», «Si Sócrates es humano entonces Sócrates es humano». Una proposición que es (o es lógicamente equivalente a) la
negación de una tautología es una (auto)contradicción. Según la lógica clásica, la propiedad de ser implicada por su propia
negación es una condición necesaria y suficiente para ser una tautología y la propiedad de implicar su propia negación es una
condición necesaria y suficiente para ser una contradicción. Las tautologías son lógicamente necesarias y las contradicciones son
lógicamente imposibles. Epistémicamente, cualquier proposición cuya verdad pueda conocerse por medio de un razonamiento
puramente lógico es una tautología y cualquier proposición cuya falsedad pueda conocerse por medio de un razonamiento
puramente lógico es una contradicción. Las conversas de estos dos enunciados son igualmente controvertidas entre los lógicos
clásicos. Toda proposición que tenga la misma forma lógica que una tautología es una tautología y toda proposición que tenga la
misma forma lógica que una contradicción es una contradicción. Por esta razón en ocasiones se dice que una tautología es
verdadera en virtud de su forma y una contradicción falsa en virtud de su forma; ser una tautología y ser una contradicción
(tautologicidad y contradictoriedad) son propiedades formales. Como la forma lógica de una proposición es determinada por sus
términos lógicos («todo», «algún», «es», etc.), se dice a veces que una tautología es verdadera en virtud de sus términos lógicos y
análogamente, mutatis mutandis, para las contradicciones. Como las tautologías no excluyen ninguna posibilidad lógica, se dice
en ocasiones que son «vacías » o «no informativas», e incluso hay tendencia a negar que sean proposiciones genuinas y que el
conocimiento de ellas sea conocimiento genuino. Como una contradicción «incluye» (implica) cualquier posibilidad lógica (el
conjunto de las posibilidades lógicas es obviamente inconsistente), se dice a veces que las contradicciones son
«sobreinformativas ». También se dice que tautologías y contradicciones son «inútiles», pero por razones opuestas. Más
exactamente, según la lógica clásica, ser implicada por todas y cada una de las proposiciones es necesario y suficiente para ser
una tautología y, en correspondencia, implicar todas y cada una de las proposiciones es necesario y suficiente para ser una
contradicción. Algunos desarrollos de la lógica matemática, sobre todo la teoría de modelos y la lógica modal, parecen sustentar
el uso de la expresión leibniziana «verdadero en todos los mundos posibles» para las tautologías. Hay una subclase especial de
las tautologías, llamadas tautologías veritativo-funcionales, que son verdaderas en virtud del significado de una clase especial de
términos lógicos, llamados conectivas funcionales («y», «o», «no», «si», etc.). En algunos escritos lógicos se usa «tautología»
exclusivamente para las tautologías veritativo-funcionales, reemplazando entonces «tautología » en su acepción más amplia por
otra expresión; por ejemplo, «verdad lógica». Tarski, Gödel, Russell y otros lógicos usan el término en su acepción más amplia,
pero su uso en su acepción más restringida está muy extendido y es enteramente aceptable. Las proposiciones de las que se sabe
que son tautologías suelen ponerse como ejemplo de conocimiento a priori. En filosofía de las matemáticas, la hipótesis logicista
es la proposición de que toda oración verdadera de las matemáticas puras es una tautología. Algunos autores distinguen
nítidamente entre la propiedad formal de ser una tautología y la propiedad metalógica no formal de ser una ley lógica. Por
ejemplo, «Uno es uno» no es metalógica aunque es una tautología, mientras que «Ninguna tautología es una contradicción » es
metalógica pero no es una tautología.