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.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )