Representación del conocimiento textual mediante técnicas lógico ...

44 3. La Forma Lógica
de nuevo a otras pruebas.
Lógica matemática. La lógica matemática (Ben-Ari, 2001), también
llamada lógica simbólica, consiste en el estudio matemático de la lógica
y en la aplicación de este estudio a otras áreas de las matemáticas.
La lógica matemática estudia los sistemas formales en relación con el
modo en el que codifican conceptos intuitivos de objetos matemáticos
como conjuntos, números, demostraciones y computación. La lógica
matemática suele dividirse en cuatro subcampos: teoría de modelos,
teoría de la demostración, teoría de conjuntos y teoría de la recursión.
Lógica de primer orden (Fitting, 1990). La lógica de primer orden
(LPO) o cálculo de predicados de primer orden es cualquier sistema
de la lógica matemática que extiende la lógica proposicional empleando
variables, predicados y cuantificadores de variables. La lógica de
primer orden consta de objetos, propiedades de esos objetos y relaciones
entre los objetos. A lo largo del capítulo se profundiza en los
detalles de la lógica de primer orden.
Lógica de segundo orden (Manzano, 1996). La lógica de segundo orden
es una extensión de la lógica de primer orden en la que se añaden
variables y cuantificadores que operan sobre conjuntos de individuos.
Lógica booleana. La lógica booleana (Roth Jr., 2006), conocida también
como álgebra booleana, es un sistema matemático deductivo centrado
en los valores cero y uno (falso y verdadero). Su álgebra consiste
en un método para resolver problemas de lógica que recurre solamente
a los valores binarios 1 y 0 y a tres operadores fundamentales: and
(y), or (o) y not (no).
Empirismo lógico. El empirismo lógico, también denominado positivismo
lógico, sostiene que un enunciado es cognitivamente significativo
sólo si, posee un método de verificación empírica o es analítico.
Sólo los enunciados de la ciencia empírica cumplen con el primer requisito,
y sólo los enunciados de la lógica y las matemáticas cumplen
con el segundo.
Para manejar formalmente el conocimiento humano descrito en los textos
es necesario disponer de un elemento que permita, por una parte, tener
una representación formal del conocimiento y, por otra parte, hacer
deducciones sobre el conocimiento que se está representando (Garrido,
2003). Este elemento es la forma lógica y se compone de una secuencia
de uno o más predicados relacionados entre sí. Cada predicado tiene,
al menos, un argumento, pudiendo tener varios según el tipo de predicado.
Cada uno de los argumentos de los predicados queda instanciado