11.7: Otras lógicas

Última actualización
Guardar como PDF

Page ID: 103560

\( \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}}\)

Como ya habrán podido reunir, no es difícil diseñar una nueva lógica. Tú también puedes crear tu propia sintaxis, inventar un sistema deductivo y modelar una semántica para que la acompañe. Puede que tengas que ser un poco inteligente si quieres que el sistema de prueba esté completo para la semántica, y podría tomar un poco de esfuerzo convencer al mundo en general de que tu lógica es realmente interesante. Pero, a cambio, puedes disfrutar de horas de diversión buena y limpia, explorando las propiedades matemáticas y computacionales de tu lógica.

Las últimas décadas han sido testigos de una verdadera explosión de lógicas formales. La lógica difusa está diseñada para modelar el razonamiento sobre propiedades vagas. La lógica probabilística está diseñada para modelar el razonamiento sobre la incertidumbre. Las lógicas por defecto y las lógicas no monótonas están diseñadas para modelar formas derrotables de razonamiento, es decir, inferencias “razonables” que posteriormente pueden ser volcadas ante la nueva información. Hay lógicas epistémicas, diseñadas para modelar el razonamiento sobre el conocimiento; lógicas causales, diseñadas para modelar el razonamiento sobre las relaciones causales; e incluso lógicas “deónticas”, que están diseñadas para modelar el razonamiento sobre las obligaciones morales y éticas. Dependiendo de si la motivación principal para introducir estos sistemas es filosófica, matemática o computacional, es posible que encuentres estudios de tales criaturas bajo la rúbrica de lógica matemática, lógica filosófica, inteligencia artificial, ciencia cognitiva, o en otro lugar.

La lista sigue y sigue, y las posibilidades parecen infinitas. Puede que nunca alcancemos el sueño de Leibniz de reducir toda la razón humana al cálculo, pero eso no puede impedirnos intentarlo.