logica

Lógica de orden superior
(LOS0809)

La lógica de orden superior se distingue de la de primer orden en que posee variables relacionales (de uno o varios órdenes) además de las individuales, y todaspueden cuantificarse. Ya que fue Frege el precursor en el uso de las variables relacionales, esta lógica cuenta ya más de cien años, aunque una clara diferenciación entre ella y la de primer orden sehizo esperar. De hecho, la lógica de primer orden es sólo un fragmento del lenguaje altamente expresivo de Frege y Russell. Durante mucho tiempo su estudio se limitaba al ámbito meramente filosófico;actualmente recibe reconocimiento por su utilidad en aplicaciones y por su importancia en la fundamentación de la informática teórica.

Prerrequisitos. Lógica de Primer Orden
Suele decirse que elrazonamiento lógico es una actividad de la razón humana, que, como tal, podría diferenciarse de otras disciplinas por su carácter de disciplina de “segundo orden”. La filosofía tiene a su disposicióndeterminados métodos y técnicas. Sus instrumentos son los argumentos y su procedimiento esencial es el compromiso crítico basado en argumentos con los argumentos. Esto significa que la actividad de larazón se manifiesta públicamente en la argumentación (filosófica) siempre abierta al examen por parte de la argumentación (crítica). Para tal propósito, la lógica es necesaria, pero no suficiente. Yno lo es porque la actividad (argumentativa) siempre puede ser criticada en atención a su objetivo. El carácter “teleológico” de la argumentación —“convencer”, “persuadir”, se dice— excede el marcopuramente lógico y se adentra en el territorio de la retórica. Pero resulta que los mismos instrumentos lógicos están imbuidos de significado retórico en la actividad filosófica. En consecuencia,deseamos estudiar la forma en que la retórica vendría a complementar a la lógica (aspecto reconocido, al menos, desde Aristóteles, pero olvidado con demasiada frecuencia); y, por otra, deseamos analizar y...