LEADER 04089nam 22005415 450 001 9910300612203321 005 20200704060014.0 010 $a3-319-97755-5 024 7 $a10.1007/978-3-319-97755-3 035 $a(CKB)4100000007108402 035 $a(MiAaPQ)EBC5560082 035 $a(DE-He213)978-3-319-97755-3 035 $a(EXLCZ)994100000007108402 100 $a20181019d2018 u| 0 101 0 $aeng 135 $aurcn#|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHandbook of Philosophical Logic $eVolume 18 /$fedited by Dov M. Gabbay, Franz Guenthner 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (377 pages) 225 1 $aHandbook of Philosophical Logic ;$v18 311 $a3-319-97754-7 320 $aIncludes bibliographical references and index. 327 $aChapter 1. Deontic Logic and Changing Preferences (Johan van Benthem and Fenrong Liu) -- Chapter 2. Homogeneous and heterogeneous logical proportions: An introduction (Henri Prade and Gilles Richard) -- Chapter 3. The Formalization of Pratical Reasoning: Problems and Prospects (Richmond H. Thomason) -- Chapter 4. Principles of Talmudic Logic (M. Abraham, D. M. Gabbay and U. Schild). 330 $aThis eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors who are among the most famous leading figures of applied philosophical logic of our time. Coverage includes deontic logic, practical reasoning, homogeneous and heterogeneous logical proportion, and talmudic logic. Overall, it will appeal to students, practitioners, and researchers looking for an authoritative resource in these areas. The contributors first explore models in terms of dynamic logics for information-driven agency. The paradigm they use is dynamic-epistemic logics for knowledge and belief and their current extensions to the statics and dynamics of agents? preferences. Next, in the presentation of preference based agency, coverage examines a large number of themes, including interactive social agents and scenarios with long term patterns emerging over time. From here, the book moves on to offer an introduction to homogeneous and heterogeneous logical proportions. Readers will also learn more about the general challenge that the problem of formalizing practical reasoning presents to logical theory. The contributors survey the existing resources that might contribute to the development of such a formalization. They conclude that, while a robust, adequate logic of practical reasoning is not yet in place, the materials for developing such a logic are now available. The last chapter explores topics that deal with the logic of Jewish law and the logic of the Talmud. This includes obligations and prohibitions in Talmudic deontic logic, the handling of loops in Talmudic logic, Temporal Talmudic logic, and quantum states and disjunctive attacks in Talmudic logic. The Talmudic logic system presented are also exported to general logic and to Artificial Intelligence. 410 0$aHandbook of Philosophical Logic ;$v18 606 $aLogic 606 $aLinguistics 606 $aModern philosophy 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aLinguistics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/N00000 606 $aModern Philosophy$3https://scigraph.springernature.com/ontologies/product-market-codes/E19000 615 0$aLogic. 615 0$aLinguistics. 615 0$aModern philosophy. 615 14$aLogic. 615 24$aLinguistics, general. 615 24$aModern Philosophy. 676 $a160 702 $aGabbay$b Dov M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGuenthner$b Franz$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910300612203321 996 $aHandbook of philosophical logic$9384719 997 $aUNINA