Search
Search Results
-
Web Consequence Untangled
Under the standard modal explication of consequence, a conclusion is a consequence of some premises just in case necessarily, if the latter are true,...
-
Algebraic Logic and Rough Set Theory
The chapter attempts to give an overview of work done in India in the area of algebraic logic related to rough set theory. Algebraic structures and...
-
Logic of Syād-Vāda
The syād-vāda (“doctrine of syāt”), also called “sevenfold predication” (sapta-bhaṅgī), constitutes a cornerstone of the Jaina doctrine of...
-
Triviality and the logic of restricted quantification
This paper clarifies the relationship between the Triviality Results for the conditional and the Restrictor Theory of the conditional. On the...
-
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication
We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic...
-
MTV Logics
This essay introduces a novel framework to studying many-valued logics – the movable truth value (or
MTV ) approach. After setting up the framework,... -
Deep
ST Many analyses of notion of metainferences in the non-transitive logic
ST have tackled the question of whetherST can be identified with classical... -
An Evidence Logic Perspective on Schotch-Jennings Forcing
Traditional epistemic and doxastic logics cannot deal with inconsistent beliefs nor do they represent the evidence an agent possesses. So-called...
-
A Four-Valued Dynamic Epistemic Logic
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always...
-
An Introduction to Food Ethics: A Philosophical Pursuit
The relation between food and morality is not a novel concern in Philosophy. There have been discussions about the same in traditions as early as the...
-
The Catuṣkoṭi, the Saptabhaṇgī, and “Non-Classical” Logic
The Principles of Excluded Middle and Non-Contradiction are highly orthodox in Western philosophy. They are much less so in Indian philosophy....
-
Oskar Becker: On the Logic of Modalities
The following short essay contains a first attempt to confront with the currently emerging problem of the logic of modalities on the basis of a...
-
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...
-
Two-sided Sequent Calculi for FDE-like Four-valued Logics
We present a method that generates two-sided sequent calculi for four-valued logics like first degree entailment ( FDE ). (We say that a logic is FDE-like...
-
Philosophical Aspects of Constructivism in Logic
Proofs are distinguished by identifying some – in fact many – of them as classical and the rest as constructive. This chapter attempts to understand,...
-
Philosophical Aspects of Constructivism in Logic
Proofs are distinguished by identifying some – in fact many – of them as classical and the rest as constructive. This article attempts...
-
Why FDE might be too strong for Beall
In his “The simple argument for subclassical logic,” Jc Beall advances an argument that led him to take FDE as the one true logic (the latter point...
-
Materialism, Logic, and Mathematics
In the last half century, several philosophies of mathematics situate themselves in the orbit of materialism. However, their divergences are as...
-
Tableau Systems for Some Ivlev-Like (Quantified) Modal Logics
Ivlev’s pioneering work started in the 1970s showed a new and promissory way in the study of modal logic from the perspective of many-valued logics....