El primer Tarski y la concepción universalista de la lógica

• Autores: Víctor Aranda
• Localización: Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Ana Cuevas Badallo (dir. congr.), Obdulia M. Torres González (dir. congr.), Víctor Aranda (dir. congr.), Andrei Moldovan (dir. congr.), 2021, ISBN 978-84-09-35510-5, págs. 26-29
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • 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.