• Journals
  • Discipline
  • Indexed
  • Institutions
  • About
JavaScript is disabled for your browser. Some features of this site may not work without it.
View Item 
  •   Home
  • Universidad de Valparaíso
  • Revista de Humanidades de Valparaíso
  • View Item
  •   Home
  • Universidad de Valparaíso
  • Revista de Humanidades de Valparaíso
  • View Item

Weak and Post completeness in the Hilbert school

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

Author
Aranda, Víctor

Full text
https://revistas.uv.cl/index.php/RHV/article/view/2023
10.22370/rhv2019iss14pp449-466
Abstract
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.
 
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.
 
Metadata
Show full item record
Discipline
Artes, Arquitectura y UrbanismoCiencias Agrarias, Forestales y VeterinariasCiencias Exactas y NaturalesCiencias SocialesDerechoEconomía y AdministraciónFilosofía y HumanidadesIngenieríaMedicinaMultidisciplinarias
Institutions
Universidad de ChileUniversidad Católica de ChileUniversidad de Santiago de ChileUniversidad de ConcepciónUniversidad Austral de ChileUniversidad Católica de ValparaísoUniversidad del Bio BioUniversidad de ValparaísoUniversidad Católica del Nortemore

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister
Dirección de Servicios de Información y Bibliotecas (SISIB) - Universidad de Chile
© 2019 Dspace - Modificado por SISIB