Ontología y Semántica Recursiva
¿Qué papel juega la recursividad en el proyecto Tarskiano? Lo que buscaban Tarski y sus colegas a principios del siglo pasado era, fundamentalmente, una lógica , es decir teoría rigurosa de la relación de consecuencia lógica . La manera en que se plantearon lograr esto era reduciendo la noción de consecuencia lógica a la de preservación de verdad en virtud de la forma. A su vez, esto requería una teoría rigurosa de las condiciones de verdad de un lenguaje (formalizado)
es decir, una teoría semántica . Y esto requería a su vez una teoría rigurosa del lenguaje mismo, es decir, una teoría sintáctica . En este sentido, lo que hay de semántica y sintaxis en el proyecto tarskiano son los medios , no sus fines, lo cuales siempre fueron eminentemente lógicos. Pero Tarski (y, en general, los que estaban trabajando en este tipo de proyectos en Polonia, Alemania, etc.) sabían que
dado que la teoría de condiciones de verdad de Tarski apelaba a lo que ahora llamamos “modelos” es decir a estr