Abstract

BARCELO ASPEITIA, Axel Arturo. Patrones inferenciales. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.120, pp.3-35.  Epub May 04, 2020. ISSN 0011-1503.  https://doi.org/10.22201/iifs.18704905e.2008.993.

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 en 1960, de determinar qué reglas de inferencia definen un conectivo.

Keywords : inferencialismo; Gentzen; Peregrin; Prior; lógica.

        · abstract in English     · text in Spanish     · Spanish ( pdf )