Consecuencia lógica


Consecuencia lógica

En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.[1] La relación de consecuencia lógica es por lo tanto un concepto central a la lógica.[1] Dos características generalmente aceptadas de la relación de consecuencia lógica son que es necesaria y además formal.[1]

Contenido

Explicaciones de la consecuencia lógica

En esta sección se introducen algunas explicaciones conocidas de la noción de consecuencia lógica.

Consecuencia semántica

Una manera estándar de caracterizar a la noción de consecuencia lógica es a través de la teoría de modelos.[1] A la noción de consecuencia lógica definida de esta manera se la llama consecuencia semántica, para distinguirla de otras concepciones de la misma noción. Según esta estrategia, una conclusión es una consecuencia lógica de las premisas cuando es imposible que las premisas sean verdaderas y la conclusión falsa. O dicho más precisamente, cuando toda interpretación que hace verdaderas a las premisas también hace verdadera a la conclusión.[1] Es decir, cuando todo modelo de las premisas es también un modelo de la conclusión.[1]

Cuando una conclusión A es una consecuencia semántica de un conjunto de premisas Γ en un lenguaje formal L, se escribe:

\Gamma \models_{L} A

Consecuencia sintáctica

Otra manera de caracterizar a la relación de consecuencia lógica es a través de la teoría de la demostración.[1] A la noción de consecuencia lógica definida de esta manera se la llama consecuencia sintáctica, para distinguirla de otras concepciones de la misma noción. Según esta estrategia, una conclusión es una consecuencia lógica de las premisas cuando existe una demostración de la conclusión a partir de las premisas.[1] Es decir cuando, usando solamente las premisas, los axiomas y las reglas de inferencia permitidas, es posible construir una derivación de la conclusión.

Cuando una conclusión A es una consecuencia sintáctica de un conjunto de premisas Γ en un sistema formal S, se escribe:

\Gamma \vdash_{S} A

Véase también

Notas y referencias

  1. a b c d e f g h Beall, JC; Restall, Greg, «Logical Consequence», en Edward N. Zalta (en inglés), Stanford Encyclopedia of Philosophy (Fall 2009 Edition), http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ 

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   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

  • Lógica paraconsistente — Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos… …   Wikipedia Español

  • consecuencia — (f) (Básico) hecho que es el resultado de otro y que acontece después del primero Ejemplos: La pérdida del cabello puede ser consecuencia de los nervios. La muerte de Ana fue consecuencia del accidente provocado por un joven que conducía el coche …   Español Extremo Basic and Intermediate

  • consecuencia — (Del lat. consequentĭa). 1. f. Hecho o acontecimiento que se sigue o resulta de otro. 2. Correspondencia lógica entre la conducta de una persona y los principios que profesa. 3. Fil. Proposición que se deduce de otra o de otras, con enlace tan… …   Diccionario de la lengua española

  • consecuencia — sustantivo femenino 1. Cosa que se deriva o es el resultado de otra cosa: El mal tiempo es consecuencia de la borrasca. Las consecuencias de tu comportamiento pasado son las que te ocasionan los problemas que ahora tienes. 2. Correspondencia… …   Diccionario Salamanca de la Lengua Española

  • consecuencia — (Derivado de consecuente.) ► sustantivo femenino 1 Hecho que resulta o se sigue de otro: ■ la crisis es consecuencia de la mala gestión. 2 SICOLOGÍA Correspondencia entre la conducta de una persona y sus principios: ■ actúa en consecuencia con… …   Enciclopedia Universal