Acerca de la regla de necesariedad en el cálculo proposicional modal de Lewis y Langford, antes de la publicación de "Una interpretación del cálculo conectivo intuicionista” de Gödel.

Vista sencilla de ítem
dc.contributor.advisorQuezada Pulido, Wilfredo
dc.contributor.authorFigueroa Carvajal, Juan Carlos
dc.coverage.spatialValparaíso
dc.date.accessioned2025-12-12T13:56:13Z
dc.date.available2025-12-12T13:56:13Z
dc.date.issued2023
dc.description.abstractEl objetivo de este trabajo es evaluar la posible dependencia que los Sistemas S de Lewis hayan mantenido con respecto a la Regla de Necesariedad (RN), propuesta por Gödel en “Una interpretación del cálculo conectivo intuicionista” (1932). RN resulta ser una herramienta especialmente útil para simplificarla inferencia en sistemas modales equivalentes a los Sistemas S de Lewis. Para ello, se analiza la formulación del Sistema de Implicación Estricta y de los Sistemas S, así como la demostración de RN (no debilitada) de McKinsey y Tarski, para S4. También se examinan las propuestas de sistemas modal es equipotentes a los Sistemas S que incorporan RN, principalmente los Sistemas de Lemmon, y los teoremas presentados por Lewis y Langford en el Capítulo VI de Symbolic Logic, con el fin de corroborar que RN no haya sido asumida de manera intuitiva. Las principales conclusionessonqueelSistemaS4lograprescindirdeRNsinqueello implique un costo para la inferencia. Las razones se basan en la formalización del Sistema de Implicación Estricta, utilizando la función de Implicación Estricta y el Modus Ponens Estricto (que muestra que el Sistema no es una extensión conservativa estándar del Cálculo Proposicional), las consecuencias de los teoremas (p ↣ q) ↣ (p ⊃ q) y (¬ ⋄¬¬⋄¬p) ↣ (¬ ⋄¬p = p), así como los resultados de incorporar el Axioma de Becker(C10) a S1. Tangencialmente, el trabajo enuncia algunos debates filosóficos, relacionados con los cuestionamientos a los sistemas modales, en los que el carácter intuitivo de RN es un tema de interés. Se asume que la investigación abre espacios a sugestivas interrogantes. Una de ellas consiste en la clarificación del rol que desempeña RN para satisfacer el criterio de normalidad en un sistema modal. En particular, si dicha regla se requiere explícitamente como herramienta de inferencia o como consecuencia metalógica.
dc.facultadFacultad de Humanidades y Educación
dc.identifier.urihttps://repositoriobibliotecas.uv.cl/handle/uvscl/16830
dc.language.isoes
dc.publisherUniversidad de Valparaíso
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/cl/
dc.subjectLOGICA EPISTEMICA
dc.subjectIMPLICACION (LOGICA)
dc.subjectDAVID K. LEWIS (DAVID KELLOGG) 1941-2001
dc.titleAcerca de la regla de necesariedad en el cálculo proposicional modal de Lewis y Langford, antes de la publicación de "Una interpretación del cálculo conectivo intuicionista” de Gödel.
dc.typeTMG
dc.ubicacionS.T. F475a 2023
uv.catalogadorRGA FIL
uv.codigo.barra00430839
uv.departamentoInstituto de Filosofía
uv.notageneralMagister en Filosofía. Mención Lógica y Filosofía de las Ciencias.

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
Figueroa Carvajal, J.C_MG2023.pdf
Tamaño:
750.38 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
349 B
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Tesis Postgrado