1.6: Conceptos lógicos básicos
- Page ID
- 92842
\( \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}\)Consistencia
Dos (o más) declaraciones son inconsistentes entre sí cuando es lógicamente imposible que todas ellas sean ciertas al mismo tiempo. Por ejemplo: La tierra es plana, y La tierra es esférica son declaraciones inconsistentes ya que nada puede ser tanto plano como esférico. Por otro lado, si tienes dos afirmaciones cualesquiera que sean ambas verdaderas, ciertamente son consistentes.
Encarcelamiento
Una frase X implica Y si Y sigue lógicamente de X. En otras palabras, si X es verdad entonces Y también debe ser verdad, e.g. 30 personas han muerto en los disturbios implica que más de 20 personas murieron en los disturbios, pero no viceversa.
Si X implica Y y nos enteramos de que Y es falso, entonces deberíamos concluir que X también es falso. Pero claro, si X implica Y y nos enteramos de que X es falso, no se deduce que Y también es falso.
Si X implica Y pero Y no implica X, entonces decimos que X es un reclamo más fuerte que Y (o Y es más débil que X). Por ejemplo, todas las aves pueden volar es más fuerte de lo que la mayoría de las aves pueden volar, que aún es más fuerte de lo que algunas aves pueden volar.
Una afirmación más fuerte es, por supuesto, más probable que se equivoque. Para usar un ejemplo típico, supongamos que queremos alabar a una persona X pero no estamos seguros de si X es el mejor o no, podríamos usar la afirmación más débil “X es una de las mejores” en lugar de la más fuerte “X es la mejor”. Por lo que no es necesario que nos acusen de hablar falsamente aunque resulte que X no es el mejor.
Equivalencia lógica
Si dos declaraciones se implican entre sí entonces son lógicamente equivalentes. Por ejemplo, todo el mundo está enfermo equivale a que nadie no está enfermo, y las cosas baratas no son buenas en realidad equivale a las cosas buenas no son baratas. Si dos afirmaciones son lógicamente equivalentes, entonces necesariamente deben tener siempre el mismo valor de verdad.
Argumentos
En el uso ordinario, la palabra “argumento” suele utilizarse para referirse a una acalorada disputa entre dos o más partes. Pero en lógica y pensamiento crítico, el término tiene un significado diferente. Aquí, un argumento se toma como una lista de declaraciones, una de las cuales es la conclusión y las otras son las premisas (suposiciones) del argumento. Dar un argumento es proporcionar un conjunto de premisas como razones para aceptar la conclusión. La capacidad de construir, identificar y evaluar argumentos es una parte crucial del pensamiento crítico. Todos tenemos muchas opiniones sobre muchas cosas, pero la mayoría de la gente no es buena para dar argumentos en apoyo de sus opiniones.
Aquí hay un ejemplo de un breve argumento conformado por tres afirmaciones. Las dos primeras declaraciones son las premisas, y la última es la conclusión:
- Cada estrella produce radiación.
- El Sol es una estrella.
- Por lo tanto, el Sol produce radiación.
Los argumentos en la vida real a menudo no se presentan de una manera tan ordenada, con las premisas y conclusiones claramente establecidas. Entonces, ¿cómo los identificamos? No hay reglas mecánicas fáciles, y por lo general tenemos que apoyarnos en el contexto para determinar cuáles son las premisas y las conclusiones. Pero a veces el trabajo puede ser más fácil por la presencia de ciertos indicadores de premisa o conclusión. Por ejemplo, si una persona hace una declaración, y luego agrega “esto es porque...”, entonces es muy probable que la primera declaración se presente como conclusión, apoyada en las declaraciones que vienen después. Palabras como “después de todo”, “suponga” y “ya que” también se utilizan a menudo para preceder a las premisas. Las conclusiones, por otro lado, suelen ir precedidas de palabras como “por lo tanto”, “así”, “se deduce que”.
El secreto de una buena habilidad de lectura y escritura es desarrollar la capacidad de construir y resumir argumentos, y presentar argumentos de manera clara y sistemática. Lo mismo vale para dar buenas presentaciones.