Elementos de lógica de predicados

Abstract

A continuación ofreceremos unas nociones muy básicas de lógica de predicados, con el único propósito de que puedan darse una idea más acabada del objeto de la lógica. El principal interés de la misma reside en darnos herramientas para reconocer los esquemas de razonamiento y poder determinar si los mismos son válidos o inválidos. Sin embargo, la tarea abstracta de lxs lógicxs no puede desvincularse de la intuición. Hemos visto que el Sistema 1, intuitivo, se equivoca en la evaluación de ciertos razonamientos. De ahí que sea importante que actúe esforzadamente el Sistema 2, tratando de dar con el esquema del razonamiento y desarrollando potentes herramientas lógicas para poder superar los errores del Sistema 1. Ahora bien, puede ocurrir que un razonamiento nos resulte intuitivamente válido pero que, al aplicar las herramientas de nuestro sistema lógico, se demuestre inválido. En muchos casos, luego de meditar un poco, podremos darnos cuenta de que nuestra intuición estaba equivocada, como hemos señalado varias veces en esta obra. Sin embargo, en otras ocasiones no resultaremos convencidos del resultado que arrojó nuestro sistema lógico, y nos veremos en la necesidad de modificar o ampliar nuestro sistema lógico. Tal es la situación que lleva a querer ir más allá de la lógica proposicional y desarrollar la lógica de predicados.