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

3. La Forma Lógica
El instrumento fundamental de comunicación humana son las lenguas
naturales. Las lenguas naturales están formadas por palabras que se relacionan
y estructuran formando oraciones. Uno de los principales tipos
de oraciones son las del tipo declarativo que se utilizan para la descripción
del conocimiento.
Aristóteles (384 adC - 322 adC) fue el primero en emplear el término
“Lógica” para referirse al estudio de los argumentos dentro del lenguaje
natural. En el Organon 1 , Aristóteles la define como ‘el arte de la argumentación
correcta y verdadera. Luego, podemos deducir que desde
antes de Cristo, ya existía una estrecha relación entre la lógica y la lengua
natural. Se plantea otra definición más aplicada de la lógica como
la disciplina que estudia los métodos de formalización del conocimiento
humano (Sperschneider & Antoniou, 1991).
Existen diferentes sistemas lógicos tales como lógica aristotélica, lógica
baconiana, lógica matemática, lógica de primer orden, lógica de segundo
orden, lógica booleana y empirismo lógico que a continuación se pasa a
describir brevemente:
Lógica aristotélica. La lógica aristotélica (Lear, 1980) (Parry & Hacker,
1991) se ocupa del estudio de los conceptos, dedicando especial
atención a los predicables, y de las categorías (o predicamentos), que
se completa con el análisis de los juicios y de las formas de razonamiento,
prestando especial atención a los razonamientos deductivos
categóricos o silogismos, como formas de demostración especialmente
adecuadas al conocimiento científico.
Lógica baconiana (Garret, 2003). La parte constructiva de la lógica es
la exposición de la teoría de la inducción baconiana, o método baconiano.
Éste no consiste en una simple recogida de datos, sino en una
observación cuidadosa y completa de los hechos, que llama historia
natural y experimental, realizada según tablas de presencia, ausencia
y comparación o grados. La inducción baconiana supone de hecho la
obtención de hipótesis o conjeturas por eliminación, las cuales somete
1 El Organon es un conjunto de obras escritas por Aristóteles de Estagira.