Search
Search Results
-
Free Choice in Modal Inquisitive Logic
This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the...
-
Proof-Theoretic Semantics and Inquisitive Logic
Prawitz (
1971 ) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false... -
Inquisitive Logic Consequence and Inference in the Realm of Questions
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions....
-
Foundations of Inquisitive Logic
In this chapter, we lay the foundations for our enterprise. In particular, we explain how an information-based semantics, inquisitive semantics,...
-
Maheśa Chandra’s Exposition of the Navya-Nyāya Concept of “Cognition” (jñāna) from the Perspective of Inquisitive Logic
The present paper is about three concepts which are crucially involved in Gaṅgeśa's interpretation of a Mīmāṃsā argument against the well-known...
-
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Inquisitive first order logic
-
Inquisitive Modal Logic: A Preview
Throughout this book, we have emphasized different ways in which questions are relevant in logic. We saw that questions can be seen as names for...
-
Structural Completeness and Superintuitionistic Inquisitive Logics
In this paper, the notion of structural completeness is explored in the context of a generalized class of superintuitionistic logics involving also...
-
-
Inquisitive Heyting Algebras
In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains 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...
-
Questions in Propositional Logic
In the previous chapter we introduced the fundamental ideas of inquisitive logic. These ideas are general, and can be used to build many specific...
-
Questions in Predicate Logic
In this chapter, we move on from propositional logic to the richer setting of predicate logic. We describe how classical first-order logic can be...
-
Logic in the Religions of South Asia
This special issue of Journal of Indian Philosophy results from a thematic session on “Logic in the Religions of South Asia”, a separate section of...
-
The Logic of Lexical Connectives
Natural language does not express all connectives definable in classical logic as simple lexical items. Coordination in English is expressed by...
-
Modus Ponens and the Logic of Decision
This article presents and discusses a prima facie counterexample to modus ponens. To appropriately theorize the case, I argue for conceptualizing the...
-
A Substructural Approach to Explicit Modal Logic
In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics,...
-
Relations with Dependence Logic
We saw how by bringing questions into play in logic we can capture dependency relations as cases of (contextual or logical) entailment, and we can...
-
Inferences with First-Order Questions
In the previous chapter, we saw how classical first-orderSupporfor the inquisitive first-order logic InqBQ logic can be enriched with questions,...