Journal: | Crítica (México, D.F.) |
Database: | CLASE |
System number: | 000333793 |
ISSN: | 0011-1503 |
Authors: | Barceló Aspeitia, Axel Arturo1 |
Institutions: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México |
Year: | 2008 |
Season: | Dic |
Volumen: | 40 |
Number: | 120 |
Pages: | 3-35 |
Country: | México |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico, teórico |
Spanish abstract | 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 en1 960, dedeterminar qué reglas de inferencia definen un conectivo |
English 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 |
Disciplines: | Filosofía |
Keyword: | Lógica, Inferencia, Sintaxis, Patrones, Conectivos lógicos, Peregrin, Jaroslav, Tablas de verdad, Verdad, Condiciones |
Full text: | Texto completo (Ver HTML) |