b'\n_START_ARTICLE_\nL\xc3\xb3gica relevante\n_START_PARAGRAPH_\nLa l\xc3\xb3gica relevante, tambi\xc3\xa9n llamada l\xc3\xb3gica de relevancia, es toda l\xc3\xb3gica perteneciente a una de las familias de l\xc3\xb3gicas sub-estructurales no cl\xc3\xa1sicas que impone ciertas restricciones en la implicaci\xc3\xb3n._NEWLINE_La l\xc3\xb3gica relevante fue propuesta en 1928 por el fil\xc3\xb3sofo ruso Iv\xc3\xa1n Orlov (1886 - circa 1936) en un escrito estrictamente matem\xc3\xa1tico titulado "The Logic of Compatibility of Propositions" publicado en Matematicheskii Sbornik.\n_START_SECTION_\nObjetivos\n_START_PARAGRAPH_\nEl objetivo de la l\xc3\xb3gica relevante es capturar los aspectos de la implicaci\xc3\xb3n que son ignorados por el operador del condicional material en la l\xc3\xb3gica cl\xc3\xa1sica veritativo-funcional. Esta idea no es nueva: Clarence Irving Lewis propuso el condicional estricto, sobre la base que la l\xc3\xb3gica cl\xc3\xa1sica sostiene, por ejemplo, que una falsedad implica cualquier proposici\xc3\xb3n. Por lo tanto "Si yo soy el Papa, entonces 2 + 2 = 5 es verdadero". Pero claramente aunque yo fuera el Papa, 2 + 2 seguir\xc3\xada sin ser 5. Por lo tanto la relaci\xc3\xb3n de implicaci\xc3\xb3n debe ser necesaria._NEWLINE_Algunos otros problemas subsisten incluso despu\xc3\xa9s de que se eliminan las paradojas de la implicaci\xc3\xb3n material. Anderson y Belnap (ver abajo) enumeran varias "paradojas de estricta aplicaci\xc3\xb3n",  por ejemplo, una contradicci\xc3\xb3n todav\xc3\xada implica cualquier cosa, y cualquier cosa implica una tautolog\xc3\xada. Lo que no resulta intuitivo es que la implicaci\xc3\xb3n - como normalmente se usa dicho t\xc3\xa9rmino - requiere que exista alg\xc3\xban tipo de conexi\xc3\xb3n en la substancia del tema entre premisas y la conclusi\xc3\xb3n.\n_START_SECTION_\nCaracter\xc3\xadsticas\n_START_PARAGRAPH_\nLa diferencia entre l\xc3\xb3gica cl\xc3\xa1sica y la relevante es que en esta \xc3\xbaltima la sem\xc3\xa1ntica requiere que el antecedente y el consecuente de una implicaci\xc3\xb3n sean relacionados de manera relevante. En t\xc3\xa9rminos de una restricci\xc3\xb3n sint\xc3\xa1ctica para el c\xc3\xa1lculo proposicional, es necesario, pero no suficiente, que las premisas y la conclusi\xc3\xb3n compartan f\xc3\xb3rmulas at\xc3\xb3micas. En un c\xc3\xa1lculo predicativo, la relevancia requiere que se compartan las variables y constantes entre las premisas y la conclusi\xc3\xb3n. Esto puede ser asegurado (junto con otras condiciones m\xc3\xa1s estrictas) por ejemplo colocando ciertas restricciones a las reglas del sistema de deducci\xc3\xb3n natural._NEWLINE_En particular, una deducci\xc3\xb3n natural en estilo de Fitch puede ser adaptada para introducir la relevancia introduciendo etiquetas en el extremo final de cada l\xc3\xadnea de una derivaci\xc3\xb3n  indicando las premisas \xe2\x80\x9crelevantes\xe2\x80\x9d. El c\xc3\xa1lculo mediante el estilo de Gentzen puede ser modificado eliminando las reglas de debilitamiento que permiten la introducci\xc3\xb3n de f\xc3\xb3rmulas arbitrarias en el lado derecho o izquierdo de las secuencias "sequents"._NEWLINE_La idea b\xc3\xa1sica de la implicaci\xc3\xb3n relevante aparece en la l\xc3\xb3gica medieval, y alg\xc3\xban 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\xc3\xb3 el trabajo maestro sobre el tema, "Entailment: The Logic of Relevance and Necessity" hacia 1970. Ellos trataron sistemas de implicaci\xc3\xb3n y sistemas de relevancia, donde el sistema de implicaci\xc3\xb3n se supone es relevante y necesario._NEWLINE_Una caracter\xc3\xadstica notable de las l\xc3\xb3gicas relevantes es que son l\xc3\xb3gicas paraconsistentes: la existencia de una contradicci\xc3\xb3n no causar\xc3\xa1 una explosi\xc3\xb3n. Esto se deriva del hecho de que un condicional con un antecedente contradictorio que no comparte ninguna letra del proposicional o del predicado con el consecuente no puede ser verdad.'