stringtranslate.com

Validez (lógica)

En lógica , específicamente en razonamiento deductivo , un argumento es válido si y sólo si toma una forma que haga imposible que las premisas sean verdaderas y la conclusión, no obstante, sea falsa . [1] No es necesario que un argumento válido tenga premisas que sean realmente verdaderas, [2] sino que tenga premisas que, si fueran verdaderas, garantizarían la verdad de la conclusión del argumento. Los argumentos válidos deben expresarse claramente mediante oraciones llamadas fórmulas bien formadas (también llamadas wffs o simplemente fórmulas ).

La validez de un argumento puede ser contrastada, demostrada o refutada, y depende de su forma lógica . [3]

Argumentos

Terminología de argumentos utilizada en lógica.

En lógica, un argumento es un conjunto de declaraciones relacionadas que expresan las premisas (que pueden consistir en evidencia no empírica, evidencia empírica o pueden contener algunas verdades axiomáticas) y una conclusión necesaria basada en la relación de las premisas.

Un argumento es válido si y sólo si sería contradictorio que la conclusión fuera falsa si todas las premisas son verdaderas. [3] La validez no requiere la verdad de las premisas, sino que simplemente necesita que la conclusión se derive de las premisas sin violar la corrección de la forma lógica . Si además se demuestra que las premisas de un argumento válido son verdaderas, se dice que éste es sólido . [3]

El condicional correspondiente de un argumento válido es una verdad lógica y la negación de su condicional correspondiente es una contradicción . La conclusión es una consecuencia necesaria de sus premisas.

Un argumento que no es válido se dice "inválido".

Un ejemplo de argumento válido (y sólido ) lo da el siguiente silogismo bien conocido :

Todos los hombres son mortales. ( Verdadero )
Sócrates es un hombre. ( Verdadero )
Por tanto, Sócrates es mortal. ( Verdadero )

Lo que hace que este sea un argumento válido no es que tenga premisas verdaderas y una conclusión verdadera. La validez se trata del vínculo entre las dos premisas y la necesidad de la conclusión. Es necesario que se establezca una relación entre las premisas, es decir, un término medio entre las premisas. Si sólo tienes dos premisas no relacionadas, no hay argumento. Observe que algunos de los términos se repiten: hombres es una variación de hombre en las premisas uno y dos, Sócrates y el término mortal se repiten en la conclusión. El argumento sería igualmente válido si tanto las premisas como la conclusión fueran falsas. El siguiente argumento tiene la misma forma lógica pero con premisas falsas y una conclusión falsa, y es igualmente válido:

Todas las copas son verdes. ( FALSO )
Sócrates es una copa. ( FALSO )
Por tanto, Sócrates es verde. ( FALSO )

No importa cómo se construya el universo, nunca podría darse el caso de que estos argumentos tuvieran simultáneamente premisas verdaderas y una conclusión falsa. Los argumentos anteriores pueden contrastarse con el siguiente, inválido:

Todos los hombres son inmortales. ( FALSO )
Sócrates es un hombre. ( Verdadero )
Por tanto, Sócrates es mortal. ( Verdadero )

En este caso, la conclusión contradice la lógica deductiva de las premisas anteriores, en lugar de derivarse de ellas. Por lo tanto, el argumento es lógicamente "inválido", aunque la conclusión podría considerarse "verdadera" en términos generales. La premisa "Todos los hombres son inmortales" también se consideraría falsa fuera del marco de la lógica clásica. Sin embargo, dentro de ese sistema, "verdadero" y "falso" funcionan esencialmente más como estados matemáticos, como unos y ceros binarios, que como conceptos filosóficos normalmente asociados con esos términos. Los argumentos formales que no son válidos suelen estar asociados con al menos una falacia que debería ser verificable.

Una visión estándar es que la validez de un argumento es una cuestión de la forma lógica del argumento. Los lógicos emplean muchas técnicas para representar la forma lógica de un argumento. Un ejemplo sencillo, aplicado a dos de las ilustraciones anteriores, es el siguiente: Supongamos que las letras 'P', 'Q' y 'S' representen, respectivamente, el conjunto de los hombres, el conjunto de los mortales y Sócrates. Usando estos símbolos, el primer argumento puede abreviarse como:

Todos los P son Q.
S es una P.
Por tanto, S es una Q.

De manera similar, el tercer argumento se convierte en:

No todas las P son Q.
S es una P.
Por tanto, S es una Q.

Un argumento se considera formalmente válido si tiene autoconsistencia estructural, es decir, si cuando todos los operandos entre premisas son verdaderos, la conclusión derivada siempre también es verdadera. En el tercer ejemplo, las premisas iniciales no pueden dar lugar lógicamente a la conclusión y, por lo tanto, se clasifica como un argumento inválido.

Fórmula válida

Una fórmula de un lenguaje formal es válida si y sólo si es verdadera bajo todas las interpretaciones posibles del lenguaje. En lógica proposicional, son tautologías .

Declaraciones

Una afirmación puede considerarse válida, es decir, verdad lógica, en algunos sistemas de lógica como en la lógica modal si la afirmación es verdadera en todas las interpretaciones. En la lógica aristotélica los enunciados no son válidos per se. La validez se refiere a argumentos completos. Lo mismo ocurre en la lógica proposicional (las afirmaciones pueden ser verdaderas o falsas pero no consideradas válidas o inválidas).

Solvencia

La validez de la deducción no se ve afectada por la verdad de la premisa o la verdad de la conclusión. Es perfectamente válida la siguiente deducción:

Todos los animales viven en Marte. ( FALSO )
Todos los humanos son animales. ( Verdadero )
Por tanto, todos los humanos viven en Marte. ( FALSO )

El problema con el argumento es que no es sólido . Para que un argumento deductivo sea sólido, el argumento debe ser válido y todas las premisas deben ser verdaderas. [3]

Satisfacción

La teoría de modelos analiza fórmulas con respecto a clases particulares de interpretación en estructuras matemáticas adecuadas. Según esta lectura, una fórmula es válida si todas esas interpretaciones la hacen verdadera. Una inferencia es válida si todas las interpretaciones que validan las premisas validan la conclusión. Esto se conoce como validez semántica . [4]

Preservación

En la validez que preserva la verdad , la interpretación según la cual a todas las variables se les asigna un valor de verdad "verdadero" produce un valor de verdad "verdadero".

En una validez que preserva lo falso , la interpretación según la cual a todas las variables se les asigna un valor de verdad "falso" produce un valor de verdad "falso". [5]

Ver también

Referencias

  1. ^ Validez y solidez - Enciclopedia de Filosofía de Internet
  2. ^ Jc Beall y Greg Restall, "Logical Consequence", The Stanford Encyclopedia of Philosophy (edición de otoño de 2014).
  3. ^ abcd Gensler, Harry J. (6 de enero de 2017). Introducción a la lógica (Tercera ed.). Nueva York: Routledge. ISBN 978-1-138-91058-4. OCLC  957680480.
  4. ^ LTF Gamut , lógica, lenguaje y significado: introducción a la lógica , University of Chicago Press, 1991, pág. 115.
  5. ^ Robert Cogan, Pensamiento crítico: paso a paso , University Press of America, 1998, pág. 48.

Otras lecturas