Search
Search Results
-
Many-valued logic and sequence arguments in value theory
Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that...
-
Many-Valued Modalities and Paraconsistency
This paper extends the three-valued paraconsistent logic LFI1 to a class of multimodal systems, generating an infinite hierarchy of three-valued... -
The Boolean Many-Valued Solution to the Sorites Paradox
This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from...
-
On Woodruff’s Constructive Nonsense Logic
Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter...
-
-
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology
Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it...
-
Supervaluationism, Modal Logic, and Weakly Classical Logic
A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as...
-
Editorial Introduction: Substructural Logics and Metainferences
The concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and...
-
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic
Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’...
-
Łukasiewicz’s concept of logic and anti-psychologism
In the nineteenth century, philosophy was at a crossroads. While the natural and technical sciences were develo** in an unprecedented fashion,...
-
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
There are good reasons to want logics, including many-valued logics, to have usable conditionals, and we have explored this in certain logics.... -
Reflective equilibrium in logic
Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in...
-
Saving logic from paradox via nonclassical recapture
The Liar paradox arguably shows that a coherent and self-applicable notion of truth is governed by nonclassical logic. It then seems natural to...
-
Revisiting Reichenbach’s logic
In this paper we show that, when analyzed with contemporary tools in logic—such as Dunn-style semantics, Reichenbach’s three-valued logic exhibits...
-
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
In 1944 Hans Reichenbach developed a three-valued propositional logic (RQML) in order to account for certain causal anomalies in quantum mechanics....
-
From Intuitionism to Many-Valued Logics Through Kripke Models
Intuitionistic Propositional LogicIntuitionistic propositional logic is proved to be an infinitely many valued logicMany valued logics by Gödel... -
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
Belnap and Dunn’s well-known 4-valued logic FDE is an interesting and useful non-classical logic. FDE is defined by using conjunction, disjunction...
-
Probability and Symmetric Logic
In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of...
-
Getting some (non-classical) closure with justification logic
Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any...