Um modelo algébrico do quantificador da ubiquidade

Detalhes bibliográficos
Autor(a) principal: Boza, Tiago Augusto dos Santos [UNESP]
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/122172
Resumo: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.
id UNSP_40a8f00f83e28a3de2c4a41ba5a978cf
oai_identifier_str oai:repositorio.unesp.br:11449/122172
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Um modelo algébrico do quantificador da ubiquidadeHalmos, Paul R Paul Richard 1916-2006Logica algebricaLogica simbolica e matematicaIndução (Logica)PhilosophyThis research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível.Universidade Estadual Paulista (Unesp)Feitosa, Hércules de Araújo [UNESP]Soares, Marcelo Reicher [UNESP]Universidade Estadual Paulista (Unesp)Boza, Tiago Augusto dos Santos [UNESP]2015-04-09T12:28:26Z2015-04-09T12:28:26Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis125 f.application/pdfBOZA, Tiago Augusto dos Santos. Um modelo algébrico do quantificador da ubiquidade. 2014. 125 f. Dissertação (mestrado) - Universidade Estadual Paulista “Julio de Mesquita Filho”, Faculdade de Filosofia e Ciências de Marília, 2014.http://hdl.handle.net/11449/122172000812869000812869.pdf33004110041P12421224753755038Alephreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporinfo:eu-repo/semantics/openAccess2024-08-13T17:50:03Zoai:repositorio.unesp.br:11449/122172Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-13T17:50:03Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Um modelo algébrico do quantificador da ubiquidade
title Um modelo algébrico do quantificador da ubiquidade
spellingShingle Um modelo algébrico do quantificador da ubiquidade
Boza, Tiago Augusto dos Santos [UNESP]
Halmos, Paul R Paul Richard 1916-2006
Logica algebrica
Logica simbolica e matematica
Indução (Logica)
Philosophy
title_short Um modelo algébrico do quantificador da ubiquidade
title_full Um modelo algébrico do quantificador da ubiquidade
title_fullStr Um modelo algébrico do quantificador da ubiquidade
title_full_unstemmed Um modelo algébrico do quantificador da ubiquidade
title_sort Um modelo algébrico do quantificador da ubiquidade
author Boza, Tiago Augusto dos Santos [UNESP]
author_facet Boza, Tiago Augusto dos Santos [UNESP]
author_role author
dc.contributor.none.fl_str_mv Feitosa, Hércules de Araújo [UNESP]
Soares, Marcelo Reicher [UNESP]
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Boza, Tiago Augusto dos Santos [UNESP]
dc.subject.por.fl_str_mv Halmos, Paul R Paul Richard 1916-2006
Logica algebrica
Logica simbolica e matematica
Indução (Logica)
Philosophy
topic Halmos, Paul R Paul Richard 1916-2006
Logica algebrica
Logica simbolica e matematica
Indução (Logica)
Philosophy
description This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.
publishDate 2014
dc.date.none.fl_str_mv 2014
2015-04-09T12:28:26Z
2015-04-09T12:28:26Z
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 BOZA, Tiago Augusto dos Santos. Um modelo algébrico do quantificador da ubiquidade. 2014. 125 f. Dissertação (mestrado) - Universidade Estadual Paulista “Julio de Mesquita Filho”, Faculdade de Filosofia e Ciências de Marília, 2014.
http://hdl.handle.net/11449/122172
000812869
000812869.pdf
33004110041P1
2421224753755038
identifier_str_mv BOZA, Tiago Augusto dos Santos. Um modelo algébrico do quantificador da ubiquidade. 2014. 125 f. Dissertação (mestrado) - Universidade Estadual Paulista “Julio de Mesquita Filho”, Faculdade de Filosofia e Ciências de Marília, 2014.
000812869
000812869.pdf
33004110041P1
2421224753755038
url http://hdl.handle.net/11449/122172
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 125 f.
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.source.none.fl_str_mv Aleph
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808128169611362304

Registros relacionados