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

Abstract: This article aims at setting forth a method to translate truth tables into inference rules, in propositional logic, which is as straightforward as the traditional inverse method (from rules to tables). Besides, this method allows for an elegant solution of Prior’s (1960) problem of determining when a set of inferential rules succeeds or fails indefining alogical operator.
Keywords: Inferentialism, Gentzen, Peregrin, Prior, logic

Abstract in Spanish | PDF en Spanish (242 Kb)