Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Crítica (México, D.F.)
versión impresa ISSN 0011-1503
Resumen
BARCELO ASPEITIA, Axel Arturo. Inferential Patterns. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.120, pp.3-35. Epub 04-Mayo-2020. ISSN 0011-1503. https://doi.org/10.22201/iifs.18704905e.2008.993.
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 in defining a logical operator.
Palabras llave : inferentialism; Gentzen; Peregrin; Prior; logic.