Inquisitive Logic by Ivano Ciardelli
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems.
After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.
-
Modal Semirings and Applications
-
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
-
Graph Games and Logic Design
-
Logic and Fixed-Domain Reasoning
-
Algebraic Probabilistic Consistency
-
New Directions in Relevant Logic
-
Logics of Variable Inclusion
-
Heyting Algebras
-
Recent Trends in Philosophical Logic
-
Harmony and Paradox
-
60 Years of Connexive Logic
-
Logic and Implication
-
Anaphora and Type Logical Grammar
-
Contradictions, from Consistency to Inconsistency
-
Advanced ukasiewicz calculus and MV-algebras
-
Advances in Natural Deduction
-
Gentzen Calculi for Modal Propositional Logic
-
Truth and Falsehood
-
Quantum Computation and Logic
-
Foundations of the Theory of Parthood
-
Sheaves, Games, and Model Completions
-
Meaning and Proscription in Formal Logic
-
Toward Predicate Approaches to Modality
-
Dual Tableaux: Foundations, Methodology, Case Studies
-
Advances in Proof-Theoretic Semantics
-
Model Theory: The Algebraic Basics
-
Le Niewski's Systems of Logic and Foundations of Mathematics
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning
-
Philosophy of Syntax
-
Descriptor Revision
-
Topological and Algebraic Structures in Fuzzy Sets
-
Dialetheism and its Applications
-
Protoalgebraic Logics
-
Towards Mathematical Philosophy
-
Displaying Modal Logic
-
Reasoning in Quantum Theory
-
Fuzzy Logic
-
Trends in Logic
| SKU | Unavailable |
| ISBN 13 | 9783031097089 |
| ISBN 10 | 3031097084 |
| Title | Inquisitive Logic |
| Author | Ivano Ciardelli |
| Series | Trends In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2023-03-02 |
| Number of pages | 272 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |