2.5: Validez Deductiva
- Page ID
- 94342
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Una vez que determinemos que algo es un argumento, podemos pasar a identificar el tipo de argumento que es. La taxonomía de argumentos que vamos a explorar a lo largo de los próximos capítulos va a ser muy útil. Cuando sabemos qué tipo de argumento estamos viendo, somos capaces de determinar con relativa rapidez cómo evaluar el éxito del argumento.
Definición de Validez Deductiva
En esta sección, aprenderemos sobre la validez deductiva. Es fácil definir esta noción, pero es engañosamente abstracta y resbaladiza. Se necesita práctica para dominarlo.
Cuando las premisas de un argumento apoyan su conclusión de la manera más fuerte posible, decimos que el argumento es deductivamente válido. Existen varias formas diferentes, pero equivalentes, de definir la validez deductiva:
- Un argumento deductivamente válido es aquel tal que, si todas sus premisas son verdaderas, su conclusión debe ser cierta.
- Un argumento deductivamente válido es aquel tal que es imposible que su conclusión sea falsa cuando todas sus premisas son verdaderas.
El error más común a cometer respecto a la validez es pensar que esta definición dice más de lo que realmente hace. No dice nada en absoluto sobre las premisas (tomadas aisladamente de la conclusión) ni sobre la conclusión (tomada aisladamente de las premisas). La validez deductiva habla únicamente de la relación entre las premisas y la conclusión. Dice que una cierta combinación de ambos, todas premisas verdaderas y una conclusión falsa, es imposible.
Los argumentos deductivamente válidos son la preservación de la verdad; si todas las premisas son verdaderas, entonces la conclusión también debe ser verdadera. Verdaderas premisas en, verdadera conclusión fuera. Dado que solo hay un tipo de validez, a saber, la validez deductiva, a menudo hablaremos simplemente de 'validez'.
Comprensión de la validez deductiva
Si pasas unos minutos pensando en los siguientes ejemplos, comenzarás a tener una idea de lo que realmente significa validez. Supongamos que alguien hace las siguientes dos afirmaciones, y que usted cree que son ciertas:
- Si está lloviendo, entonces el estacionamiento estará lleno.
- Está lloviendo.
Ahora pregúntate: ¿qué podemos concluir de 1 y 2? La respuesta no es difícil, pero es importante reflexionar al respecto.
- El estacionamiento estará lleno.
Ten en cuenta que no necesitas saber si las premisas 1 y 2 son verdaderas para ver que de ellas se desprende la afirmación de que el lote estará lleno. Es esta noción de seguir de lo que significa que este argumento es deductivamente válido.
Ahora pregúntate: ¿hay alguna historia consistente, coherente que pudiéramos imaginar en la que el 1 y el 2 fueran ambos ciertos, pero en el que la afirmación de que el lote está lleno era falsa? Pruébalo. No se puede hacer. Si lo intentas y comienzas a ver que es imposible, estás en camino de entender la validez deductiva.
Aquí hay un segundo ejemplo:
- Si Wilbur ganara la carrera, habría llamado para presumir de ello.
- Pero Wilbur no ha llamado.
¿Qué se desprende de esto? ¿Hay alguna manera posible de que las oraciones 1 y 2 puedan ser ambas verdaderas mientras que al mismo tiempo la siguiente oración sea falsa?
- Wilbur no ganó.
¿Qué pasa con:
- Si un conjunto es recursivo, entonces es recursivamente enumerable.
- El conjunto que mencionas es recursivo.
¿Qué se desprende de esto? Ten en cuenta que ni siquiera necesitas entender las palabras 'recursivo' o 'enumerable', y mucho menos saber si estas dos frases son verdaderas, para ver que la oración 3 sigue lógicamente de ellas.
- El conjunto que mencionas es recursivamente enumerable.
A modo de contraste, considere el siguiente argumento:
- Si Wilbur ganara la carrera, habría llamado para presumir de ello.
- Wilbur sí llamó para presumir.
Si sabemos que el 1 y el 2 son ambos ciertos, ¿podemos estar seguros de que la siguiente frase es cierta?
- Wilbur ganó la carrera.
No, no podemos estar seguros. En este caso, es posible que las dos premisas sean ciertas mientras que la conclusión es falsa. Por ejemplo, Wilbur podría ser un mentiroso compulsivo que llamó para presumir a pesar de que llegó el último.
Validez: Menos es Más
Como se señaló anteriormente, es un error muy común pensar que la definición de validez deductiva dice más de lo que realmente lo hace. Sólo dice cuál debe ser el caso si todas las premisas son verdaderas.
- La definición no requiere que sean veraces ni las premisas ni la conclusión de un argumento válido.
- La definición no dice nada sobre lo que sucede si una o más de las premisas son falsas. En particular, no dice que si alguna de las premisas es falsa, entonces la conclusión debe ser falsa.
- La definición no dice nada sobre lo que sucede si la conclusión es cierta. En particular, no dice que si la conclusión es cierta, entonces las premisas deben ser ciertas.
La definición de validez sólo requiere que las premisas y la conclusión estén relacionadas de tal manera que si las premisas son (o hubieran sido) verdaderas, entonces la conclusión también es (o habría sido) verdadera.
La definición de validez deductiva es hipotética; si todas sus premisas son verdaderas, entonces la conclusión también debe ser cierta. El 'si' aquí es uno grande. Es como el 'si' en la postal que obtienes que anuncia: “Recibirás diez millones de dólares de la Casa de Compensación de las Publicadoras, si tienes el boleto ganador”. Esto no quiere decir que sí tengas la entrada ganadora. Y de igual manera, de la definición de validez deductiva no se desprende que todas las premisas de cada argumento deductivamente válido sean ciertas.
Pueden existir argumentos deductivamente válidos con:
- Falsas premisas y una falsa conclusión.
- Falsas premisas y una verdadera conclusión.
- Todas las verdaderas premisas y una verdadera conclusión.
La única combinación que no puede ocurrir en un argumento deductivamente válido son todas las premisas verdaderas y una conclusión falsa. Esto nunca puede suceder, porque, por definición, un argumento deductivamente válido es aquel cuya forma hace imposible que todas sus premisas sean verdaderas y su conclusión falsa.
Los argumentos inválidos pueden tener cualquiera de estas tres combinaciones, más la combinación de todas las premisas verdaderas y una conclusión falsa (que es la única combinación que los argumentos válidos no pueden tener).
Otras características de la validez deductiva
- La validez deductiva no viene en grados. Es todo o ninguno.
- En un argumento deductivamente válido la conclusión no contiene nueva información; no hay información en la conclusión que no estuviera ya contenida en las premisas. Ahora no nos preocuparemos por la segunda característica, pero va a ser importante cuando volvamos a argumentos inductivamente fuertes.
Solidez
Un argumento es sólido por si acaso:
- Tiene validez deductiva, y
- Tiene todas las verdaderas premisas.
Una vez que domines el concepto de validez (que es complicado), la solidez será fácil. La conclusión de un argumento sólido debe ser cierta. ¿Por qué?
Una nota sobre la terminolgia
- Sólo los argumentos pueden ser válidos o inválidos; las oraciones o declaraciones no pueden.
- Por otra parte, sólo las declaraciones u oraciones pueden ser verdaderas o falsas (tener un valor de verdad); los argumentos no pueden ser ninguno de los dos.