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 ciertasrestricciones 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 ofPropositions" publicado en Matematicheskii Sbornik.
Contenido
[ocultar] 1 Objetivos
2 Características
3 Véase también
4 Bibliografía
5 Enlaces externos
[editar] ObjetivosEl 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 esnueva: 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 subsistenincluso 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 implicacualquier 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 lasubstancia del tema entre premisas y la conclusión.
[editar] 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 elconsecuente 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...
Regístrate para leer el documento completo.