Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano

Detalhes bibliográficos
Ano de defesa: 2020
Autor(a) principal: Silveira, Rafael Da Silva Da
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
160
Link de acesso: http://repositorio.uem.br:8080/jspui/handle/1/7982
Resumo: Orientador: Prof. Dr. Evandro Luís Gomes.
id UEM-10_a34f604ccd3dbe8feabbdd52455ff69a
oai_identifier_str oai:localhost:1/7982
network_acronym_str UEM-10
network_name_str Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
repository_id_str
spelling Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe PeanoMatematização da lógicaLógicaHistória da lógicaLlull, Ramon, 1232?-1316160Orientador: Prof. Dr. Evandro Luís Gomes.Dissertação (mestrado em Filosofia)--Universidade Estadual de Maringá, 2020O presente trabalho possui três objetivos: (1) apresentar uma perspectiva histórica sobre o desenvolvimento do processo de matematização da lógica (vale ressaltar que esse desenvolvimento ocorreu em meio a inúmeras descontinuidades que o presente trabalho procurou colocar em perspectiva), (2) analisar os conceitos referentes à linguagem, como sua estrutura, funções e formalidades e, por fim, (3) averiguar o impacto das linguagens formais no processo de desenvolvimento da lógica e se tais linguagens são capazes de expressar a lógica em sua totalidade.The present work has three goals: (1) to present a historical perspective on the development of the mathematical process of logic (it is worth mentioning that such development occured within several historical discontinuities which this study intends to put in perspective), (2) to analyze the concepts related to language, such as its structure, functions and formalism and, finally, (3) to investigate the impact of formal languages on the logic development process and whether such languages are capable of expressing logic in its entirety.Gomes, Evandro Luís, 1976-Vicentini, Max RogérioD'Ottaviano, Itala Maria LoffredoUniversidade Estadual de MaringáCentro de Ciências Humanas, Letras e ArtesPrograma de Pós-Graduação em FilosofiaSilveira, Rafael Da Silva Da2024-11-19T16:05:39Z2024-11-19T16:05:39Z2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis101 f.application/pdfhttp://repositorio.uem.br:8080/jspui/handle/1/7982ark:/35916/0013000001gbvporreponame:Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)instname:Universidade Estadual de Maringá (UEM)instacron:UEMinfo:eu-repo/semantics/openAccess2024-11-19T16:05:39Zoai:localhost:1/7982Repositório InstitucionalPUBhttp://repositorio.uem.br:8080/oai/requestrepositorio@uem.bropendoar:2024-11-19T16:05:39Repositório Institucional da Universidade Estadual de Maringá (RI-UEM) - Universidade Estadual de Maringá (UEM)false
dc.title.none.fl_str_mv Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
title Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
spellingShingle Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
Silveira, Rafael Da Silva Da
Matematização da lógica
Lógica
História da lógica
Llull, Ramon, 1232?-1316
160
title_short Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
title_full Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
title_fullStr Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
title_full_unstemmed Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
title_sort Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
author Silveira, Rafael Da Silva Da
author_facet Silveira, Rafael Da Silva Da
author_role author
dc.contributor.none.fl_str_mv Gomes, Evandro Luís, 1976-
Vicentini, Max Rogério
D'Ottaviano, Itala Maria Loffredo
Universidade Estadual de Maringá
Centro de Ciências Humanas, Letras e Artes
Programa de Pós-Graduação em Filosofia
dc.contributor.author.fl_str_mv Silveira, Rafael Da Silva Da
dc.subject.por.fl_str_mv Matematização da lógica
Lógica
História da lógica
Llull, Ramon, 1232?-1316
160
topic Matematização da lógica
Lógica
História da lógica
Llull, Ramon, 1232?-1316
160
description Orientador: Prof. Dr. Evandro Luís Gomes.
publishDate 2020
dc.date.none.fl_str_mv 2020
2024-11-19T16:05:39Z
2024-11-19T16:05:39Z
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 http://repositorio.uem.br:8080/jspui/handle/1/7982
dc.identifier.dark.fl_str_mv ark:/35916/0013000001gbv
url http://repositorio.uem.br:8080/jspui/handle/1/7982
identifier_str_mv ark:/35916/0013000001gbv
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 101 f.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
instname:Universidade Estadual de Maringá (UEM)
instacron:UEM
instname_str Universidade Estadual de Maringá (UEM)
instacron_str UEM
institution UEM
reponame_str Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
collection Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
repository.name.fl_str_mv Repositório Institucional da Universidade Estadual de Maringá (RI-UEM) - Universidade Estadual de Maringá (UEM)
repository.mail.fl_str_mv repositorio@uem.br
_version_ 1846637328923099136