Silogística intermedia, términos y árboles

• Autores: José Martín Castro Manzano
• Localización: Tópicos: Revista de Filosofía, ISSN-e 2007-8498, ISSN 0188-6649, Nº. 58, 2020, págs. 209-237
• Idioma: español
• Títulos paralelos:
  • Intermediate Syllogistic, Terms, and Trees
• Enlaces
  • Texto completo
• Resumen
  • español

    En este trabajo proponemos un método de árboles para la silogística intermedia de Peterson y Thompson usando el álgebra de Sommers y Englebretsen. El resultado es un método analítico de árboles capaz de modelar inferencia en silogística básica, relacional e intermedia.

  • English

    In this paper we propose a tableaux method for the interme-diate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic