Lógica básica para la verdad y la falsedad LBVF

Main Article Content

Manuel Sierra A.
Universidad EAFIT

Keywords

verdad, falsedad, afirmación alterna, negación alterna, paracompleto, bien fundado, paradoja del mentiroso.

Resumen

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.

MSC: 03BXX, 03B53, 03B42

Descargas

Los datos de descargas todavía no están disponibles.
Abstract 1880 | PDF Downloads 2600

Referencias

[1] Aristóteles. Metafísica, Libro 4, capítulo 7, 1011 b.

[2] Xavier Caicedo Ferrer. Elementos de lógica y calculabilidad, ISBN 970-625-190-5. Editorial Universidad de los Andes, Bogotá. 1990.

[3] A. G. Hamilton, Lógica para matemáticos. Editorial Paraninfo S.A. Madrid. 1981.

[4] Alfred Tarski. Logic, semantics and metamathematics, second edition, 978- 0915144761. Hackett Publishing Company, Indianapolis, 1983.

[5] Manuel Sierra A. Lógica básica con afirmación alterna. Ingeniería y Ciencia, ISSN 1794–9165, 1(1), 2005.

[6] Leon Henkin. The completeness of the first order functional calculus. The journal of symbolic logic, 14(3), 1949.

[7] Nicola Grana. Sulla Teoría delle Valutazioni di N. C. A. da Costa, ISBN 9788820719425. N`apoli: Liguri Editore, 1990.

[8] Manuel Sierra A. Sistema paraconsistente y paracompleto LBPcPo. Revista Universidad EAFIT, ISSN 0120-341X, 44(147), 2007.

[9] I. M. Bochenski. Historia de la lógica formal , ISBN 84-249-2153-4. Editorial Gredos, Madrid, 1976.

[10] A. Arruda y E. Alves. A semantical study of some systems of vagueness logic, Bulletin of the Section of Logic, ISSN 0138-0680. Polish Academy of Sciences 8, 1979.

Article Sidebar

PDF

Article Details

Cómo citar
Sierra A., M. (2007). Lógica básica para la verdad y la falsedad LBVF. Ingeniería Y Ciencia, 3(6), 135–171. Recuperado a partir de https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
Número
Vol. 3 Núm. 6 (2007)
Sección
Artículos
Agencias de apoyo

Los autores que publican en esta revista están de acuerdo con los siguientes términos:

  • Los autores conservan los derechos de autor y garantizan a la revista el derecho de ser la primera publicación del trabajo al igual que licenciado bajo una Creative Commons Attribution License que permite a otros compartir el trabajo con un reconocimiento de la autoría del trabajo y la publicación inicial en esta revista.
  • Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, situarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en esta revista.
  • Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados (Véase The Effect of Open Access) (en inglés).