Show simple item record

Completud débil y Post completud en la escuela de Hilbert

dc.contributoren-US
dc.contributores-ES
dc.creatorAranda, Víctor
dc.date2019-12-29
dc.date.accessioned2020-01-07T14:04:09Z
dc.date.available2020-01-07T14:04:09Z
dc.identifierhttps://revistas.uv.cl/index.php/RHV/article/view/2023
dc.identifier10.22370/rhv2019iss14pp449-466
dc.identifier.urihttps://revistaschilenas.uchile.cl/handle/2250/122967
dc.descriptionThe aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and the soundness of the propositional rules of inference deserve special emphasis.en-US
dc.descriptionEl objetivo de este artículo es aclarar por qué la lógica proposicional es Post completa y su completud débil pasó casi desapercibida para Hilbert y Bernays, mientras que la lógica de primer orden es Post incompleta y su completud débil fue vista como un problema a resolver por Hilbert y Ackermann. Así, compararé la lógica proposicional y de primer orden en los Prinzipien der Mathematik, la segunda Habilitationsschrift de Bernays y los Grundzüge der Theoretischen Logik. La así llamada “interpretación aritmética”, las formas normales conjuntiva y disyuntiva y la corrección de las reglas proposicionales de inferencia merecen especial énfasis.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherInstitute of Philosophy, University of Valparaisoen-US
dc.relationhttps://revistas.uv.cl/index.php/RHV/article/view/2023/2039
dc.rightsCopyright (c) 2019 Humanities Journal of Valparaisoen-US
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/4.0en-US
dc.sourceHumanities Journal of Valparaiso; No 14 (2019): No 14 (2019): Current Perspectives in Philosophy of Biology; 449-466en-US
dc.sourceRevista de Humanidades de Valparaíso; No 14 (2019): No 14 (2019): Current Perspectives in Philosophy of Biology; 449-466es-ES
dc.source0719-4242
dc.source0719-4234
dc.source10.22370/rhv2019iss14
dc.subjecthistory of logic; classical logic; normal forms; soundness; Bernaysen-US
dc.subjecthistoria de la lógica; lógica clásica; formas normales; corrección; Bernayses-ES
dc.titleWeak and Post completeness in the Hilbert schoolen-US
dc.titleCompletud débil y Post completud en la escuela de Hilbertes-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typeen-US
dc.typeArtículo evaluado por pareses-ES


This item appears in the following Collection(s)

Show simple item record