Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe

logo CLACSO

Por favor, use este identificador para citar o enlazar este ítem: https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72323
Título : UM SISTEMA DE TABLEAUX ANALÍTICOS PARA A LÓGICA DO PLAUSÍVEL
Editorial : Faculdade de Filosofia e Ciências
Descripción : 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.
URI : http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72323
Otros identificadores : https://revistas.marilia.unesp.br/index.php/reic/article/view/756
10.36311/1807-8281.2007.v6n2.756
Aparece en las colecciones: Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha

Ficheros en este ítem:
No hay ficheros asociados a este ítem.


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.