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.

Palabras clave

Citación