You are in the accessibility menu

Please use this identifier to cite or link to this item: `http://acervodigital.unesp.br/handle/11449/91780`
Title:
A lógica do muito em um sistema de tablôs
Author(s):
Institution:
Abstract:
• Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.
Issue Date:
14-Jul-2008
Citation:
MATULOVIC, Mariana. A lógica do muito em um sistema de tablôs. 2008. 121 f. Dissertação (mestrado) Universidade estadual Paulista. Faculdade de Filosofia e Ciências, 2008.
Time Duration:
121 f. : il.
Publisher:
Keywords:
• Lógica
• Lógica do muito
• Tablôs analíticos
• Modulated logics
• Logic of many
• Tableaux system
URI:
Access Rights:
Acesso aberto
Type:
outro
Source:
http://repositorio.unesp.br/handle/11449/91780
Appears in Collections:Artigos, TCCs, Teses e Dissertações da Unesp

There are no files associated with this item.