- El presente trabajo es un estudio de las nociones propuestas por Alfred Tarski sobre la concepción semántica de la verdad. La exposición de dichos fundamentos es realizada en su articulo: La concepción semántica de la verdad y los fundamentos semánticos.
Tarski, en su articulo, presenta sus conceptos de manera no formal; por consiguiente, el principal objetivo a seguir en este trabajo será explicitar el lado formal de dichas nociones; en otras palabras, expondremos la teoría formal de la
lógica de primer orden. Definiciones básicas. Los fundamentos de la semantica de tarski. Características de la lógica de primer orden. Semantica de la lógica de primer orden. Axiomatización de la lógica de primer orden.
