Made available in DSpace on 2015-04-09T12:28:26Z (GMT). No. of bitstreams: 0
Previous issue date: 2014Bitstream added on 2015-04-09T12:47:34Z : No. of bitstreams: 1
000812869.pdf: 497174 bytes, checksum: 343554bf58707181ca0cee752bb1c78b (MD5) / 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. / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unesp.br:11449/122172 |
| Date | January 2014 |
| Creators | Boza, Tiago Augusto dos Santos [UNESP] |
| Contributors | Universidade Estadual Paulista (UNESP), Feitosa, Hércules de Araújo [UNESP], Soares, Marcelo Reicher [UNESP] |
| Publisher | Universidade Estadual Paulista (UNESP) |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 125 f. |
| Source | Aleph, reponame:Repositório Institucional da UNESP, instname:Universidade Estadual Paulista, instacron:UNESP |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | -1, -1, -1 |
Page generated in 0.0021 seconds