Search
Search Results
-
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic
This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family...
-
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...
-
Logic and science: science and logic
According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”,...
-
What is logical deflationism? Two non-metalinguistic conceptions of logic
This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject...
-
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... -
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic
Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A , then A is known” (written
... -
Can Non-classical Logic Treat Mathematics as Exceptional?
The paper criticizes a ‘lazy’ strategy popular amongst contemporary advocates of non-classical logic motivated by non-mathematical phenomena (e.g....
-
Hegel’s Logic of Negation
In his introduction to the General Concept of the Logic, Hegel writes: “What propels the concept onward is the already mentioned negative which it...
-
Second-Order Logic
In this section we introduce languages that allow quantification not only on individual variables, but also on predicate variables.
-
The Logic ILP for Intuitionistic Reasoning About Probability
We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models,...
-
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...
-
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic...
-
The Stoic Logic of Events
The main aim of this chapter is to unpack Deleuze’s interpretation of Stoic logic in Logic of Sense. It is in this regard that I also discuss his...
-
Why classical logic is privileged: justification of logics based on translatability
In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be...
-
**ong Shili, Kiyozawa Manshi, and the Logic of Transformation
This paper offers a comparative-philosophical examination of how the early 20 th -century Chinese philosopher **ong Shili (1885–1968) and late 19 th -cent...
-
Rewriting the History of Connexive Logic
The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like...
-
A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics
A predicate logic \(\mathbf {L}\) is said to...
-
Logic in Selected African Languages and Proverbs
This chapter discusses perspectives of African logic in African philosophy. The question is, though it is commonly accepted that African philosophy...
-
What Proto-logic Could not be
Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a...
-
A Generic Solution to the Sorites Paradox
This paper offers a generic revenge-proof solution to the Sorites paradox that is compatible with several philosophical approaches to vagueness,...
