Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Logic. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Lògica matemàtica --- Inferència --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica combinatòria --- Lògica de primer ordre --- Lògica difusa --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Inferència (Lògica) --- Raonament