Academic Journals Database
Disseminating quality controlled scientific knowledge

Basic logic for true and false LBVF Lógica básica para la verdad y la falsedad LBVF

ADD TO MY LIST
 
Author(s): Manuel Sierra A

Journal: Ingeniería y Ciencia
ISSN 1794-9165

Volume: 3;
Issue: 6;
Start page: 135;
Date: 2007;
Original page

Keywords: verdad | falsedad | afirmación alterna | negación alterna | paracompleto | bien fundado | paradoja del mentiroso.

ABSTRACT
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 se construye como una extensión de la lógica clásica positiva, al incluir operadores de afirmación alterna, negación alterna y completez, además, se definen a partir de ellos los operadores de negación clásica y buena fundamentación. El sistema es caracterizado por una semántica de valuaciones tradicionales con la cual se prueba que, respecto a los operadores de afirmación y de negación alterna el sistema es paracompleto. En el sistema se caracterizan las definiciones de verdad y falsedad presentadas por Aristóteles, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna, lográndose con esta interpretación dar solución a una variante de la paradoja del mentiroso.
Affiliate Program      Why do you need a reservation system?