01162nam0 22002771i 450 UON0050359120231205105425.647978-12-500-9248-920200603d2017 |0itac50 baitaUS|||| |||||Enduring Vietnaman American generation and its warJames E. WrightNew YorkThomas Dunne Books2017xvi, 445 p.24 cm.VIETNAMGuerra1961-1975UONC085980FIUSNew YorkUONL000050WRIGHTJames E.UONV24547186209Thomas Dunne BooksUONV284183650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00503591SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI III STORIAAME 1368 SI 35708 5 1368 SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI202061 1J 20200603 Enduring Vietnam1757437UNIOR03022nam 22005775 450 991067668650332120250628110032.0978303109706510.1007/978-3-031-09706-5(MiAaPQ)EBC7208103(CKB)26272148100041(DE-He213)978-3-031-09706-5(PPN)269093613(ODN)ODN0010070756(oapen)doab98517(EXLCZ)992627214810004120230301d2022 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierInquisitive Logic Consequence and Inference in the Realm of Questions /by Ivano Ciardelli1st ed. 2022.2023Cham :Springer Nature Switzerland :Imprint: Springer,2022.1 online resource (XX, 272 p. 53 illus., 3 illus. in color.)Trends in Logic, Studia Logica Library,2212-7313 ;609783031097058 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.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.Trends in Logic, Studia Logica Library,2212-7313 ;60LogicLogic, Symbolic and mathematicalLogicMathematical Logic and FoundationsLògica matemàticathubInferènciathubLlibres electrònicsthubLogic.Logic, Symbolic and mathematical.Logic.Mathematical Logic and Foundations.Lògica matemàtica.Inferència160MAT018000PHI011000bisacshCiardelli Ivanoauthttp://id.loc.gov/vocabulary/relators/aut9979359910676686503321Inquisitive Logic3091255UNINA