Sistema paraconsistente y paracompleto LBPcPo

El sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negación fuerte, afirmación alterna y completez alterna. El...

Full description

Autores:
Sierra Aristizábal, 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/16710
Acceso en línea:
http://hdl.handle.net/10784/16710
Palabra clave:
Verdad
Falsedad
Afirmación alterna
Negación alterna
Paracompleto
Paraconsistente
Rights
License
Copyright © 2007 Manuel Sierra Aristizábal
id REPOEAFIT2_f36f85e9e9006816f058799b20f375a8
oai_identifier_str oai:repository.eafit.edu.co:10784/16710
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees20072020-06-12T16:43:23Z20072020-06-12T16:43:23Z0120-341Xhttp://hdl.handle.net/10784/16710El sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negación fuerte, afirmación alterna y completez alterna. El sistema es caracterizado por una semántica devaluaciones con la cual se prueba que, respecto a un operador denegación alterna el sistema es paracompleto, con respecto al otro es paraconsistente, y además, el operador de negación fuerte tiene todas las características de la negación clásica. También se presenta el sistema LBVA, con el cual se pretende caracterizar deductivamente las definiciones de verdad y falsedad presentadas por Aristóteles, resultando que este sistema es equivalente al sistema LBPcPo, donde el operador de falsedad aristotélica coincide con la negación paracompleta, y el operador de verdad aristotélica coincide con el operador de afirmación alterna.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626Copyright © 2007 Manuel Sierra AristizábalAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 43, No. 148 (2007)Sistema paraconsistente y paracompleto LBPcPoarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1VerdadFalsedadAfirmación alternaNegación alternaParacompletoParaconsistenteSierra Aristizábal, ManuelUniversidad EAFITRevista Universidad EAFIT4314891112THUMBNAILdminiatura-rev-eafit[986].jpgdminiatura-rev-eafit[986].jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/a2a8e240-9c2f-4e3f-b72b-324c8e0db78f/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument - 2020-08-05T191126.883.pdfdocument - 2020-08-05T191126.883.pdfTexto completo PDFapplication/pdf265020https://repository.eafit.edu.co/bitstreams/8deb5114-a85f-480b-8542-cd77b489d21b/download9cfe5ccd651c01012510b082b51713e2MD52articulo - copia.htmlarticulo - copia.htmlTexto completo HTMLtext/html389https://repository.eafit.edu.co/bitstreams/0fd27715-dd7b-44a7-8497-0913afc421c5/download2e434954153e0b594ddc7a0c35dd56c0MD5310784/16710oai:repository.eafit.edu.co:10784/167102021-09-03 15:09:38.144open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.spa.fl_str_mv Sistema paraconsistente y paracompleto LBPcPo
title Sistema paraconsistente y paracompleto LBPcPo
spellingShingle Sistema paraconsistente y paracompleto LBPcPo
Verdad
Falsedad
Afirmación alterna
Negación alterna
Paracompleto
Paraconsistente
title_short Sistema paraconsistente y paracompleto LBPcPo
title_full Sistema paraconsistente y paracompleto LBPcPo
title_fullStr Sistema paraconsistente y paracompleto LBPcPo
title_full_unstemmed Sistema paraconsistente y paracompleto LBPcPo
title_sort Sistema paraconsistente y paracompleto LBPcPo
dc.creator.fl_str_mv Sierra Aristizábal, Manuel
dc.contributor.author.sp.fl_str_mv Sierra Aristizábal, Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.spa.fl_str_mv Verdad
Falsedad
Afirmación alterna
Negación alterna
Paracompleto
Paraconsistente
topic Verdad
Falsedad
Afirmación alterna
Negación alterna
Paracompleto
Paraconsistente
description El sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negación fuerte, afirmación alterna y completez alterna. El sistema es caracterizado por una semántica devaluaciones con la cual se prueba que, respecto a un operador denegación alterna el sistema es paracompleto, con respecto al otro es paraconsistente, y además, el operador de negación fuerte tiene todas las características de la negación clásica. También se presenta el sistema LBVA, con el cual se pretende caracterizar deductivamente las definiciones de verdad y falsedad presentadas por Aristóteles, resultando que este sistema es equivalente al sistema LBPcPo, donde el operador de falsedad aristotélica coincide con la negación paracompleta, y el operador de verdad aristotélica coincide con el operador de afirmación alterna.
publishDate 2007
dc.date.issued.none.fl_str_mv 2007
dc.date.available.none.fl_str_mv 2020-06-12T16:43:23Z
dc.date.accessioned.none.fl_str_mv 2020-06-12T16:43:23Z
dc.date.none.fl_str_mv 2007
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 0120-341X
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/16710
identifier_str_mv 0120-341X
url http://hdl.handle.net/10784/16710
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626
dc.rights.eng.fl_str_mv Copyright © 2007 Manuel Sierra Aristizábal
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright © 2007 Manuel Sierra Aristizábal
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.none.fl_str_mv Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.spa.fl_str_mv Revista Universidad EAFIT, Vol. 43, No. 148 (2007)
institution Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/a2a8e240-9c2f-4e3f-b72b-324c8e0db78f/download
https://repository.eafit.edu.co/bitstreams/8deb5114-a85f-480b-8542-cd77b489d21b/download
https://repository.eafit.edu.co/bitstreams/0fd27715-dd7b-44a7-8497-0913afc421c5/download
bitstream.checksum.fl_str_mv 9ac51cb2b5f275d90bbb40324068baab
9cfe5ccd651c01012510b082b51713e2
2e434954153e0b594ddc7a0c35dd56c0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110315978162176

Publicaciones similares