2.15: La prueba de validez de Venn para inferencias categóricas inmediatas
- Page ID
- 101204
\( \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}\)En la última sección, presentamos las cuatro formas categóricas. Esos formularios están a continuación.
Podemos usar diagramas de Venn para determinar si ciertos tipos de argumentos son válidos o no válidos. Uno de esos tipos de argumentos es lo que llamaremos “inferencias categóricas inmediatas”. Una inferencia categórica inmediata es simplemente un argumento con una premisa y una conclusión. Por ejemplo:
1. Algunos mamíferos son anfibios.
2. Por lo tanto, algunas cosas anfibias son mamíferos.
Si construimos un diagrama de Venn para la premisa y otro diagrama de Venn para la conclusión, veremos que los diagramas de Venn son idénticos entre sí.
Es decir, la información que se representa en el Venn para la premisa, es exactamente la misma información representada en el Venn para la conclusión. Este argumento pasa la prueba de validez de Venn porque la conclusión Venn no contiene información adicional que no esté ya contenida en la premisa Venn. Por lo tanto, este argumento es válido. Pasemos ahora a un ejemplo de argumento inválido.
1. Todos los autos son vehículos.
2. Por lo tanto, todos los vehículos son autos.
Aquí están los Venns para la premisa y la conclusión, respectivamente:
En este caso, los Venns claramente no son lo mismo. Más importante aún, podemos ver que la conclusión Venn (a la derecha) contiene información adicional que no está ya contenida en la premisa Venn. En particular, la conclusión Venn permite que a) podría haber cosas en la categoría “auto” que no estén en la categoría “vehículo” y b) que no puede haber nada en la categoría “vehículo” que no esté también en la categoría “auto”. Esa no es la información que está contenida en la premisa Venn, que dice que a) no hay nada en la categoría “auto” que no esté también en la categoría “vehículo” y b) que podría haber cosas en la categoría “vehículo” que no estén en la categoría “auto”. Así, este argumento no pasa la prueba de validez de Venn ya que hay información contenida en la conclusión Venn que no está ya contenida en la premisa Venn. Por lo tanto, este argumento no es válido. El test de validez de Venn es un método formal, porque podemos aplicarlo aunque solo conozcamos la forma de los enunciados categóricos, pero no sabemos qué representan las categorías a las que se hace referencia en los enunciados. Por ejemplo, podemos simplemente usar “S” y “P” para las categorías, y claramente no sabemos qué representan estas. Por ejemplo:
1. Todas las S son P
2. No P son S
La conclusión (a la derecha) contiene información que no está contenida en la premisa (a la izquierda). En particular, la conclusión Venn descarta explícitamente que haya algo que esté tanto en la categoría “S” como en la categoría “P” mientras que la premisa Venn permite que así sea (pero no lo requiere). Así, podemos decir que este argumento falla la prueba de validez de Venn y por lo tanto es inválido. Esto lo sabemos a pesar de que no tenemos idea de cuáles son las categorías “S” y “P”. Esta es la marca de un método formal de evaluación.
Ejercicio
Aplicar la prueba de validez de Venn para determinar si las siguientes inferencias categóricas son válidas o no válidas.
1. Todas las S son P; por lo tanto, todas las P son S
2. Algunas S son P; por lo tanto, algunas P son S
3. Algunas S son P; por lo tanto, algunas P no son S
4. Algunas S son P; por lo tanto, todas las P son S
5. No S son P; por lo tanto, ningún P son S
6. No P son S; por lo tanto, algunas S son P
7. Algunas S no son P; por lo tanto, algunas P no son S
8. Todos los S son P; por lo tanto algunos P no son S