El Test de Ramsey y las lógicas condicionales

Abstract

Frank Ramsey (1931) estableció ciertas condiciones que deberían cumplirse a fin de evaluar las proposiciones condicionales, conocidas hoy como Test de Ramsey (TR) En este trabajo se muestra que las teorías sobre condicionales contrafácticos de Chisholmj, Stalnaker y D. Lewis, satisfacen el TR y la incompatibilidad de TR con la Teoría de la Revisión de Creencias (AGM). En la última sección se analiza el comportamiento del TR en la propuesta de G. Grocco y L. Fariñas del Cerro, basada en una generalización del cálculo de secuentes pero introduciendo la novedad de secuencias auxiliares cuya noción de consecuencia es no-monótona.

Frank P. Ramsey, (1931), stated certain conditions that should occur in order to evaluate conditional propositions, known today as Ramsey Test (RT). In this paper it is shown the satisfactibility of TR in the theories on contrafactual conditionals of Chisholm, Stalnaker and D.Lewis and the incompatibility of the TR with the Theory of Belief Revision (AGM). The last section is appointed to analyze the behavior of the TR in the proposal of G.Grocco and L. Fariñas del Cerro, based on a generalization of Sequent Calculus to the logic of contrafactual, introducing the novel idea of auxiliary sequences whose notion of consequence is not monotonic.