¿Conocían los lógicos medievales el sistema S5 de Lewis?: Una respuesta desde el octágono modal medieval

• Autores: Juan Manuel Campos Benítez
• Localización: Open Insight, ISSN-e 2395-8936, Vol. 11, Nº. 21, 2020, págs. 87-112
• Idioma: español
• Títulos paralelos:
  • Did Medieval Logicians know the S5 Lewis Modal System?: An answer from the Medieval Modal Octagon
• Enlaces
  • Texto completo
• Resumen
  • español

    En este ensayo abordamos el octágono modal medieval y encontramos que dos oraciones ahí presentes admiten conver-sión simple, que se expresa como equi-valencia. Dichas equivalencias pueden demostrarse en el sistema modal S5 de C. I. Lewis. Comenzamos mostrando la relevancia de S5, luego mostramos teo-remas típicos de diferentes lógicas moda-les (K, T, S4, B y S5) y luego abordamos la argumentación medieval. Esta argu-mentación requiere formularse en S5, lo que nos permite una respuesta, en algún sentido afirmativa, a la pregunta inicia

  • English

    We address in this essay the medieval modal octagon and find that two sentenc-es there admit simple conversion, which is expressed as equivalence. Those equiv-alences can be proved in the S5 Lewis Modal System. We begin by showing the relevance of S5, then we show typical theorems of different modal logics (K, T, S4, B and S5) and then we address the medieval argumentation. This argument requires to be formulated in S5, which allows us to give an, in some sense, af-firmative answer to our initial question