Verdad y gesto. Cálculo de kamojis

Resumo

Se presenta un ejercicio de lógica elemental de oposiciones en un cálculo de kaomojis ɣs basado en un cambio de notación del sistema de deducción natural D de John Corcoran en "Completeness of an ancient logic". Luego, se extiende el cálculo a la lógica proposicional ɣ0 haciendo uso de la semántica de Robert van Rooij en "The propositional and relational syllogistic". Se comparan los resultados del ejercicio en ambas lógicas. Se discute el problema de la presuposición ontológica y se prueba que existe una regla en el sistema de Corcoran que introduce las hipótesis ontológicas. Para ello, se hace uso de los gestos de Euler, otra manera de presentar los diagramas de Euler para la silogística. Por último, se presenta una propuesta de cómo la lógica de gestos puede extenderse, según los requerimientos cognitivistas de Davidson, en "Hume’s Cognitive Theory of Pride", a una lógica sobre las emociones Kaomojis donde las emociones son una función de sus emociones básicas componentes.