Show simple item record

dc.contributor.advisorFeitosa, Hércules de Araújo [UNESP]
dc.contributor.authorSilvestrini, Luiz Henrique da Cruz [UNESP]
dc.date.accessioned2014-06-11T19:25:19Z
dc.date.available2014-06-11T19:25:19Z
dc.date.issued2005-09-27
dc.identifier.citationSILVESTRINI, Luiz Henrique da Cruz. Tableaux e indução na lógica do plausível. 2005. 133 f. Dissertação (mestrado) - Universidade Estadual Paulista, Faculdade de Filosofia e Ciências, 2005.
dc.identifier.urihttp://hdl.handle.net/11449/91404
dc.description.abstractEm 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que uma 'boa parte' dos indivíduos possui determinada propriedade. O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução.pt
dc.description.abstractThe Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that a 'good' number of individuals possesses certain property . This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction.en
dc.description.sponsorshipCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.format.extent133 f.
dc.language.isopor
dc.publisherUniversidade Estadual Paulista (UNESP)
dc.sourceAleph
dc.subjectIndução (Logica)pt
dc.subjectLógica do plausívelpt
dc.subjectTableaux analíticospt
dc.subjectLógicas moduladaspt
dc.subjectModulated logicsen
dc.subjectLogic of the plausibleen
dc.subjectAnalytical tableaux systemen
dc.subjectInductionen
dc.titleTableaux e indução na lógica do plausívelpt
dc.typeDissertação de mestrado
dc.contributor.institutionUniversidade Estadual Paulista (UNESP)
dc.rights.accessRightsAcesso aberto
unesp.graduateProgramFilosofia - FFCpt
unesp.knowledgeAreaEpistemologia e lógicapt
unesp.campusUniversidade Estadual Paulista (UNESP), Faculdade de Filosofia e Ciências, Maríliapt
dc.identifier.aleph000337653
dc.identifier.filesilvestrini_lhc_me_mar.pdf
dc.identifier.capes33004110041P1
dc.identifier.lattes0125687197033233
unesp.author.lattes0125687197033233
Localize o texto completo

Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record