Search
Search Results
-
Consistent Theories in Inconsistent Logics
The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is...
-
On the Provable Contradictions of the Connexive Logics C and C3
Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of...
-
Stalnakerian Connexive Logics
Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating...
-
Truth-Value Constants in Multi-Valued Logics
In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥... -
Valuation Semantics for First-Order Logics of Evidence and Truth
This paper introduces the logic Q L E T F , a quantified extension of the logic of evidence and truth L E T F , together with a corresponding sound and...
-
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of...
-
A Cartography of LFIs and Truth
The goal of this paper is to offer an initial taxonomy of the LFIs (logics of formal inconsistency) and that can be non-trivially extended with a... -
Double Negation as Minimal Negation
N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and...
-
Management Research and Practices: Philosophies and Logics
As a counter to the dominant tradition in management research, where the measurement and classification of a few variables is used to refine and test... -
Non-Boolean classical relevant logics II: Classicality through truth-constants
This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three...
-
Situation-Based Connexive Logic
The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are...
-
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...
-
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
In this paper, we study intermediate logics between the logic $${\mathrm {G}^{\le... -
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... -
On modality in fiction
This paper investigates the truth values of modal sentences within fictional discourse. I investigate the consequences of (im)possible worlds–based...
-
Two Decision Procedures for da Costa’s \(C_n\) Logics Based on Restricted Nmatrix Semantics
Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found...
-
An Easy Road to Multi-contra-classicality
A contra-classical logic is a logic that, over the same language as that of classical logic, validates arguments that are not classically valid. In...
-
Paraconsistency in Non-Fregean Framework
A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic...
-
Angell and McCall Meet Wansing
In this paper, we introduce a new logic, which we call AM3 . It is a connexive logic that has several interesting properties, among them being strongly...
-
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...