2024-03-28T15:20:00Zhttps://gredos.usal.es/oai/requestoai:gredos.usal.es:10366/1375302022-02-07T16:55:33Zcom_10366_141077com_10366_123103com_10366_3823com_10366_4635com_10366_4576com_10366_121440com_10366_4746col_10366_143107col_10366_4643col_10366_122454
Fernandes, Diego Pinheiro
2018-05-24T15:31:12Z
2018-05-24T15:31:12Z
2017
http://hdl.handle.net/10366/137530
[ES] Esta tesis es una investigación sobre los conceptos principales ocurriendo en los teoremas tipo-Lindström, esto es, el concepto de sistema lógico y el concepto de expresividad. Lindström, entre otros resultados similares, caracterizó la lógica de primer orden como siendo máximamente expresiva entre las lógicas que tienen compacidad y la propriedad de Löwenheim-Skolem. Para tal, él tenía que dar una definición precisa de qué es una lógica y qué es una relación de expresividad. Tales resultados suelen ser usados para extraer conclusiones fuertes sobre la naturaleza de la lógica y, específicamente, de la lógica de primer orden. No obstante, con la excepción de una discusión inicial en el libro sobre lógicas modelo-teóricas editado por Barwise y Feferman, hay pocas discusiones conceptuales de estos resultados de caracterización en la literatura. Específicamente, nos parece problemática la falta de justificación de por qué cierto concepto de sistema lógico y cierto concepto de expresividad fueran elegidos. Nuestro propósito es de contribuir a esta discusión y también proponer un criterio de expresividad más amplio, por medio de traducciones entre lógicas.
spa
info:eu-repo/semantics/openAccess
Filosofía
Logic
Tesis y disertaciones académicas
Universidad de Salamanca (España)
Resumen de tesis
Thesis Abstracts
Lógica
Matemáticas
Resumen de tesis. Logical Systems On the Concept, Expressive Power and Expressiveness Characterizations
info:eu-repo/semantics/doctoralThesis