Saltar al contenido principal
LibreTexts Español

1.8: Patrones de argumentos válidos

  • Page ID
    92835
  • \( \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}\)

    Obviamente, los argumentos válidos juegan un papel muy importante en el razonamiento, porque si partimos con verdaderos supuestos, y utilizamos únicamente argumentos válidos para establecer nuevas conclusiones, entonces nuestras conclusiones también deben ser ciertas. Pero, ¿cómo determinamos si un argumento es válido? Aquí es donde entra en juego la lógica formal. Mediante el uso de símbolos especiales podemos describir patrones de argumento válido y formular reglas para evaluar la validez de un argumento. A continuación presentamos algunos patrones de argumentos válidos. Debes asegurarte de que puedes reconocer estos patrones y hacer uso de ellos en el razonamiento.

    Modus ponens

    Considera este argumento:

    • Si el cobre es un metal, entonces conduce la electricidad.
    • El cobre es un metal.
    • Entonces, el cobre conduce la electricidad.

    Observe que tiene una estructura similar en comparación con esta:

    • Si mañana hay tormenta, el parque cerrará.
    • Mañana habrá tormenta.
    • Por lo que el parque cerrará.

    Ambos argumentos son, por supuesto, válidos. Lo que es común entre ellos es que tienen la misma estructura o forma:

    • Si P entonces Q.
    • P.
    • Por lo tanto Q.

    Aquí, las letras P y Q son letras de oración. Se utilizan para traducir o representar declaraciones.

    Al reemplazar P y Q con frases apropiadas, podemos generar los argumentos válidos originales.

    Esto demuestra que los dos argumentos tienen una forma común. También es en virtud de esta forma que los argumentos son válidos, pues podemos ver que cualquier argumento de la misma forma es un argumento válido.

    Debido a que este patrón particular de argumento es bastante común, se le ha dado un nombre. Se le conoce como modus ponens.

    No obstante, no confundas modus ponens con la siguiente forma de argumentación, afirmando lo consecuente, ¡que no es válido!

    • Si P entonces Q.
    • Q.
    • Por lo tanto, P.

    A menudo es un error razonar con un argumento de esta forma. Esto no es válido:

    • Si Jane vive en Londres, entonces Jane vive en Inglaterra.
    • Jane vive en Inglaterra.
    • Por lo tanto Jane vive en Londres.

    Aquí hay algunos otros patrones de argumento válido.

    Modus tollens

    • Si P entonces Q.
    • No-Q.
    • Por lo tanto, no-P.

    Aquí, no-Q simplemente significa la negación de Q. Entonces si Q significa Hoy está caliente., entonces no-Q se puede usar para traducir No es el caso de que hoy esté caliente, o Hoy no está caliente.

    • Si hubiera un sismo importante, lo habríamos sentido.
    • No sentimos nada.
    • Entonces, no hubo sismo mayor.

    Pero sí distinguir modus tollens del siguiente patrón falaz de argumento, Negando el antecedente:

    • Si P entonces Q.
    • No-P.
    • Por lo tanto, no-Q.

    Un ejemplo:

    • Si Elsie es competente, obtendrá un ascenso.
    • Pero Elsie no es competente.
    • Por lo que no va a conseguir un ascenso.

    Silogismo hipotético

    • Si P entonces Q.
    • Si Q entonces R.
    • Por lo tanto, si P entonces R.

    Ejemplo: Si Dios creó el universo, entonces el universo será perfecto. Si el universo es perfecto, entonces no habrá mal. Entonces, si Dios creó el universo, no habrá mal.

    Silogismo Disyuntivo

    • P o Q.
    • No-P.
    • Por lo tanto, Q.

    Ejemplo: O el gobierno trae reformas educativas más sensatas, o las únicas escuelas buenas que quedan serán privadas para niños ricos. El gobierno no va a llevar a cabo sensatas reformas educativas. Por lo que las únicas escuelas buenas que quedan serán privadas para niños ricos.

    Dilema

    • P o Q.
    • Si P entonces R.
    • Si Q entonces S.
    • Por lo tanto, R o S.

    Cuando R es lo mismo que S, tenemos una forma más simple:

    • P o Q.
    • Si P entonces R.
    • Si Q entonces R.
    • Por lo tanto, R.

    Ejemplo: O aumentamos la tasa impositiva o no lo hacemos.Si lo hacemos, la gente va a estar infeliz.Si no lo hacemos, la gente también será infeliz. (Porque el gobierno no va a tener suficiente dinero para proveer los servicios públicos). Entonces la gente va a ser infeliz de todos modos.

    Discutiendo por Reductio ad Absurdum

    El nombre latino aquí simplemente significa reducido al absurdo. En realidad es una aplicación de modus tollens. Es un método para probar que una determinada declaración S es falsa:

    • Primero asumamos que S es cierto.
    • Desde el supuesto de que es cierto, probar que conduciría a una contradicción o a alguna otra afirmación que sea falsa o absurda.
    • Concluir que S debe ser falso.

    Por ejemplo, supongamos que alguien afirma que el derecho a la vida es absoluto y siempre es incorrecto matar una vida, pase lo que pase. Supongamos que esto es cierto. Tendríamos entonces que concluir que matar por legítima defensa también es erróneo. Pero seguramente esto no es aceptable. Si matar a un atacante es la única forma de salvar tu propia vida, entonces la mayoría de la gente estaría de acuerdo en que esto es moralmente permisible. Dado que la pretensión original lleva a una consecuencia inaceptable, debemos concluir que el derecho a la vida no es absoluto. Este tipo de método de reductio se utiliza en muchas pruebas matemáticas famosas.

    Otros Patrones

    Por supuesto, hay muchos otros patrones de argumentos deductivamente válidos. Es comprensible que tal vez no recuerdes los nombres de todos estos patrones. Lo importante es que puedas distinguir los válidos de los inválidos, y construir ejemplos propios.


    This page titled 1.8: Patrones de argumentos válidos is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Joe Y.F. Lau.