Patrones inferenciales

• Autores: Axel Arturo Barceló Aspeitia
• Localización: Crítica: revista hispanoamericana de filosofía, ISSN 0011-1503, Vol. 40, Nº. 120, 2008, págs. 3-35
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • 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.