Buscar
Mostrando ítems 1-10 de 5493
Abstract logics, logic maps, and logic homomorphisms
(2007)
What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...
Topics in logical anti-exceptionalism and paraconsistent logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2021-05-03)
The rivalry between classical logic and its non-classical contenders occupies
the centre stage in contemporary philosophical logic. The central issue is to know
how to choose a logical system (or theory thereof) among the ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Remarks on paraconsistent decision making theory
(Int Inst Informatics & Systemics, 2003-01-01)
In this expository work we show how the para-analyzer can be useful to a variety of applications involving decision making when facing mainly with uncertainty, inconsistent or paracomplete information. The Para-analyzer ...
The Algebra of Logic Tradition
(Metaphysics Research Lab - Center for the Study of Language and Information, 2015-01)
The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
A Quantitative-Informational Approach to Logical Consequence
(2015-01-01)
In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...
Rational theory revision in logic: beyond abductivism
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2021-08-24)
A recent trend in the philosophy of logic, under the title of “anti-exceptionalism”,
proposes that the epistemology of logic should be approximated to that of science:
logical theories are not justified by a priori intuitions, ...
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)