Basic logic for true and false LBVF
Fecha
2007-12-12
Autores
Sierra A., Manuel
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad EAFIT
Resumen
Descripción
System LBVF is an extension of the classical positive logic, the system includes operators of alternating affirmation, alternating negation and determinability, and the operators of classical negation and good foundation are defined as from them. The system is characterized by a semantic of traditional valuations. Respect to the negation and affirmation operators the system is paracomplete.In the system the definitions of truth and falsity presented by Aristotle are really characterized, representing the Aristotelian falsity with the operator of alternating negation and the Aristotelian truth with the operator of alternating affirmation. This interpretation gives solution to a variant of the liar’s paradox.
El sistema LBVF es una extensión de la lógica positiva clásica, el sistema incluye operadores de afirmación alterna, negación alterna y determinabilidad, y los operadores de negación clásica y buena base se definen a partir de ellos. El sistema se caracteriza por una semántica de valoraciones tradicionales. Respeto a los operadores de negación y afirmación, el sistema es incompleto. En el sistema, las definiciones de verdad y falsedad presentadas por Aristóteles se caracterizan realmente, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna. Esta interpretación da solución a una variante de la paradoja del mentiroso.
El sistema LBVF es una extensión de la lógica positiva clásica, el sistema incluye operadores de afirmación alterna, negación alterna y determinabilidad, y los operadores de negación clásica y buena base se definen a partir de ellos. El sistema se caracteriza por una semántica de valoraciones tradicionales. Respeto a los operadores de negación y afirmación, el sistema es incompleto. En el sistema, las definiciones de verdad y falsedad presentadas por Aristóteles se caracterizan realmente, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna. Esta interpretación da solución a una variante de la paradoja del mentiroso.