La negación, la verdad y la inconsistencia

dc.contributor.authorMasaveu Torres, Oscar Enrique
dc.date.accessioned2023-03-09T16:29:47Z
dc.date.available2023-03-09T16:29:47Z
dc.date.issued2000
dc.descriptionPáginas [509]-525
dc.description.abstractPresentaremos una lógica de primer orden de corte paraconsistente S. La lógica posee mucha de la versatilidad de la lógica clásica, pero además posee una serie de propiedades interesantes. La lógica no es finitamente trivializable por conjuntos de fórmulas que no contienen al símbolo de falsedad_|_ El sistema incluye una negación débil y en ella se puede definir una negación fuerte en el sentido de da Costa. Mediante un estudio de las relaciones existentes entre las dos negaciones se puede plantear y estudiar una serie de interrogantes filosóficas muy importantes. Las propiedades de la lógica misma ofrecen la posibilidad de estudiar más a fondo problemas relacionados con los fundamentos de las matemáticas tales como el concepto intuitivo de conjunto.es_ES
dc.identifier.doihttps://doi.org/10.18800/9972423549.046
dc.identifier.urihttps://repositorio.pucp.edu.pe/index/handle/123456789/190300
dc.language.isospaes_ES
dc.publisherPontificia Universidad Católica del Perú. Fondo Editoriales_ES
dc.publisher.countryPE
dc.relation.ispartofurn:isbn:9789972423543
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/pe/*
dc.sourceLa filosofía del siglo XX : balance y perspectivas
dc.subjectLógicaes_ES
dc.subject.ocdehttps://purl.org/pe-repo/ocde/ford#6.03.01
dc.titleLa negación, la verdad y la inconsistenciaes_ES
dc.typeinfo:eu-repo/semantics/bookPart
dc.type.otherCapítulo de libro

Archivos

Bloque original

Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
46 509 ok.pdf
Tamaño:
11.7 MB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo

Colecciones