Examinando por Autor "Quezada Pulido, Wilfredo"

Mostrando 1 - 3 de 3
  • Miniatura
    Ítem
    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.
    (Universidad de Valparaíso, 2023) Figueroa Carvajal, Juan Carlos; Quezada Pulido, Wilfredo
    El 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.
  • Miniatura
    Ítem
    Lógica modal : una mecanización alternativa para la semántica de los mundos posibles de Kripke
    (Universidad de Valparaíso, 1989) Quezada Pulido, Wilfredo; Verdugo Serna, Carlos
  • Miniatura
    Ítem
    Realismo científico y teorías de la referencia.
    (Universidad de Valparaíso, 2020) Sierra Quezada, Ever; Quezada Pulido, Wilfredo
    La expresión ‘realismo científico’ denomina una importante posición en la filosofía de la ciencia acerca de la cuestión de cómo debe ser entendida una teoría científica y de qué es realmente la actividad científica, que en las últimas décadas del siglo XX todavía gozaba de gran popularidad entre los filósofos de la ciencia. El capítulo primero se ocupará de precisar conceptualmente esta posición metateórica. En el capítulo segundo se expone el modelo de Thomas Kuhn del desarrollo efectivo de la ciencia sobre el que se montarán las teorías descriptivista y causal de la referencia. En el capítulo tercero se examina la instrumentalización de la teoría descriptivista de la referencia en contra del realismo científico, presuponiendo el modelo de Thomas Kuhn del desarrollo efectivo de la ciencia El capítulo cuarto se ocupa, presuponiendo también el modelo de Kuhn del desarrollo de la ciencia, de la segunda vía abierta tras la caída del positivismo. Esta segunda corriente es crítica con la reacción antirrealista e historicista subsiguiente al positivismo. El primer objetivo estriba en analizar la instrumentalización de la teoría descriptivista de la referencia en contra del realismo científico. La versión descriptivista de la referencia refuta el realismo científico, y más específicamente el realismo epistemológico, a partir de poner de manifiesto una ruptura referencial de la mayoría de términos centrales de las teorías científicas a través del cambio teórico. Analizaré la instrumentalización de la concepción descriptivista de la referencia por parte de los antirrealistas a fin de establecer cuáles son las virtudes de esta teoría y cuáles sus limitaciones. El segundo objetivo consiste en analizar la instrumentalización de la teoría causal de la referencia a favor del realismo científico. La versión causal de la referencia apoya el realismo científico, y más específicamente, el realismo ontológico a secas, a partir de poner de manifiesto una continuidad referencial de la mayoría de términos centrales de las teorías a través del cambio teórico. Analizaré la instrumentalización de la concepción causal de la referencia por parte de los realistas a fin de establecer cuáles son las virtudes de esta teoría y cuáles sus limitaciones.