RT Book, Section
T1 La polémica entre sintaxis y semántica en Post, Lewis y Wittgenstein
T2 The controversy between syntax and semantics in Post, Lewis and Wittgenstein
A1 Aranda Utrero, Víctor
A2 Fernandes, Diego P.
A2 López Orellana, Rodrigo
AB En lógica, la idea de que la sintaxis y los cálculos proporcionan una precisión y un rigor de los cuales carece la semántica es relativamente común. El objetivo del presente artículo es analizar las raíces históricas de esta idea. Para ello, nuestro punto de partida será la tesis doctoral de Post, donde se prueba la corrección y la completud de la lógica proposicional. Las tablas de verdad se desarrollan con una actitud cautelosa hacia los significados, que se consideran "ajenos" al sistema formal. Esta actitud proviene de Lewis, quien defendía que su "concepción heterodoxa" de la lógica debía confrontarse con la filosofía de las matemáticas de los Principia. Para esta concepción, un sistema formal es una cadena de signos que pueden manipularse por medio de reglas puramente sintácticas. Defendemos que este punto de vista es compartido no solo por Post y Lewis, sino también por Wittgenstein. Sin embargo, la consecución de resultados metalógicos más importantes (como la completud de la lógica de primer orden) requerirá nuevas herramientas semánticas que fueron dominadas en la escuela de Hilbert.
PB Instituto de Filosofía. Facultad de Humanidades, Universidad de Valparaíso
SN 978-956-402-647-3
YR 2020
FD 2020-12-17
LK https://hdl.handle.net/20.500.14352/98434
UL https://hdl.handle.net/20.500.14352/98434
LA spa
NO Aranda, V. (2020). La polémica entre sintaxis y semántica en Post, Lewis y Wittgenstein. En D. P. Fernandes & R. López Orellana (eds.), El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas (pp. 17-35). Universidad de Valparaiso.
DS Docta Complutense
RD 3 abr 2025