Um modelo algébrico do quantificador da ubiquidade

• Ano de defesa: 2014
• Autor(a) principal: Boza, Tiago Augusto dos Santos [UNESP]
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Estadual Paulista (Unesp)
• Palavras-chave em Português: Halmos, Paul R Paul Richard 1916-2006; Logica algebrica; Logica simbolica e matematica; Indução (Logica); Philosophy
• Link de acesso: http://hdl.handle.net/11449/122172

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.