Results 11 to 20 of about 105 (101)

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

Manuscrito, 2011
The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj   +1 more source

Paraconsistency and its Possibilities: a personalised and partial perspective of the past [PDF]

Journal of Philosophical Investigations
I take paraconsistent logic to be one of the most important and significant developments in logic and metaphysics in the last 100 years, challenging, as it does, one of the deepest dogmas entrenched in Western philosophy: that consistency is a sine qua ...
Graham Priest
doaj   +1 more source

Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem

Entropy, 2016
This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj   +1 more source

A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Bulletin of the Section of Logic, 2021
In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj   +1 more source

Incoherency Problems in a Combination of Description Logics and Rules

Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 2014
A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules. However, it is invalid when incoherency occurs in the knowledge base. In this paper, we introduce a semi‐S5 semantics for hybrid MKNF knowledge bases on the basis of nine‐valued lattice, such that it is paraconsistent for
Shasha Huang, Jing Hao, Dang Luo, Jianming Zhan   +3 more
wiley   +1 more source

Paraconsistency and word puzzles [PDF]

Theory and Practice of Logic Programming, 2016
AbstractWord puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuruet al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL)
Gao, Tiantian, Fodor, Paul, Kifer, Michael   +2 more
openaire   +3 more sources

Aristotle’s Theory of Deduction and Paraconsistency

Principia: An International Journal of Epistemology, 2010
No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida.
Evandro L. Gomes, Ítala M. L. D’Ottaviano   +1 more
doaj   +3 more sources

Paraconsistent Informational Logic

Journal of Applied Logic, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire   +3 more sources

A Brief Prehistory of Philosophical Paraconsistency

Principia: An International Journal of Epistemology, 2010
In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction.
William H. F. Altman
doaj   +3 more sources

Co-constructive Logics for Proofs and Refutations

Studia Humana, 2015
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj   +1 more source