4990 records matched your query
04307aam a2200349Ii 4500 001 15F5D3E0BFA611ECA5AD8FDE3CECA4DB 003 SILO 005 20220419010024 008 210128s2022 sz a b 001 0 eng d 020 $a 9783030700836 020 $a 3030700836 035 $a (OCoLC)1233165085 040 $a YDX $b eng $e rda $c YDX $d YDX $d CWE $d OCLCO $d OHX $d SILO 050 4 $a K235 $b .N49 2022 245 00 $a New developments in legal reasoning and logic : $b from ancient law to modern legal systems / $c Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes, editors. 264 1 $a Cham, Switzerland : $b Springer, $c [2022] 300 $a xiv, 433 pages : $b illustrations (some color) ; $c 25 cm. 490 1 $a Logic, argumentation & reasoning ; $v volume 23 504 $a Includes bibliographical references and indexes. 520 $a This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science. This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book also aims to motivate and launch a more intense interaction between the historical and philosophical work of Arabic, Talmudic and European jurisprudence. The publication discusses new insights in the interaction between logic and law, and more precisely the study of different answers to the question: what role does logic play in legal reasoning? Varying perspectives include that of foundational studies (such as logical principles and frameworks) to applications, and historical perspectives. 505 0 $a Part 1. Historic Roots -- 1. What is to have Knowledge of Roman Legal Methods and Reasoning? (Geoffrey Samuel) -- 2. The Use of Logic for Creating Fact Patterns in Roman Legal Writings (Markus Winkler) -- 3. A Logical Framework for The Islamic Law (Mohammad Ardeshir & Fatemeh Nabavi) -- 4. The Formal Evolution of Islamic Juridical Dialectic: a Brief Glimpse (Walter Edward Young) -- 5. Independent Reasoning in Law: The Jewish Tradition (Joseph E. David) -- Part 2. Contemporary Law -- 6. Rethinking Interpretative Arguments (Halis Alves do Nascimento Franca) -- 7. A Logic for the Interpretation of Private International Law (Alessandra Malerba, Antonino Rotolob, and Guido Governatori) -- 8. A Formal Model for Analogies in Civil Law Reasoning (Matthias Armgardt) -- 9. Approaching an Analysis of Reasoning by Analogy (Hans Christian Nordtveit Kvernenes) -- 10. Elements for a Dialogical Approach on Parallel Reasoning. A Case Study of Spanish Civil Law (Maria Dolors Martinez -Cazalla; Tania Menendez-Martin) -- 11. Abductive Inference in Legal Reasoning: Resolving the Question of Res Ipsa Loquitur's Procedural Effect (Douglas Lind) -- Part 3. Deontic Logic, Legal Reasoning, Normativity) -- 12. Common Law Precedent and the Logic of Reasons (Federico L.G. Faroldi) -- 13. Reasoning with Rules and Rights: Term-Modal Deontic Logic (Stef Frijters & Joke Meheus; Frederik Van De Putte) -- 14. Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments (Christoph BenzmuÂller, Ali Farjami, and Xavier Parent) -- 15. On the Role of Past Treatment of Terms From Written Laws in Legal Reasoning (Jaromir Savelka; Kevin D. Ashley) -- 16. Jorgensen's Dilemma in the interface between Legal Positivism and the Natural Law tradition (Juliele Maria Sievers) -- 17. Coping with inconsistencies in legal reasoning (Max Urchs). 650 0 $a Law $x Philosophy. 650 0 $a Law $x Methodology. 650 0 $a Logic. 650 7 $a Law $x Philosophy. $2 fast $0 (OCoLC)fst00993788 700 1 $a Rahman, Shahid, $d 1956- $e editor. 700 1 $a Armgardt, Matthias, $e editor. 700 1 $a Kvernenes, Hans Christian Nordtveit, $e editor. 830 0 $a Logic, argumentation & reasoning ; $v v. 23. 941 $a 1 952 $l OVUX522 $d 20230517011410.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=15F5D3E0BFA611ECA5AD8FDE3CECA4DBInitiate Another SILO Locator Search