INVESTIGADORES
PAILOS Federico Matias
congresos y reuniones científicas
Título:
Characterizing a Non-Deterministic Conditional
Autor/es:
PAILOS, FEDERICO MATÍAS; ROSENBLATT, LUCAS
Lugar:
Munich
Reunión:
Workshop; 1st MCMP Munich-Buenos Aires Workshop; 2013
Institución organizadora:
Munich Center for Mathematical Philosophy, de la Ludwig-Maximilian Universitat Munchen
Resumen:
Theories where truth behaves as a transparent predicate fall under the following dilemma: either the theory is subject to Curry`s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories where the conditional is characterized in terms of (possibly infinite) non-deterministic matrices. It turns out that these matrices play nice with transparent truth, but some of them face a well-known problem, that of omega-inconsistency.