CONSISTENCIA LÓGICA
DEFINICIÓN:
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen
los sistemas formales cuando no es posible deducir una contradicción dentro
del sistema. Es decir, dado un lenguaje formal y un aparato deductivo
(axiomas y reglas de inferencia), no es posible deducir una fórmula y su
negación. La existencia de un modelo implica que una teoría lógica es
consistente.
Generalizando, la consistencia es una propiedad que pueden tener
los conjuntos de fórmulas. Intuitivamente, un conjunto de fórmulas es
consistente cuando no es posible deducir una contradicción del mismo. Es
decir, dado un lenguaje formal y un aparato deductivo, no es posible demostrar
una fórmula y su negación. Equivalentemente, esto se puede expresar diciendo
que para ninguna proposición lógica.
EJEMPLO
Por ejemplo, considérese el siguiente conjunto de fórmulas de la lógica
proposicional: { p, q, (q→￢p), r }. Utilizando la regla de inferencia del modus
ponens entre q y (q→￢p), es posible deducir ￢p. Luego, según la definición
sintáctica de consistencia, el conjunto es inconsistente. Para evaluar si el
conjunto es consistente según la definición semántica, podemos construir
una tabla de verdad:
CORRECCIÓN
GRAMATICAL
DEFINICÓN
El segundo nivel lo ocupa la corrección gramatical (en adelante, CG). Se
encarga de eliminar los errores que provienen del desconocimiento de la
gramática, los que empobrecen claramente la calidad de un texto, y
deslegitiman en buena medida la autoridad del autor pues, quien no maneja su
idioma, de qué pretende dar lecciones. Se trata de una corrección exhaustiva,
que requiere un alto grado de concentración, además de un sólido y profundo
conocimiento de las normas que rigen la lengua española.
Con la CG se evitan errores que no parecen descuidos excusables, sino más
bien demostraciones de ignorancia que enturbian argumentaciones claramente
expuestas. Me refiero a usos como *”han (ha) habido varios terremotos”,
*”igual en la paz como (que) en la guerra”, *”en breves (pocos) días”.
Este nivel de corrección se recomienda especialmente para textos dirigidos a un
público de cierto nivel cultural, es decir, obras literarias, aunque cada vez más
se contrata, fuera del sector editorial, para la revisión de informes de
consultoría, planes para la administración, informes de financiación…
EJEMPLOS DE CORRECCIÓN GRAMATICAL:
ORIGINAL: La sostenibilidad del negocio de las empresas de LowCost tal
como funcionan hoy es muy discutida, aunque está por ver como evolucionará,
sobretodo en el ámbito del transporte aéreo, ya que hay
condicionantes económicos muy importantes como el precio del petróleo que
puede afectarle.
CORREGIDO: La sostenibilidad del negocio de las empresas de low cost tal
como funcionan en la actualidad es muy discutida y está por ver cómo
evolucionarán, sobre todo en el ámbito del transporte aéreo, ya que
existen condicionantes económicos muy importantes que pueden afectarle,
como el precio del petróleo.
ORIGINAL: Sin embargo, es importante
analizar ciertos componentes naturales de los alimentos (sin incluir los
compuestos tóxicos y que son abordados por la toxicología alimentaria),
los cuales no se consideran nutrientes como tal, pero que
son indudables su importancia a nivel de interferir o facilitar la absorción de los
nutrientes, así como de efectos beneficiosos o perjudiciales para el organismo.
CORREGIDO: Sin embargo, es importante
analizar ciertos componentes naturales de los alimentos (sin incluir los
compuestos tóxicos y que son abordados por la toxicología alimentaria) que no
se consideran nutrientes como tal, pero cuya importancia es indudable
en cuanto a interferir o facilitar la absorción de los nutrientes, así como
a efectos beneficiosos o perjudiciales para el organismo.
