Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Crítica (México, D.F.)
versão impressa ISSN 0011-1503
Resumo
BARCELO ASPEITIA, Axel Arturo. Inferential Patterns. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.120, pp.3-35. Epub 04-Maio-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.
Palavras-chave : inferentialism; Gentzen; Peregrin; Prior; logic.