Lgica de la relevancia (relevance logic) Tambin llamada lgica relevante o lgica del entraamiento.

Rechaza la verdad de condicionales en las que el antecedente es irrelevante para el consecuente pues no comparte trminos con l. Los orgenes de esta lgica se remontan al artculo Fundamentacin de una implicacin fuerte de W. Ackermann (1956) pero su desarrollo y sistematizacin se deben a Alan Ross Anderson y Nuel D. Belnap (1962). Justamente, en la lgica clsica el uso del conector condicional produce las llamadas paradojas de la implicacin material que resultan de conectar informaciones que nada tienen que ver entre s. Recordemos que en la lgica clsica, un enunciado condicional A B es falso cuando su antecedente A es verdadero y su consecuente B es falso. De ello se sigue los siguientes esquemas inferenciales: 1) A (B A) Si A es un enunciado verdadero, A es implicado por cualquier otro enunciado B 2) A ( A B) Si A es un enunciado falso, A implica cualquier otro enunciado Pero es estos esquemas dan lugar a inferencias como: 3) Si la Luna es de queso, entonces 2+2=4 4) Si 2+2 4, entonces la Luna es de queso. Vemos que estos casos entran en conflicto con la idea ordinaria de inferencia vlida. A estos se les llama paradojas de la implicacin material. C. I. Lewis, considerado el pionero en las investigaciones sobre la relevancia, propone sistemas alternativos para corregir estas paradojas. Pero, de nuevo surgen estructuras anlogas a las anteriores. Estas son: 3 (B 3 Si A es un enunciado necesariamente verdadero, A es implicado estrictamente por cualquier otro enunciado B 6) 3 (A 3 B) Si A es un enunciado necesariamente falso, A implica estrictamente a cualquier otro enunciado B Pero, nuevamente, estos esquemas dan lugar a inferencias como: 7) Si la Luna es de queso, entonces 2+2=4 Si 2+2 4 8) Si 2+2=4 y Si 2+2 4, entonces la Luna es de queso Estos ltimos casos problemticos son denominados ejemplos paradigmticos de las paradojas de la implicacin estricta. La lgica de la relevancia se construye precisamente para evitar estos inconvenientes y as lograr que la deduccin sea ms adecuada. La idea es que entre premisas y conclusiones los contenidos semnticos no sean diferentes, sino de alguna forma vinculados. Para ello se necesita que premisa y conclusin tengan al menos una variables proposicional en comn. Asimismo, las premisas que aparecen como antecedentes, deben ser usadas para lograr derivar la conclusin para que guarden entre s cierta relacin.