Results 31 to 40 of about 812 (177)

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

Tableau method of proof for Peirce’s three-valued propositional logic

Filosofia Unisinos, 2022
Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj   +1 more source

Incoherency Problems in a Combination of Description Logics and Rules

Journal of Applied Mathematics, 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
Shasha Huang, Jing Hao, Dang Luo
doaj   +1 more source

Real Analysis in Paraconsistent Logic [PDF]

Journal of Philosophical Logic, 2011
A logic \(S\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \(A,\lnot A\Rightarrow B\)) or, from another point of view, if inconsistent theories built upon \(S\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a
McKubre-Jordens, M, Weber, Z
openaire   +3 more sources

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent

Philosophia Scientiæ, 2014
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj   +1 more source

Two Kinds of Logical Impossibility

Noûs, Volume 54, Issue 4, Page 795-806, December 2020., 2020
Abstract In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world).
Alexander Sandgren, Koji Tanaka
wiley   +1 more source

TWO-VALUED WEAK KLEENE LOGICS

Manuscrito, 2019
In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj   +1 more source

Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?

The Baltic International Yearbook of Cognition, Logic and Communication, 2013
Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj   +1 more source

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning Introduction

, 2015
This chapter gives motivations and the history of annotated logics as an introduction to this book. First, we discuss the importance of annotated logics in connection with paraconsistent logics.
Nakamatsu, Kazumi, Abe, Jair Minoro [UNESP], Abe, JM, Akama, S, Akama, Seiki, Nakamatsu, K   +5 more
core   +1 more source