11.4.4: Historia de la Lógica Sentencial
- Page ID
- 101929
\( \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}\)Lógica Sentencial fue creada en el 225 a.C.E. por el antiguo lógico griego Chrysippus. Ese conocimiento de la lógica se perdió en la Edad Oscura pero fue redescubierto por el filósofo francés Abelardo en el siglo XII. El sistema de tablas de la verdad para la Lógica Sentencial fue inventado en 1902 por el lógico estadounidense Charles Peirce para mostrar cómo la verdad de algunas frases afectará la verdad de otras. Las tablas de la verdad fueron redescubiertas independientemente por Ludwig Wittgenstein y Emil Post.
No hemos explorado un sistema de prueba en este libro, pero un sistema de prueba para la Lógica Sentencial fue desarrollado en 1879 por el lógico alemán Gottlob Frege para permitirnos crear pruebas análogas a pruebas en geometría plana en las que se utilizan reglas de inferenc e y axiomas para inferir una oración de previamente establecidas oraciones sin saber nada de qué oraciones son verdaderas. Una prueba es una lista de oraciones, una secuencia de pasos. Una regla típica de inferencia es modus ponens:
De cualquiera de dos pasos de una prueba que tenga los formularios P y también P→Q podrá agregar un nuevo paso del formulario Q.
Las oraciones P y Q pueden ser complicadas; no necesitan ser simples letras de oración. Al aplicar esta o cualquier otra regla de inferencia, no hay necesidad de conocer o mencionar el verdad-valor de las oraciones involucradas. El sistema de prueba para la Lógica Sentencial a menudo se llama Cálculo Sentencial. Si la Lógica Sentencial va en cambio por el nombre de Lógica Proposicional, entonces su sistema de prueba se llama Cálculo Proposicional.
Cualquier argumento que pueda demostrarse válido por el método de las tablas de verdad es también aquel cuya conclusión pueda probarse desde sus premisas utilizando axiomas y reglas de inferencia en el sistema de prueba. Esta propiedad de Lógica Sentencial se llama integridad. La integridad del Cálculo Sentencial fue probada por primera vez por el lógico estadounidense Emil Post en 1921.
La Lógica Sentencial también tiene la propiedad inversa, que cualquier argumento que sea demostrable también es válido. Entonces, la validez y la demostrabilidad llegan a lo mismo en el sentido de que el conjunto de argumentos que son válidos es también el conjunto de argumentos cuya conclusión se puede probar desde sus premisas.
Cuando existe un método mecánico que en principio podría responder a todas las preguntas de cierto tipo sin dar nunca una respuesta equivocada y siempre dando alguna respuesta en un tiempo finito y nunca confiando en la probabilidad o la creatividad, se dice que el método decide la pregunta. El método de la tabla de la verdad puede utilizarse para decidir la cuestión de qué oraciones de Lógica Sentencial son verdades lógicas, es decir, tautologías. También hacemos el punto diciendo la verdad lógica en la Lógica Sentencial es decidible. También es decidible la cuestión de si una secuencia arbitraria de símbolos es una oración bien formada de la Lógica Sentencial. ¿Te imaginas cómo diseñar un programa de computadora que, cuando se le da la entrada de cualquier cadena de símbolos, siempre te dirá correctamente si es una oración bien formada en Lógica Sentencial?
Las computadoras son máquinas lógicas en dos sentidos: su diseño electrónico sigue principios básicos de la lógica simbólica, y sus programas también se basan en principios de lógica simbólica. El primer lenguaje de programación evolucionó a partir de un lenguaje formal para la lógica simbólica.
La lógica de tres valores fue inventada por el lógico británico Hugh MacColl en 1906. Jan Łukasiewicz fue otro defensor temprano de la lógica de tres valores. Entregó una “conferencia de despedida” a la Universidad de Varsovia en 1918, en la que anunció dramáticamente: “He declarado una guerra espiritual a toda coerción que restringe la libre actividad creativa del hombre”. La forma lógica de esta coerción, a juicio de Łukasiewicz, era la lógica aristotélica, que restringía las proposiciones a verdaderas o falsas. Su propia arma en esta guerra era la lógica de tres valores.