Resumen de El primer Tarski y la concepción universalista de la lógica
El objetivo de esta comunicación es cuestionar la tesis de que la cuantificación sobre un universo que es todo lo que existe y es, además, fijo (señalada como una de las características principales de la "concepción universalista" de la logica) es incompatible con la metalógica. Para ello, mostraré que los teoremas demostrados por el primer Tarski que involucran las nociones de categoricidad y completud se discuten en el marco de una cuantificación fija que, por tanto, no está restringida a estructuras particulares. De hecho, este resultado es coherente con la tesis (que también suscribo) de que el concepto de "verdad en una estructura" no es explícitamente formulado por el primer Tarski.
