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

Bibliographic Details
Main Author: Silveira, Rafael Da Silva Da
Publication Date: 2020
Format: Master thesis
Language: por
Source: Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
dARK ID: ark:/35916/0013000001gbv
Download full: http://repositorio.uem.br:8080/jspui/handle/1/7982
Summary: 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_ 1828311929595101184

Similar Items