Search
Search Results
-
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...
-
Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise...
-
The Elimination of Maximum Cuts in Linear Logic and BCK Logic
In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum...
-
A Hyperintensional Logic of Non-prime Evidence
We present a logic of evidence that reduces agents’ epistemic idealisations by combining classical propositional logic with substructural modal logic...
-
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...
-
Fichte’s formal logic
Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of...
-
Inquiry, reasoning and the normativity of logic
According to the traditional view in the philosophy of logic facts of logic bear normative authority regarding how one ought to reason. Usually this...
-
Frege’s Anti-Psychologism about Logic : the Relationship between Logic and Judgment
Frege is an anti-psychologist about logic who takes logic to be sharply distinguished from psychology. However, Frege also takes judgment, which...
-
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...
-
Detecting bots with temporal logic
Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by...
-
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...
-
Does Logic Have a History at All?
To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly...
-
A Simple Logic of Concepts
In Pietroski (
2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The... -
A note on Williamson’s Gettier cases in epistemic logic
In a recent series of papers, Timothy Williamson argues that one can reach Edmund Gettier’s conclusion that the justified-true-belief (JTB) theory of...
-
Logical Instrumentalism and Anti-exceptionalism about Logic
This paper critically examines logical instrumentalism as it has been put forth recently in the anti-exceptionalism about logic debate. I will argue...
-
The Logic of Action and Control
In this paper I propose and motivate a logic of the interdefined concepts of making true and control , understood as intensional propositional...
-
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...