Axiomatización de la Silogística Extendida

Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 21 ( 1):15-29. (2001)
  Copy   BIBTEX

Abstract

El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran para probar que su sistema de reglas de inferencia para la Silogística es completo.

Author's Profile

Franklin Galindo
Universidad Central de Venezuela

Analytics

Added to PP
2022-06-08

Downloads
116 (#80,645)

6 months
36 (#84,706)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?