Inquisitive Logic Consequence and Inference in the Realm of Questions

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. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as fa...

Full description

Bibliographic Details
Format: eBook
Language:English
Published: Cham Springer Nature 2022
Series:Trends in Logic
Subjects:
connection inquisitive, intuitionistic, dependence logic
Connections with dependence logic
Connections with intuitionistic logic
Dependence Logic
how classical logic can be made inquisitive
Information Semantics
Information Types
Inquisitive Logic
Intuitionistic Logic
Logic of Dependency
Logic of Questions
Proofs-as-Programs
Questions in first-order logic
Questions in modal logic
Questions in propositional logic
reasoning with questions
role of questions in logic
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
Online Access:Open Access: DOAB: description of the publication
Open Access: DOAB, download the publication

Similar Items

Similar Items