Crítica, Revista Hispanoamericana de Filosofía, Volume 40, number 120, diciembre 2008
Patrones inferenciales
[Inferential Patterns]
Axel Arturo Barceló Aspeitia
Instituto de Investigaciones Filosóficas
Universidad Nacional Autónoma de México

abarcelo@filosoficas.unam.mx

Abstract: El objetivo de este artículo es proponer un método de traducción de tablas de verdad a reglas de inferencia, para la lógica proposicional, que sea tan directo como el tradicional método inverso(de reglas a tablas). Este método,además, permitirá resolver de manera elegante el viejo problema, formulado originalmente por Prior en1 960, dedeterminar qué reglas de inferencia definen un conectivo.
Keywords: Inferencialismo, Gentzen, Peregrin, Prior, lógica

Abstract in English | PDF en Spanish (242 Kb)