Lógica relevante

Lógica relevante

La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación.

La lógica relevante fue propuesta en 1928 por el filósofo ruso Iván Orlov (1886 - circa 1936) en un escrito estrictamente matemático titulado "The Logic of Compatibility of Propositions" publicado en Matematicheskii Sbornik.

Contenido

Objetivos

El objetivo de la lógica relevante es capturar los aspectos de la implicación que son ignorados por el operador del condicional material en la logica clásica veritativo-funcional. Esta idea no es nueva: Clarence Irving Lewis propuso el condicional estricto, sobre la base que la lógica clásica sostiene, por ejemplo, que una falsedad implica cualquier proposición. Por lo tanto "Si yo soy el Papa, entonces 2 + 2 = 5 es verdadero". Pero claramente aunque yo fuera el Papa, 2 + 2 seguiría sin ser 5. Por lo tanto la relación de implicación debe ser necesaria.

Algunos otros problemas subsisten incluso después que se eliminan las paradojas de la implicación material. Anderson y Belnap (ver abajo) enumeran varias "paradojas de estricta aplicación": por ejemplo, una contradicción todavía implica cualquier cosa, y cualquier cosa implica una tautología. Lo que no resulta intuitivo es que la implicación - como normalmente se usa dicho término - requiere que exista algún tipo de conexión en la substancia del tema entre premisas y la conclusión.

Características

La diferencia entre lógica clásica y la relevante es que en esta última la semántica requiere que el antecedente y el consecuente de una implicación sean relacionados de manera relevante. En términos de una restricción sintáctica para el cálculo proposicional, es necesario, pero no suficiente, que las premisas y la conclusión compartan fórmulas atómicas. En un cálculo predicativo, la relevancia requiere que se compartan las variables y constantes entre las premisas y la conclusión. Esto puede ser asegurado (junto con otras condiciones más estríctas) por ejemplo colocando ciertas restricciones a las reglas del sistema de deducción natural.

En particular, una deducción natural en estilo de Fitch puede ser adaptada para introducir la relevancia introduciendo etiquetas en el extremo final de cada línea de una derivación indicando las premisas “relevantes”. El cálculo mediante el estilo de Gentzen puede ser modificado eliminando las reglas de debilitamiento que permiten la introducción de fórmulas arbitrarias en el lado derecho o izquierdo de las secuencias "sequents".

La idea básica de la implicación relevante aparece en la lógica medieval, y algún trabajo pionero fue hecho por Ackermann, Moh, y Church hacia 1950. Sobre la base del trabajo de ellos, Nuel Belnap y Alan Ross Anderson (con otros) escribió el trabajo maestro sobre el tema, "Entailment: The Logic of Relevance and Necessity" hacia 1970. Ellos trataron sistemas de implicación y sistemas de relevancia, donde el sistema de implicación se supone es relevante y necesario.

Una característica notable de las lógicas relevantes es que son lógicas paraconsistentes: la existencia de una contradicción no causará una explosión. Esto se deriva del hecho de que un condicional con un antecedente contradictorio que no comparte ninguna letra del propositional o del predicado con el consecuente no puede ser verdad.

Véase también

Bibliografía

  • Alan Ross Anderson and Nuel Belnap, 1975. Entailment:the logic of relevance and necessity, vol. I. Princeton University Press.
  • ------- and J. M. Dunn, 1992. Entailment: the logic of relevance and necessity, vol. II, Princeton University Press.
  • Mares, Edwin, and Meyer, R. K., 2001, "Relevant Logics", en Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… …   Wikipedia Español

  • Paradojas de la implicación material — Saltar a navegación, búsqueda Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.[1] Algunas …   Wikipedia Español

  • Nuel Belnap — Nuel D. Belnap, Jr. (n. 1930) es un filósofo y lógico norteamericano que ha realizado importantes aportes en el campo de la filosofía de la lógica, lógica temporal, y teoría de la demostración estructural. Desee 1961 dicta cátedra en la… …   Wikipedia Español

  • Lista de artículos que toda Wikipedia debería tener — Wikipedia:Lista de artículos que toda Wikipedia debería tener Saltar a navegación, búsqueda Atajo WP:VITALWP:VITAL Ayuda de edición …   Wikipedia Español

  • Condicional estricto — En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que dice que A implica… …   Wikipedia Español

  • Wikipedia:Lista de artículos que toda Wikipedia debería tener — Atajo WP:VITALWP:VITAL Ayuda de edición Antes de comenzar …   Wikipedia Español

  • Pretérito perfecto compuesto — Saltar a navegación, búsqueda El pretérito perfecto compuesto es un tiempo verbal relativo de aspecto perfectivo. Es un tiempo verbal empleado en el discurso hablado de manera habitual únicamente en la península ibérica, con la excepción de… …   Wikipedia Español

  • Café (todos) — Wikipedia:Café (todos) Saltar a navegación, búsqueda Atajos WP:C …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”