Show simple item record

dc.contributor.authorCiardelli, Ivano
dc.date.accessioned2023-03-17T15:19:32Z
dc.date.available2023-03-17T15:19:32Z
dc.date.issued2022
dc.identifierONIX_20230317_9783031097065_5
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/61840
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesTrends in Logic
dc.subject.classificationthema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logicen_US
dc.subject.classificationthema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundationsen_US
dc.subject.otherLogic of Questions
dc.subject.otherInquisitive Logic
dc.subject.otherInformation Semantics
dc.subject.otherLogic of Dependency
dc.subject.otherDependence Logic
dc.subject.otherIntuitionistic Logic
dc.subject.otherProofs-as-Programs
dc.subject.otherInformation Types
dc.subject.otherrole of questions in logic
dc.subject.otherQuestions in propositional logic
dc.subject.otherreasoning with questions
dc.subject.otherQuestions in first-order logic
dc.subject.otherQuestions in modal logic
dc.subject.otherConnections with intuitionistic logic
dc.subject.otherConnections with dependence logic
dc.subject.otherhow classical logic can be made inquisitive
dc.subject.otherconnection inquisitive, intuitionistic, dependence logic
dc.titleInquisitive Logic
dc.title.alternativeConsequence and Inference in the Realm of Questions
dc.typebook
oapen.identifier.doi10.1007/978-3-031-09706-5
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy178e65b9-dd53-4922-b85c-0aaa74fce079
oapen.relation.isbn9783031097065
oapen.collectionEuropean Research Council (ERC)
oapen.imprintSpringer International Publishing
oapen.series.number60
oapen.pages272
oapen.place.publicationCham
oapen.grant.number680220


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record