Lógica básica para la verdad aristotélica

La lógica clásica trabaja con proposiciones. Intuitivamente se definen las proposiciones como aquellos enunciados que o son verdaderos o son falsos, pero no ambas cosas a la vez. La caracterización semántica usual de la lógica clásica (tablas de verdad, semántica de valuaciones, etc.), corresponde perfectamente a dicha intuición. Se establece así que la afirmación clásica de un enunciado corresponde a "el enunciado es verdadero", y que la negación clásica de un enunciado corresponde a "el enunciado es falso". En este trabajo se construyen sistemas deductivos que incluyen operadores que pueden ser interpretados como "ser verdadero" y como "ser falso", de tal manera que los llamados "enunciados mal fundados" puedan ser lógicamente tratados sin que esto implique la destrucción del sistema deductivo. Los sistemas construidos generalizan la lógica clásica de tal manera que la interpretación canónica de algunos admita las lecturas de "enunciado mal fundado", "enunciado verdadero", "enunciado falso", y, además, en alguno de los sistemas, se caracterice la definición de verdad aristotélica.En este trabajo se construyen sistemas deductivos que incluyen operadores que pueden ser interpretados como "ser verdadero" y como "ser falso", de tal manera que los llamados "enunciados mal fundados" puedan ser lógicamente tratados sin que esto implique la destrucción del sistema deductivo. Los sistemas construidos generalizan la lógica clásica de tal manera que la interpretación canónica de algunos admita las lecturas de "enunciado mal fundado", "enunciado verdadero", "enunciado falso", y, además, en alguno de los sistemas, se caracterice la definición de verdad aristotélica.