SEMÁNTICA DE SOCIEDADES COMO UN MODELO O INTERPRETACIÓN (ÁRBOLES DE FORZAMIENTO), DE LAS LÓGICAS BÁSICAS PARACONSISTENTE Y PARACOMPLETA A NIVEL ATÓMICO.

En esta monografía se presentan las sociedades abiertas y cerradas como modelos semánticos respectivamente de la lógica básica paraconsistente y la lógica básica paracompleta debilitadas ambas a nivel atómico, de tal manera que se cumpla la tarea de exhibir los enfoques sintáctico y semántico para dichas lógicas como objetos de igual interés teórico, dentro del cual la presentación semántica aumenta y complementa el nivel de inteligibilidad que se consigue a través de las presentaciones sintácticas. A partir de la enumeración de un conjunto de axiomas y de reglas de inferencia y supuestas la relación de consecuencia sintáctica ├ y la relación de consecuencia semántica ⊨ visualizada mediante árboles de forzamiento semántico, se da la interpretación de los enunciados sintácticos dentro de las sociedades y se muestra que tanto el enfoque sintáctico como el semántico caracterizan de manera diferente las lógicas en cuestión para asegurar que un enunciado es una conclusión axiomático-sintáctica cuando es una consecuencia semántica.