Saltar al contenido principal
LibreTexts Español

11.6: Lógicas Modal

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

    Template:MathJaxZach

    Considera el siguiente ejemplo de una oración condicional:

    Si Jeremy está solo en esa habitación, entonces está borracho y desnudo y bailando en las sillas.

    Este es un ejemplo de una afirmación condicional que puede ser materialmente cierta pero no obstante engañosa, ya que parece sugerir que existe un vínculo más fuerte entre el antecedente y la conclusión aparte de simplemente que o bien el antecedente es falso o el consecuente verdadero. Es decir, la redacción sugiere que la afirmación no sólo es cierta en este mundo en particular (donde puede ser trivialmente cierto, porque Jeremy no está solo en la sala), sino que, además, la conclusión habría sido cierta si el antecedente hubiera sido cierto. En otras palabras, se puede tomar la aseveración en el sentido de que la afirmación es cierta no sólo en este mundo, sino en cualquier mundo “posible”; o que es necesariamente cierto, en contraposición a solo cierto en este mundo en particular.

    La lógica modal fue diseñada para dar sentido a este tipo de necesidad. Se obtiene la lógica proposicional modal de la lógica proposicional ordinaria agregando un operador de caja; es decir, si\(A\) es una fórmula, así es\(\Box A\). Intuitivamente,\(\Box A\) afirma que\(A\) es necesariamente cierto, o cierto en cualquier mundo posible. \(\Diamond A\)generalmente se toma como una abreviatura de\(\lnot \Box \lnot A\), y puede leerse como afirmar que posiblemente\(A\) sea cierto. Por supuesto, la modalidad también se puede agregar a la lógica del predicado.

    Las estructuras Kripke se pueden utilizar para proporcionar una semántica para la lógica modal; de hecho, Kripke primero diseñó esta semántica con la lógica modal en mente. En lugar de restringirse a órdenes parciales, más generalmente uno tiene un conjunto de “mundos posibles”\(P\), y una relación binaria de “accesibilidad”\(\Atom{R}{x,y}\) entre mundos. Intuitivamente,\(\Atom{R}{p,q}\) afirma que el mundo\(q\) es compatible con\(p\); es decir, si estamos “en” mundo\(p\), tenemos que entretener la posibilidad de que el mundo pudiera haber sido como\(q\).

    La lógica modal a veces se llama lógica “intensional”, a diferencia de una lógica “extensional”. La semántica pretendida para una lógica extensional, como la lógica clásica, sólo se referirá a un solo mundo, el “real”; mientras que la semántica para una lógica “intensional” se basa en una ontología más elaborada. Además de estructurar la necesidad, se puede utilizar la modalidad para estructurar otras construcciones lingüísticas, reinterpretando\(\Box\) y de\(\Diamond\) acuerdo a la aplicación. Por ejemplo:

    1. En lógica de comprobabilidad,\(\Box A\) se lee “\(A\)es probable” y\(\Diamond A\) se lee “\(A\)es consistente”.

    2. En la lógica epistémica, uno podría leer\(\Box A\) como “lo sé\(A\)” o “creo\(A\).

    3. En la lógica temporal, se puede leer\(\Box A\) como “siempre\(A\) es cierto” y\(\Diamond A\) como “a veces\(A\) es cierto”.

    A uno le gustaría aumentar la lógica con reglas y axiomas que traten de la modalidad. Por ejemplo, el sistema\(\Log{S4}\) consiste en los axiomas ordinarios y reglas de la lógica proposicional, junto con los siguientes axiomas:

    \ [\ begin {alineado}
    &\ Caja (A\ lif B)\ lif (\ Caja A\ lif\ Caja B)\\
    &\ Caja A\ lif A\\
    &\ Caja A\ lif\ Caja\ Caja A\ final {alineada}\]

    así como una regla, “de\(A\) concluir”\(\Box A\). \(\Log{S5}\)agrega el siguiente axioma:

    \[\Diamond A \lif \Box \Diamond A\nonumber\]

    Las variaciones de estos axiomas pueden ser adecuadas para diferentes aplicaciones; por ejemplo, generalmente se toma S5 para caracterizar la noción de necesidad lógica. Y lo bueno es que normalmente se puede encontrar una semántica para la cual el sistema de prueba es sólido y completo al restringir la relación de accesibilidad en las estructuras de Kripke de manera natural. Por ejemplo,\(\Log{S4}\) corresponde a la clase de estructuras Kripke en las que la relación de accesibilidad es reflexiva y transitiva. \(\Log{S5}\)corresponde a la clase de estructuras Kripke en las que la relación de accesibilidad es universal, es decir que cada mundo es accesible desde todos los demás; así\(\Box A\) sostiene si y sólo si se\(A\) sostiene en cada mundo.


    This page titled 11.6: Lógicas Modal is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .