Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos

Página do item simplificado
dc.contributor.advisor1Porto, André da Silva
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3598537464598916por
dc.contributor.referee1Porto, André da Silva
dc.contributor.referee2Velloso, Araceli Rosich Soares
dc.contributor.referee3Pereira, Luiz Carlos Pinheiro Dias
dc.creatorMundim, Bruno Rigonato
dc.creator.Latteshttp://lattes.cnpq.br/5702242130984300por
dc.date.accessioned2014-10-13T20:49:48Z
dc.date.issued2013-09-02
dc.description.abstractBy means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation.eng
dc.description.provenanceSubmitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)eng
dc.description.provenanceApproved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)eng
dc.description.provenanceMade available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02eng
dc.description.resumoA teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.por
dc.description.sponsorshipCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESpor
dc.formatapplication/pdf*
dc.identifier.citationMUNDIM, Bruno Rigonato. Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos. 2013. 118 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Goiânia, 2013.por
dc.identifier.urihttp://repositorio.bc.ufg.br/tede/handle/tede/3337
dc.languageporpor
dc.publisherUniversidade Federal de Goiáspor
dc.publisher.countryBrasilpor
dc.publisher.departmentFaculdade de Filosofia - FAFIL (RG)por
dc.publisher.initialsUFGpor
dc.publisher.programPrograma de Pós-graduação em Filosofia (FAFIL)por
dc.rightsAcesso Abertopor
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectTeoria intuicionista de tipospor
dc.subjectMartin-Löfpor
dc.subjectProposições como conjuntos/tipospor
dc.subjectPropositions as sets/typeseng
dc.subjectIntuitionistic type theoryeng
dc.subject.cnpqFILOSOFIA::LOGICApor
dc.thumbnail.urlhttp://repositorio.bc.ufg.br/tede/retrieve/10093/Disserta%c3%a7%c3%a3o%20-%20Bruno%20Rigonato%20Mundim%20-%202013.pdf.jpg*
dc.titleUma abordagem sobre a concepção de proposição da teoria institucionalista de tipospor
dc.title.alternativeAn approach to Intuitionistic type theory 's conception of a prositioneng
dc.typeDissertaçãopor

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Dissertação - Bruno Rigonato Mundim - 2013.pdf
Tamanho:
1.24 MB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
2.11 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

Mestrado em Filosofia (FAFIL)