Open AccessUM SISTEMA DE TABLEAUX ANALÍTICOS PARA A LÓGICA DO PLAUSÍVEL
Author(s) -
Luiz Henrique da Cruz Silvestrini
Publication year - 1969
Publication title -
revista eletrônica informação e cognição
Language(s) - English
Resource type - Journals
ISSN - 1807-8281
DOI - 10.36311/1807-8281.2007.v6n2.756
Subject(s) - axiom , quantifier (linguistics) , expressive power , interpretation (philosophy) , mathematics , property (philosophy) , equivalence (formal languages) , syntax , classical logic , intermediate logic , discrete mathematics , computer science , algebra over a field , theoretical computer science , programming language , pure mathematics , description logic , artificial intelligence , philosophy , epistemology , geometry
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.