UM SISTEMA DE TABLEAUX ANALÍTICOS PARA A LÓGICA DO PLAUSÍVEL

Resumo

The 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. The semantical interpretation of these logics 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". We introduced a new deductive system for the Logic of the Plausible, denominated TLP, built following the principles of the classical semantical tableaux. Besides, we sketched the equivalence of this new deductive system relative to the axiomatic system originally presented by Grácio.