Lógicas abstratas e o primeiro teorema de Lindström

Detalhes bibliográficos
Autor(a) principal: Almeida, Edgar Luis Bezerra de, 1976-
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1620257
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_719df4d79f9943c894b7fedd1b09a3f2
oai_identifier_str oai::906790
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Lógicas abstratas e o primeiro teorema de LindströmAbstract logics and the first Lindström's theoremSemantica - Modelos matemáticosLógica simbólica e matemáticaLogica de primeira ordemSemantics - Mathematical modelsLogic, Symbolic and mathematicalFirst-order logicOrientador: Itala Maria Loffredo D'OttavianoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica infinitária L!1! são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares. Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades. Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto à lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente. Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade. Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de LindströmAbstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are specific systems of abstract logic. Moreover, we show that such logics are regular. In the analysis of each above mentioned logical systems we analyses his performance with regard to the properties of compactness and Löwenheim-Skolem, results that have important role in model theory. Our analysis allows us to conclude that among the four cases, the only one who enjoys both properties is the first-order logic, and all others fail in one, other or both properties. We show that this is not mere coincidence, but rather a deep, well-defined boundaries establishing the first-order logic, known as first Lindström's theorem: a regular logic that is at least as expressive as first-order logic and satisfies both properties mentioned, then this is equivalent to first-order logic. We conducted a thorough proof of the theorem, in which each idea and each proof strategy is carefully established. With his work Lindström inaugurated a new and fruitful field of study, the abstract model theory, which establishes with respect to different combinations of properties of logical systems, stratification between logical. Here is another example of such stratification through one of the theorem of modal version Lindström, which characterizes this version of the logic basic modal such as maximal bissimimulation and compactness. We conclude the thesis with some considerations about the influence of the Lindström's theoremMestradoFilosofiaMestre em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Feitosa, Hercules de AraujoFreire, Rodrigo de AlvarengaUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASAlmeida, Edgar Luis Bezerra de, 1976-20132013-11-03T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf100 p. : il.https://hdl.handle.net/20.500.12733/1620257ALMEIDA, Edgar Luis Bezerra de. Lógicas abstratas e o primeiro teorema de Lindström. 2013. 100 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1620257. Acesso em: 25 abr. 2024.https://repositorio.unicamp.br/acervo/detalhe/906790porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T06:59:16Zoai::906790Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:59:16Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Lógicas abstratas e o primeiro teorema de Lindström
Abstract logics and the first Lindström's theorem
title Lógicas abstratas e o primeiro teorema de Lindström
spellingShingle Lógicas abstratas e o primeiro teorema de Lindström
Almeida, Edgar Luis Bezerra de, 1976-
Semantica - Modelos matemáticos
Lógica simbólica e matemática
Logica de primeira ordem
Semantics - Mathematical models
Logic, Symbolic and mathematical
First-order logic
title_short Lógicas abstratas e o primeiro teorema de Lindström
title_full Lógicas abstratas e o primeiro teorema de Lindström
title_fullStr Lógicas abstratas e o primeiro teorema de Lindström
title_full_unstemmed Lógicas abstratas e o primeiro teorema de Lindström
title_sort Lógicas abstratas e o primeiro teorema de Lindström
author Almeida, Edgar Luis Bezerra de, 1976-
author_facet Almeida, Edgar Luis Bezerra de, 1976-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Feitosa, Hercules de Araujo
Freire, Rodrigo de Alvarenga
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Almeida, Edgar Luis Bezerra de, 1976-
dc.subject.por.fl_str_mv Semantica - Modelos matemáticos
Lógica simbólica e matemática
Logica de primeira ordem
Semantics - Mathematical models
Logic, Symbolic and mathematical
First-order logic
topic Semantica - Modelos matemáticos
Lógica simbólica e matemática
Logica de primeira ordem
Semantics - Mathematical models
Logic, Symbolic and mathematical
First-order logic
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2013
dc.date.none.fl_str_mv 2013
2013-11-03T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1620257
ALMEIDA, Edgar Luis Bezerra de. Lógicas abstratas e o primeiro teorema de Lindström. 2013. 100 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1620257. Acesso em: 25 abr. 2024.
url https://hdl.handle.net/20.500.12733/1620257
identifier_str_mv ALMEIDA, Edgar Luis Bezerra de. Lógicas abstratas e o primeiro teorema de Lindström. 2013. 100 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1620257. Acesso em: 25 abr. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/906790
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
100 p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1797405069017088000

Registros relacionados