Search
Search Results
-
Logic-Sensitivity and Bitstring Semantics in the Square of Opposition
This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a...
-
Kit Fine on Truthmakers, Relevance, and Non-classical Logic
This book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among... -
Semantical Analysis of the Logic of Bunched Implications
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work...
-
Unfamiliarity in Logic? How to Unravel McSweeney’s Dilemma for Logical Realism
Logical realism is the metaphysical view asserting that the facts of logic exist and are mind-and-language independent. McSweeney argues that if...
-
A Dynamic Logic of Data-Informed Knowledge
With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific...
-
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....
-
The Crisis of the Form. The Paradox of Modern Logic and its Meaning for Phenomenology
The goal of this paper is to provide an account of the role played by logic in the context of what Husserl names the “crisis of European sciences.”...
-
Truthmakers and Relevance for FDE, LP, K3, and CL
In this paper, we first develop truthmaker semantics for four relevance logics defined as the non-transitive relevant cores [as introduced in Verdée... -
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...
-
A Truthmaker-based Epistemic Logic
The aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a...
-
The Riskification of Internal Auditors’ Ethical Deliberation: An Emerging Third Logic Between Norms and Values?
What ethical challenges do internal auditors (IAs) encounter in their professional role, and how do they navigate these hurdles, especially when...
-
What does nihilism tell us about modal logic?
Brauer (Philos Stud 179:2751–2763, https://doi.org/10.1007/s11098-022-01793-7 , 2022) has recently argued that if it is possible that there is...
-
Relevance-Sensitive Truth-Trees
Our goal is to articulate a clear rationale for relevance-sensitive propositional logic. The method: truth-trees. Familiar decomposition rules for... -
A Semantics for the Impure Logic of Ground
This paper establishes a sound and complete semantics for the impure logic of ground. Fine ( Review of Symbolic Logic , 5(1), 1–25,
2012a ) sets out a... -
Revising System Specifications in Temporal Logic
Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has...
-
Variable Sharing in Connexive Logic
However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics...
-
More Human, Not Less: Global Relevance of Values-Based Leadership
As societal demands to become more human, not less, are growing globally, the case to understand the relevance of humanistic leadership approaches...
-
Classical Logic is not Uniquely Characterizable
I show that it is not possible to uniquely characterize classical logic when working within classical set theory. By building on recent work by...