Inquisitive Logic : : Consequence and Inference in the Realm of Questions / / 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 fa...
Saved in:
Superior document: | Trends in Logic, Studia Logica Library, 60 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2022. |
Year of Publication: | 2022 |
Edition: | 1st ed. 2022. |
Language: | English |
Series: | Trends in Logic, Studia Logica Library,
60 |
Physical Description: | 1 online resource (XX, 272 p. 53 illus., 3 illus. in color.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993599213004498 |
---|---|
ctrlnum |
(MiAaPQ)EBC7208103 (CKB)26272148100041 (DE-He213)978-3-031-09706-5 (PPN)269093613 (EXLCZ)9926272148100041 |
collection |
bib_alma |
record_format |
marc |
spelling |
Ciardelli, Ivano. author. aut http://id.loc.gov/vocabulary/relators/aut Inquisitive Logic : Consequence and Inference in the Realm of Questions / by Ivano Ciardelli. 1st ed. 2022. Cham : Springer International Publishing : Imprint: Springer, 2022. 1 online resource (XX, 272 p. 53 illus., 3 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Trends in Logic, Studia Logica Library, 2212-7313 ; 60 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. 1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion. Open Access Logic. Mathematical logic. Mathematical Logic and Foundations. Lògica matemàtica thub Inferència thub Llibres electrònics thub 9783031097058 |
language |
English |
format |
eBook |
author |
Ciardelli, Ivano. Ciardelli, Ivano. |
spellingShingle |
Ciardelli, Ivano. Ciardelli, Ivano. Inquisitive Logic : Consequence and Inference in the Realm of Questions / Trends in Logic, Studia Logica Library, 1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion. |
author_facet |
Ciardelli, Ivano. Ciardelli, Ivano. |
author_variant |
i c ic i c ic |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Ciardelli, Ivano. |
title |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / |
title_sub |
Consequence and Inference in the Realm of Questions / |
title_full |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / by Ivano Ciardelli. |
title_fullStr |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / by Ivano Ciardelli. |
title_full_unstemmed |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / by Ivano Ciardelli. |
title_auth |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / |
title_new |
Inquisitive Logic : |
title_sort |
inquisitive logic : consequence and inference in the realm of questions / |
series |
Trends in Logic, Studia Logica Library, |
series2 |
Trends in Logic, Studia Logica Library, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2022 |
physical |
1 online resource (XX, 272 p. 53 illus., 3 illus. in color.) |
edition |
1st ed. 2022. |
contents |
1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion. |
isbn |
9783031097065 9783031097058 |
issn |
2212-7313 ; |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC1-199 |
callnumber-sort |
BC 11 3199 |
genre |
Llibres electrònics thub |
genre_facet |
Llibres electrònics |
illustrated |
Not Illustrated |
dewey-hundreds |
100 - Philosophy & psychology |
dewey-tens |
160 - Logic |
dewey-ones |
160 - Logic |
dewey-full |
160 |
dewey-sort |
3160 |
dewey-raw |
160 |
dewey-search |
160 |
work_keys_str_mv |
AT ciardelliivano inquisitivelogicconsequenceandinferenceintherealmofquestions |
status_str |
n |
ids_txt_mv |
(MiAaPQ)EBC7208103 (CKB)26272148100041 (DE-He213)978-3-031-09706-5 (PPN)269093613 (EXLCZ)9926272148100041 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Trends in Logic, Studia Logica Library, 60 |
hierarchy_sequence |
60 |
is_hierarchy_title |
Inquisitive Logic : Consequence and Inference in the Realm of Questions / |
container_title |
Trends in Logic, Studia Logica Library, 60 |
_version_ |
1804802316969181184 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02739nam a22004575i 4500</leader><controlfield tag="001">993599213004498</controlfield><controlfield tag="005">20230526110023.0</controlfield><controlfield tag="007">cr#nn#008mamaa</controlfield><controlfield tag="008">230301s2022 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031097065</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-09706-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC7208103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)26272148100041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-031-09706-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)269093613</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)9926272148100041</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC1-199</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">HPL</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">QDTL</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ciardelli, Ivano.</subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Inquisitive Logic :</subfield><subfield code="b">Consequence and Inference in the Realm of Questions /</subfield><subfield code="c">by Ivano Ciardelli.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XX, 272 p. 53 illus., 3 illus. in color.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in Logic, Studia Logica Library,</subfield><subfield code="x">2212-7313 ;</subfield><subfield code="v">60</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Logic.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Mathematical Logic and Foundations.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lògica matemàtica</subfield><subfield code="2">thub</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inferència</subfield><subfield code="2">thub</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Llibres electrònics</subfield><subfield code="2">thub</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">9783031097058</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library,</subfield><subfield code="x">2212-7313 ;</subfield><subfield code="v">60</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-17 06:27:09 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2023-03-20 05:29:18 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5345661790004498&Force_direct=true</subfield><subfield code="Z">5345661790004498</subfield><subfield code="b">Available</subfield><subfield code="8">5345661790004498</subfield></datafield></record></collection> |