Saltar al contenido principal
LibreTexts Español

Sección 6: Lenguas formales

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

    Aquí hay un famoso argumento válido:

    Sócrates es un hombre.
    Todos los hombres son mortales.
    .. Sócrates es mortal.

    Este es un argumento férreo. La única manera de desafiar la conclusión es negando una de las premisas, la forma lógica es impecable. ¿Qué pasa con este siguiente argumento?

    Sócrates es un hombre.
    Todos los hombres son zanahorias.
    .. Sócrates es una zanahoria.

    Este argumento podría ser menos interesante que el primero, porque la segunda premisa es obviamente falsa. No hay un sentido claro en el que todos los hombres sean zanahorias. Sin embargo, el argumento es válido. Para ver esto, observe que ambos argumentos tienen esta forma:

    \(S\)es\(M\).
    Todos los\(M\) s son\(C\).
    .. \(S\)es\(C\).

    En ambos argumentos\(S\) significa Sócrates y\(M\) significa hombre. En el primer argumento,\(C\) significa mortal; en el segundo,\(C\) significa zanahoria. Ambos argumentos tienen esta forma, y cada argumento de esta forma es válido. Por lo que ambos argumentos son válidos.

    Lo que hicimos aquí fue reemplazar palabras como 'hombre' o 'zanahoria' por símbolos como 'M' o 'C' para hacer explícita la forma lógica. Esta es la idea central detrás de la lógica formal. Queremos eliminar las características irrelevantes o que distraen del argumento para hacer que la forma lógica sea más perspicaz.

    Comenzando con un argumento en un lenguaje natural como el inglés, traducimos el argumento a un lenguaje formal. Partes de las frases en inglés se sustituyen por letras y símbolos. El objetivo es revelar la estructura formal del argumento, como hicimos con estos dos.

    Hay lenguajes formales que funcionan como la simbolización que dimos para estos dos argumentos. Una lógica como esta fue desarrollada por Aristóteles, un filósofo que vivió en Grecia durante el siglo IV a.C. Aristóteles fue alumno de Platón y tutor de Alejandro Magno. La lógica de Aristóteles, con algunas revisiones, fue la lógica dominante en el mundo occidental durante más de dos milenios.

    En la lógica aristotélica, las categorías se sustituyen por letras mayúsculas. Cada frase de un argumento se representa entonces como teniendo una de cuatro formas, que los logísticos medievales etiquetaron de esta manera: (A) Todas las\(A\)\(B\) s son s. (E) No\(A\)\(B\) s son s. (I) Algunos\(A\) son\(B\). (O) Algunos no\(A\) lo son\(B\).

    Entonces es posible describir silogismos válidos, argumentos de tres líneas como los dos que consideramos anteriormente. Los logísticos medievales dieron nombres mnemotécnicos a todas las formas de argumento válidas. La forma de nuestros dos argumentos, por ejemplo, se llamaba Bárbara. Las vocales en el nombre, todas As, representan el hecho de que las dos premisas y la conclusión son todas (A) frases de forma.

    Hay muchas limitaciones a la lógica aristotélica. Una es que no hace distinción entre clases e individuos. Entonces la primera premisa bien podría escribirse 'All\(S\) s are\(M\) s': Todos los sócrateses son hombres. A pesar de su importancia histórica, la lógica aristotélica ha sido reemplazada. El resto de este libro desarrollará dos lenguajes formales.

    El primero es SL, que significa lógica sentencial. En SL, las unidades más pequeñas son las propias oraciones. Las oraciones simples se representan como letras y se conectan con conectivos lógicos como 'y' y 'no' para hacer oraciones más complejas.

    El segundo es QL, que significa lógica cuantificada. En QL, las unidades básicas son objetos, propiedades de objetos y relaciones entre objetos.

    Cuando traducimos un argumento a un lenguaje formal, esperamos que su estructura lógica sea más clara. Queremos incluir suficiente de la estructura del argumento del idioma inglés para que podamos juzgar si el argumento es válido o inválido. Si incluyéramos todas las características del idioma inglés, toda la sutileza y matiz, entonces no habría ninguna ventaja en traducir a un idioma formal. Bien podríamos pensar en el argumento en inglés.

    Al mismo tiempo, nos gustaría un lenguaje formal que nos permita representar muchos tipos de argumentos del idioma inglés. Esta es una razón para preferir QL a la lógica aristotélica; QL puede representar cada argumento válido de la lógica aristotélica y más.

    Entonces, al decidir sobre un lenguaje formal, inevitablemente hay una tensión entre querer capturar la mayor cantidad de estructura posible y querer un lenguaje formal simple, los lenguajes formales más simples dejan fuera más. Esto quiere decir que no existe un lenguaje formal perfecto. Algunos harán un mejor trabajo que otros en la traducción de argumentos particulares en idioma inglés.

    En este libro, hacemos la suposición de que verdadero y falso son los únicos valores de verdad posibles. Los lenguajes lógicos que hacen esta suposición se denominan bivalentes, lo que significa de dos valores. La lógica aristotélica, SL y QL son todas bivalentes, pero hay límites para el poder de la lógica bivalente. Por ejemplo, algunos filósofos han afirmado que el futuro aún no está determinado. Si tienen razón, entonces las oraciones sobre lo que será el caso aún no son verdaderas ni falsas. Algunos lenguajes formales acomodan esto al permitir oraciones que no son ni verdaderas ni falsas, sino algo intermedio. Otros lenguajes formales, las llamadas lógicas paraconsistentes, permiten oraciones que son a la vez verdaderas y falsas.

    Las lenguas que se presentan en este libro no son las únicas lenguas formales posibles. Sin embargo, la mayoría de las lógicas no estándar se extienden sobre la estructura formal básica de las lógicas bivalentes discutidas en este libro. Entonces este es un buen lugar para comenzar.

    Resumen de nociones lógicas

    ~Un argumento es (deductivamente) válido si es imposible que las premisas sean verdaderas y la conclusión falsa; no es válida en caso contrario.
    ~Una tautología es una oración que debe ser verdadera, como cuestión de lógica.
    ~Una contradicción es una frase que debe ser falsa, como cuestión de lógica.
    ~Una sentencia contingente no es ni una tautología ni una contradicción.
    ~Dos oraciones son lógicamente equivalentes si necesariamente tienen el mismo valor de verdad.
    ~Un conjunto de oraciones es consistente si es lógicamente posible que todos los miembros del conjunto sean verdaderos al mismo tiempo; de lo contrario es inconsistente.


    This page titled Sección 6: Lenguas formales is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .