- Table View
- List View
Logic in the Theory and Practice of Lawmaking
by Michał Araszkiewicz Krzysztof PłeszkaThis book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical tools in law making. This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems--and some possible solutions--as seen through the work of leading contemporary academics. The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of law making taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law. How does logic inform lawmaking? Are legal systems consistent and complete? How can legal rules be represented by means of formal calculi and visualization techniques? Does the structure of statutes or of legal systems resemble the structure of deductive systems? What are the logical relations between the basic concepts of jurisprudence that constitute the system of law? How are theories of legal interpretation relevant to the process of legislation? How might the statutory text be analysed by means of contemporary computer programs? These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection.
Logic in the Wild
by Patrick GirardIs logic a good tool for making decisions? Can it make us better listeners and help us find coherence in views that we disagree with? Is Sherlock Holmes actually good at logic?Patrick Girard addresses these and other questions by presenting logic as the guardian of coherence. Logic, Girard argues, finds coherence in the patterns of reasoning across science, religion, and everyday decision making. It helps communities engage safely by replacing contentious debates with shared, constructive reasoning – logic provides neutral ground for the healthy pursuit of common goals and interests. Logic in the Wild employs common sense language, eschewing technical jargon, symbols, and equations. Girard’s attention focuses on logic’s power to find what unites the complex and the simple, the abstract and the concrete, the theoretical and the practical.In treating logic not as a passive subject to learn but as an active discipline to engage with, Logic in the Wild teaches us to identify patterns in our own reasoning, which inevitably helps us better confront questions central to everyday life.
Logic, Language, and Computation
by Martin Aher Daniel Hole Emil Jeřábek Clemens KupkeThis book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #12300)
by Vivek Nigam Tajana Ban Kirigin Carolyn Talcott Joshua Guttman Stepan Kuznetsov Boon Thau Loo Mitsuhiro OkadaThis Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings (Lecture Notes in Computer Science #13468)
by Agata Ciabattoni Elaine Pimentel Ruy J. G. B. de QueirozEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (Lecture Notes in Computer Science #13923)
by Helle Hvid Hansen Andre Scedrov Ruy J.G.B. de QueirozEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
Logic, Language, Information, and Computation
by Juliette Kennedy Ruy J. G. B. QueirozEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10944)
by Lawrence S. Moss Ruy De Queiroz Maricarmen MartinezEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (Lecture Notes in Computer Science #11541)
by Ruy De Queiroz Rosalie Iemhoff Michael MoortgatEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings (Lecture Notes in Computer Science #13038)
by Alexandra Silva Renata Wassermann Ruy De QueirozEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions.The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
by Andrea IaconaThis textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintaining a comfortable pace that students can follow. The technical exposition is clear, precise and follows a paced increase in complexity, allowing the reader to get comfortable with previous definitions and procedures before facing more difficult material. The book also presents an interesting overall balance between formal and philosophical discussion, making it suitable for both philosophy and more formal/science oriented students. This textbook is of great use to undergraduate philosophy students, graduate philosophy students, logic teachers, undergraduates and graduates in mathematics, computer science or related fields in which logic is required.
Logic Made Easy: How to Know When Language Deceives You
by Deborah J. Bennett"The best introduction to logic you will find."--Martin Gardner "Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Designed with dozens of visual examples, the book guides you through those hair-raising times when logic is at odds with our language and common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.
Logic, Mathematics, and Computer Science
by Yves NievergeltThis text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 BirkhÓ"user, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided. Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive? Why are there no recipes to design proofs? Where do these numerous mathematical rules come from? What issues in logic, mathematics, and computer science still remain unresolved? And the perennial question: In what ways are we going to use this material? Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few. From the reviews of the first edition: ". . . All the results are proved in full detail from first principles. . . remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions!. . . This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory. " --MATHEMATICAL REVIEWS "Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences. " --Zentralblatt MATH
Logic, Mathematics, Philosophy, Vintage Enthusiasms
by Peter Clark David Devidi Michael HallettThe volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell's own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.
Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance (Ashgate New Critical Thinking in Philosophy)
by Hanoch Ben-YamiFrege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic characteristics, primarily in its treatment of reference and quantification, and that as a result the calculus is inadequate for the analysis of the semantics and logic of natural language. Ben-Yami develops both an alternative analysis of the semantics of natural language and an alternative deductive system comparable in its deductive power to first order predicate calculus but more adequate than it for the representation of the logic of natural language. Ben-Yami's book is a revolutionary challenge to classical first order predicate calculus, casting doubt on many of the central claims of modern logic.
The Logic Of Anarchy: Neorealism To Structural Realism (New Directions In World Politics Ser.)
by Barry Buzan Charles Jones Richard LittleThis book began to take life in 1986, when Barry Buzan proposed to the others a collective volume that would try to extend the existing framework of Neorealist theory. Before that it had simply been a set of attractions, dissatisfactions, and questions in Buzan’s mind arising from his encounter with Waltz’s work while preparing the 1983 book People, States and Fear. After that it became a genuinely joint project, with an agreed division of labor, and extensive comment and cross fertilization between the drafts.
The Logic of Chance: An Essay On The Foundations And Province Of The Theory Of Probability, With Especial Reference To Its Logical Bearings And Its Ap (Dover Books on Mathematics)
by John VennNo mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity, readability, and sheer charm. Its author, British logician John Venn (1834-1923), popularized the famous Venn Diagrams that are commonly used for teaching elementary mathematics. In The Logic of Chance, he employs the same directness that makes his diagrams so effective.The three-part treatment commences with an overview of the physical foundations of the science of probability, including surveys of the arrangement and formation of the series of probability; the origin or process of causation of the series; how to discover and prove the series; and the conception of randomness. The second part examines the logical superstructure on the basis of physical foundations, encompassing the measurement of belief; the rules of inference in probability; the rule of succession; induction; chance, causation, and design; material and formal logic; modality; and fallacies. The final section explores various applications of the theory of probability, including such intriguing aspects as insurance and gambling, the credibility of extraordinary stories, and approximating the truth by means of the theory of averages.
The Logic of Choice: An Investigation of the Concepts of Rule and Rationality (Routledge Library Editions: Logic)
by Gidon GottliebOriginally published in 1968. This is a critical study of the concept of ‘rule’ featuring in law, ethics and much philosophical analysis which the author uses to investigate the concept of ‘rationality’. The author indicates in what manner the modes of reasoning involved in reliance upon rules are unique and in what fashion they provide an alternative both to the modes of logico-mathematical reasoning and to the modes of scientific reasoning. This prepares the groundwork for a methodology meeting the requirements of the fields using rules such as law and ethics which could be significant for communications theory and the use of computers in normative fields. Other substantive issues related to the mainstream of legal philosophy are discussed - theories of interpretation, the notion of purpose and the requirements of principled decision-making. The book utilizes examples drawn from English and American legal decisions to suggest how the positions of legal positivism and of natural law are equally artificial and misleading.
The Logic of Commands (Routledge Library Editions: Logic)
by Nicholas RescherOriginally published in 1966. Professor Rescher’s aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic.
The Logic of Commitment (Routledge Focus on Philosophy)
by Gary ChartierThis book develops and defends a conception of commitment and explores its limits. Gary Chartier shows how commitment serves to resolve conflicts between ordinary moral intuitions and the reality that the basic aspects of human well-being are incommensurable. He outlines a variety of overlapping and mutually reinforcing rationales for making commitments, explores the relationship between commitment and vocation and the relevance of commitment to love, and notes some reasons why it might make sense to disregard one’s commitments. The Logic of Commitment will appeal to ethicists interested in the connection between commitment and personal well-being, and to anyone who wonders why and when it might make sense to make or keep commitments.
The Logic of Education (Routledge Library Editions: Education)
by P. H. Hirst and R. S. PetersThis book explores the implications for the curriculum, for teaching and for the authority structure of schools and colleges of an analysis of ‘education’ in which the development of knowledge and understanding is accorded a central position. The book explains what philosophy of education is, and by concentrating on its central concepts, initiates readers into exploring it for themselves. It also serves as a succinct introduction to the growing literature on philosophy of education in the UK.
The Logic of Estrangement: Reason in an Unreasonable Form
by Julius SensatThe book recasts the concept of estrangement as 'reason in an unreasonable form', traces its development in writings of Kant, Hegel, and Marx, supplies a game-theoretic reconstruction of it, and assesses its significance for a critical understanding of John Rawls's philosophy.
The Logic of Expression: Quality, Quantity and Intensity in Spinoza, Hegel and Deleuze (Ashgate New Critical Thinking in Philosophy)
by Simon DuffyEngaging with the challenging and controversial reading of Spinoza presented by Gilles Deleuze in Expressionism in Philosophy (1968), this book focuses on Deleuze's redeployment of Spinozist concepts within the context of his own philosophical project of constructing a philosophy of difference as an alternative to the Hegelian dialectical philosophy. Duffy demonstrates that a thorough understanding of Deleuze's Spinozism is necessary in order to fully engage with Deleuze's philosophy of difference.
The Logic of Faith: A Buddhist Approach To Finding Certainty Beyond Belief And Doubt
by Elizabeth Mattis NamgyelA popular American Buddhist teacher explores the creative relationship between faith and doubt, knowing and not-knowing, and shows how an awakened life results from living from the place in between.Faith is a thorny subject these days. Its negative expressions cause many to dismiss it out of hand--but Elizabeth Mattis Namgyel urges us to reconsider, for faith is really nothing but our natural proclivity to find certainty in a world where certainty is hard to come by. And if we look carefully, we’ll discover that the faith impulse isn’t separate from reason at all—faith and logic in fact work together in a playful and dynamic relationship that reveals the profoundest kind of truth—a truth beyond the limits of “is” and “is not.” Using the traditional Buddhist teachings on dependent arising, Elizabeth leads us on an experiential journey to discover the essential interdependence of everything--and through that thrilling discovery to open ourselves to the whole wonderful range of human experience.
The Logic of Grounding (Elements in Philosophy and Logic)
by Fabrice CorreiaThe concept of grounding – of a fact obtaining in virtue of other facts – has been a topic of intensive philosophical and logical investigation over roughly the past two decades. Many philosophers take grounding to deserve a central place in metaphysical theorizing, in great part because it is thought to do a better job than other concepts – e.g., reduction and supervenience – at capturing certain phenomena. Studies on the logic of grounding have largely been conducted with this philosophical background in mind. In this Element, I try to give a faithful picture of the contemporary development of the logic of grounding in a way that is both reasonably comprehensive and reasonably systematic.