Weak and Post completeness in the Hilbert school

Aranda, Víctor

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

dc.creator	Aranda, Víctor
dc.date	2019-12-29
dc.date.accessioned	2022-05-09T16:07:25Z
dc.date.available	2022-05-09T16:07:25Z
dc.identifier	https://revistas.uv.cl/index.php/RHV/article/view/2023
dc.identifier	10.22370/rhv2019iss14pp449-466
dc.identifier.uri	https://revistaschilenas.uchile.cl/handle/2250/182732
dc.description	The 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.description	El 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.format	application/pdf
dc.language	spa
dc.publisher	Instituto de Filosofía, Universidad de Valparaíso	en-US
dc.relation	https://revistas.uv.cl/index.php/RHV/article/view/2023/2039
dc.rights	Copyright (c) 2019 Humanities Journal of Valparaiso	en-US
dc.source	Revista de Humanidades de Valparaíso; No. 14 (2019): No 14 (2019): Current Perspectives in Philosophy of Biology; 449-466	en-US
dc.source	Revista de Humanidades de Valparaíso; Núm. 14 (2019): No 14 (2019): Perspectivas actuales en filosofía de la biología; 449-466	es-ES
dc.source	0719-4242
dc.source	0719-4234
dc.source	10.22370/rhv2019iss14
dc.subject	history of logic	en-US
dc.subject	classical logic	en-US
dc.subject	normal forms	en-US
dc.subject	soundness	en-US
dc.subject	Bernays	en-US
dc.subject	historia de la lógica	es-ES
dc.subject	lógica clásica	es-ES
dc.subject	formas normales	es-ES
dc.subject	corrección	es-ES
dc.subject	Bernays	es-ES
dc.title	Weak and Post completeness in the Hilbert school	en-US
dc.title	Completud débil y Post completud en la escuela de Hilbert	es-ES
dc.type	info:eu-repo/semantics/article
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	Artículo evaluado por pares	es-ES

This item appears in the following Collection(s)

Revista de Humanidades de Valparaíso
\([0-9]{4}\)

Show simple item record