01033nam--2200373---450-99000163775020331620050307100005.0000163775USA01000163775(ALEPH)000163775USA0100016377520040506d1982----km-y0itay0103----bafreFRa|||||||001yyTerres de bonne esperancele monde tropicalpar Pierre GourouParisPlon1982455 p.ill.20 cmTerre humaine2001Terre humaine2001001-------2001Paesi tropicali990GOURON,Pierre561426ITsalbcISBD990001637750203316III.1. 1616(I G Coll 27/1)20682 L.M.I G CollBKUMASIAV51020040506USA010947COPAT39020050307USA011000Terres de bonne esperance943293UNISA00991cam0 2200265 450 E60020004584820200714115712.020090225d1967 |||||ita|0103 baengGB<<A >>Letter from a Gentleman to his friend in Edimburgh (1745)David Humeedited by Ernest C. Mossner & John V. PriceEdimburghThe University Press1967XXV,43 p.21 cmHume, DavidAF00020102070329443Mossner, Ernest CampbellA600200034872070Price, John ValdimirA600200029965070ITUNISOB20200714RICAUNISOBUNISOB10029783E600200045848M 102 Monografia moderna SBNM100001072Si29783acquistopregresso3UNISOBUNISOB20090225114449.020200714115656.0AlfanoLetter from a Gentleman to his friend in Edimburgh (1745)1682183UNISOB03022nam 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