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

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...

Full description

Bibliographic Details
Main Author:	Manuel Sierra A.
Format:	Article
Language:	English
Published:	Universidad EAFIT 2007-12-01
Series:	Ingeniería y Ciencia
Subjects:	verdad falsedad afirmación alterna negación alterna paracompleto bien fundado
Online Access:	http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445

id	doaj-9cf14a13a05945dbac8099504167df03
record_format	Article
spelling	doaj-9cf14a13a05945dbac8099504167df032020-11-24T21:11:19ZengUniversidad EAFITIngeniería y Ciencia1794-91652256-43142007-12-0136Lógica básica para la verdad y la falsedad LBVFManuel Sierra A.0Universidad EAFIT 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 http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445verdadfalsedadafirmación alternanegación alternaparacompletobien fundado
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Manuel Sierra A.
spellingShingle	Manuel Sierra A. Lógica básica para la verdad y la falsedad LBVF Ingeniería y Ciencia verdad falsedad afirmación alterna negación alterna paracompleto bien fundado
author_facet	Manuel Sierra A.
author_sort	Manuel Sierra A.
title	Lógica básica para la verdad y la falsedad LBVF
title_short	Lógica básica para la verdad y la falsedad LBVF
title_full	Lógica básica para la verdad y la falsedad LBVF
title_fullStr	Lógica básica para la verdad y la falsedad LBVF
title_full_unstemmed	Lógica básica para la verdad y la falsedad LBVF
title_sort	lógica básica para la verdad y la falsedad lbvf
publisher	Universidad EAFIT
series	Ingeniería y Ciencia
issn	1794-9165 2256-4314
publishDate	2007-12-01
description	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
topic	verdad falsedad afirmación alterna negación alterna paracompleto bien fundado
url	http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
work_keys_str_mv	AT manuelsierraa logicabasicaparalaverdadylafalsedadlbvf
_version_	1716753841725112320

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

Similar Items