Basic logic for true and false LBVF
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 traditio...
- Autores:
-
Sierra A., Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2007
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/14540
- Acceso en línea:
- http://hdl.handle.net/10784/14540
- Palabra clave:
- Truth
Falsity
Alternating Affirmation
Alternating Negation
Paracomplete
Good Foundation
Liar’S Paradox
Verdad
Falsedad
Afirmación Alterna
Negación Alterna
Paracompleto
Buen Fundamento
Paradoja Del Mentiroso
- Rights
- License
- Copyright (c) 2007 Manuel Sierra A.
| Summary: | 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. |
|---|