El primer Tarski y la concepción universalista de la lógica
- Ana Cuevas (dir. congr.)
- Obdulia Torres (dir. congr.)
- Víctor Aranda (dir. congr.)
- Andrei Moldovan (dir. congr.)
Editorial: Instituto de Estudios de la Ciencia y la Tecnología ; Universidad de Salamanca
ISBN: 978-84-09-35510-5
Año de publicación: 2021
Páginas: 26-29
Congreso: Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Congreso (10. 2021. Salamanca)
Tipo: Aportación congreso
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.