{"title":"Studies In Universal Logic","description":"\u003cp\u003eDelve into the fascinating 'Studies in Universal Logic' series. A must-read for philosophy enthusiasts, exploring the depths of logical thought and reasoning in academia. Browse the collection and expand your understanding.\u003c\/p\u003e","products":[{"product_id":"sequents-and-trees-book-andrzej-indrzejczak-9783030571443","title":"Sequents and Trees","description":"This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49742778237201,"sku":"NGR9783030571443","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52343664902417,"sku":"NLS9783030571443","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760410915089,"sku":"NIN9783030571443","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030571440.jpg?v=1751157820"},{"product_id":"visual-reasoning-with-diagrams-book-amirouche-moktefi-9783034805995","title":"Visual Reasoning with Diagrams","description":"Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and\/or unique features of visual reasoning.","brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50397374021905,"sku":"CIN3034805993VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52665558171921,"sku":"NLS9783034805995","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3034805993.jpg?v=1751063862"},{"product_id":"universal-logic-an-anthology-book-jeanyves-bziau-9783034601443","title":"Universal Logic: An Anthology","description":"A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Goedel, Kripke - giving a general perspective about logical systems.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51063100440849,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51063103226129,"sku":"NIN9783034601443","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52594149359889,"sku":"NLS9783034601443","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3034601441.jpg?v=1751158170"},{"product_id":"institution-independent-model-theory-book-r259zvan-diaconescu-9783031688539","title":"Institution-independent Model Theory","description":"A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.    This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51608140415249,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51608140579089,"sku":"NIN9783031688539","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52599144808721,"sku":"NLS9783031688539","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031688538.jpg?v=1750902211"},{"product_id":"road-to-universal-logic-book-arnold-koslow-9783319153674","title":"The Road to Universal Logic","description":"The Road to Universal Logic","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52122152960273,"sku":"NLS9783319153674","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319153674.jpg?v=1757438290"},{"product_id":"universal-algebraic-logic-book-istvn-nmeti-9783031148866","title":"Universal Algebraic Logic","description":"This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon.     This book, apart from beinga monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52130229223697,"sku":"NLS9783031148866","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031148866.jpg?v=1757502841"},{"product_id":"square-of-opposition-a-cornerstone-of-thought-book-jeanyves-bziau-9783319450612","title":"The Square of Opposition: A Cornerstone of Thought","description":"This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133116936465,"sku":"NLS9783319450612","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319450612.jpg?v=1757526544"},{"product_id":"kripke-s-worlds-book-olivier-gasquet-9783764385033","title":"Kripke's Worlds","description":"Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138095608081,"sku":"NLS9783764385033","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783764385033.jpg?v=1757560844"},{"product_id":"road-to-universal-logic-book-arnold-koslow-9783319101927","title":"The Road to Universal Logic","description":"The Road to Universal Logic","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138800021777,"sku":"NLS9783319101927","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319101927.jpg?v=1757565076"},{"product_id":"towards-an-arithmetical-logic-book-yvon-gauthier-9783319220864","title":"Towards an Arithmetical Logic","description":"This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52150749724945,"sku":"NLS9783319220864","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319220864.jpg?v=1757611080"},{"product_id":"universal-logic-ethics-and-truth-book-timothy-j-madigan-9783031444630","title":"Universal Logic, Ethics, and Truth","description":"John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's seminal book, Logic, Semantics, Metamathematics (1956). Additionally, Corcoran's posthumous editorial involvement in 'What are logical notions?' (1986) breathed new life into this seminal paper authored by Tarski. His scholarly pursuits extended to the intricate explication of fundamental concepts in modern logic, including variables, propositions, truth, consequences, and categoricity. Corcoran's academic curiosity extended further to the intersection of ethics and logic, reflecting his contemplation of their interrelation. Beyond these theoretical contributions, Corcoran was deeply engaged in the pedagogical dimensions of logic instruction.        This volume serves as a compilation of articles contributed by Corcoran's students, colleagues, and international peers. By encompassing a diverse range of subjects, this collection aptly mirrors Corcoran's wide-ranging interests, offering insights that not only deepen our understanding of his work but also advance the theoretical frameworks he explored.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52153415106833,"sku":"NGR9783031444630","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031444630.jpg?v=1757620084"},{"product_id":"logic-language-ontology-book-urszula-b-wybraniec-skardowska-9783031223327","title":"Logic - Language - Ontology","description":"How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author’s career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska’s scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts.    The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52331697438993,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52331698159889,"sku":"NLS9783031223327","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031223327.jpg?v=1758149156"},{"product_id":"life-and-work-of-leon-henkin-book-enrique-alonso-9783319097183","title":"The Life and Work of Leon Henkin","description":"This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on The completeness of formal systems under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin's intellectual development, his relation to his predecessors and contemporaries and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52331837882641,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52331838374161,"sku":"NLS9783319097183","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319097183.jpg?v=1758149626"},{"product_id":"exoteric-square-of-opposition-book-jean-yves-beziau-9783030908256","title":"The Exoteric Square of Opposition","description":"The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332967592209,"sku":"NLS9783030908256","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030908256.jpg?v=1758153262"},{"product_id":"universal-algebraic-logic-book-zaln-gyenis-9783031148897","title":"Universal Algebraic Logic","description":"This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon.     This book, apart from beinga monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52337202102545,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52337202692369,"sku":"NLS9783031148897","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031148897.jpg?v=1758165884"},{"product_id":"sequents-and-trees-book-andrzej-indrzejczak-9783030571474","title":"Sequents and Trees","description":"This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained.  Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation.  Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications.  The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics.  It will also be of interest to researchers in computer science and philosophers.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52404754907409,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404755398929,"sku":"NLS9783030571474","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030571474.jpg?v=1758765085"},{"product_id":"exoteric-square-of-opposition-book-jean-yves-beziau-9783030908225","title":"The Exoteric Square of Opposition","description":"The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407689412881,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407690068241,"sku":"NLS9783030908225","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030908225.jpg?v=1758772858"},{"product_id":"logical-skills-book-julie-brumberg-chaumont-9783030584450","title":"Logical Skills","description":"This contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses. Specific topics covered include:   the rise of logical skills problems concerning medieval notions of idiocy and rationality decolonizing natural logic natural logic and the course of time   Logical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52478862917905,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52478864064785,"sku":"NLS9783030584450","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030584450.jpg?v=1759847821"},{"product_id":"institution-independent-model-theory-book-razvan-diaconescu-9783764387075","title":"Institution-independent Model Theory","description":"A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52483753214225,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52483754262801,"sku":"NLS9783764387075","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783764387075.jpg?v=1759855213"},{"product_id":"arabic-logic-from-al-farabi-to-averroes-book-saloua-chatti-9783030274658","title":"Arabic Logic from al-Farabi to Averroes","description":"This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52532962885905,"sku":"NLS9783030274658","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53037305331985,"sku":"NIN9783030274658","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030274658.jpg?v=1760662981"},{"product_id":"logic-in-question-book-amirouche-moktefi-9783030944544","title":"Logic in Question","description":"This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors provide a thorough, interdisciplinary exploration of topics that have been studied in the workshop. Organized into three sections, the first part of the book focuses on historical questions related to logic, the second explores philosophical questions, and the third section is dedicated to mathematical discussions. Specific topics include: •\tlogic and analogy•\tChinese logic•\tnineteenth century British logic (in particular Boole and Lewis Carroll)•\tlogical diagrams •\tthe place and value of logic in Louis Couturat’s philosophical thinking•\tcontributions of logical analysis for mathematics education•\tthe exceptionality of logic•\tthe logical expressive power of natural languages•\tthe unification of mathematics via topos theory Logic in Question will appeal to pure logicians, historians of logic, philosophers, linguists, and other researchers interested in the history of logic, making this volume a unique and valuable contribution to the field.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52583993868561,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52583994458385,"sku":"NLS9783030944544","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030944544.jpg?v=1761048692"},{"product_id":"modern-logic-1850-1950-east-and-west-book-francine-f-abeles-9783319247540","title":"Modern Logic 1850-1950, East and West","description":"This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia.      The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52584745894161,"sku":"NLS9783319247540","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319247540.jpg?v=1761051002"},{"product_id":"universal-logic-ethics-and-truth-book-timothy-j-madigan-9783031444609","title":"Universal Logic, Ethics, and Truth","description":"John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's seminal book, Logic, Semantics, Metamathematics (1956). Additionally, Corcoran's posthumous editorial involvement in 'What are logical notions?' (1986) breathed new life into this seminal paper authored by Tarski. His scholarly pursuits extended to the intricate explication of fundamental concepts in modern logic, including variables, propositions, truth, consequences, and categoricity. Corcoran's academic curiosity extended further to the intersection of ethics and logic, reflecting his contemplation of their interrelation. Beyond these theoretical contributions, Corcoran was deeply engaged in the pedagogical dimensions of logic instruction.        This volume serves as a compilation of articles contributed by Corcoran's students, colleagues, and international peers. By encompassing a diverse range of subjects, this collection aptly mirrors Corcoran's wide-ranging interests, offering insights that not only deepen our understanding of his work but also advance the theoretical frameworks he explored.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52615488930065,"sku":"NLS9783031444609","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031444609.jpg?v=1761524234"},{"product_id":"completeness-theory-for-propositional-logics-book-witold-a-pogorzelski-9783764385170","title":"Completeness Theory for Propositional Logics","description":"Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word 'all', seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics. Such completeness was e?ectively used by J. ?ukasiewicz and investigated in general terms by A. Tarski and A. Lindenbaum, which gave strong foundations for research in logic and, in particular, for the notion of consequence operation determined by a logical system. The choice of logical means, by use of which we intend to represent logical inferences, is also important. Most of the de?nitions and results in completeness theory were originally developed in terms of propositional logic. Propositional formal systems ?nd many applications in logic and theoretical computer science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617262235921,"sku":"NLS9783764385170","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783764385170.jpg?v=1761529759"},{"product_id":"lvov-warsaw-school-past-and-present-book-ngel-garrido-9783030097400","title":"The Lvov-Warsaw School. Past and Present","description":"This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.     The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic  Philosophy, Theory of Models and Linguistics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617353789713,"sku":"NLS9783030097400","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030097400.jpg?v=1761530035"},{"product_id":"language-logic-and-mathematics-in-schopenhauer-book-jens-lemanski-9783030330897","title":"Language, Logic, and Mathematics in Schopenhauer","description":"The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauers logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52671330320657,"sku":"NLS9783030330897","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030330897.jpg?v=1762292006"},{"product_id":"towards-a-general-theory-of-classifications-book-daniel-parrochia-9783034806084","title":"Towards a General Theory of Classifications","description":"This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisions of the real world. For the moment, such a theory remains nothing but a dream. Instead, the authors essentially put forward a number of key questions. Their aim is rather to reveal the state of art of this dynamic field and the philosophy one may eventually adopt to go further. To this end they present some advances made in the course of the last century, discuss a few tricky problems that remain to be solved, and show the avenues open to those who no longer wish to stay on the wrong track. Researchers and professionals interested in the epistemology and philosophy of science, library science, logic and set theory, order theory or cluster analysis will find this book a comprehensive, original and progressive introduction to the main questions in this field.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52675824058641,"sku":"NLS9783034806084","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783034806084.jpg?v=1762302816"},{"product_id":"around-and-beyond-the-square-of-opposition-book-dale-jacquette-9783034803786","title":"Around and Beyond the Square of Opposition","description":"The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory.   The square of opposition from its origin in antiquity to the present day continues to exert a profound impact on the development of deductive logic. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection of previously unpublished papers by high level specialists on the square from all over the world.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52681401499921,"sku":"NLS9783034803786","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783034803786.jpg?v=1762315499"},{"product_id":"logic-in-question-book-amirouche-moktefi-9783030944513","title":"Logic in Question","description":"This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors provide a thorough, interdisciplinary exploration of topics that have been studied in the workshop. Organized into three sections, the first part of the book focuses on historical questions related to logic, the second explores philosophical questions, and the third section is dedicated to mathematical discussions. Specific topics include: •\tlogic and analogy•\tChinese logic•\tnineteenth century British logic (in particular Boole and Lewis Carroll)•\tlogical diagrams •\tthe place and value of logic in Louis Couturat’s philosophical thinking•\tcontributions of logical analysis for mathematics education•\tthe exceptionality of logic•\tthe logical expressive power of natural languages•\tthe unification of mathematics via topos theory Logic in Question will appeal to pure logicians, historians of logic, philosophers, linguists, and other researchers interested in the history of logic, making this volume a unique and valuable contribution to the field.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52690224152849,"sku":"NLS9783030944513","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53037320569105,"sku":"NIN9783030944513","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030944513.jpg?v=1762337194"},{"product_id":"logic-language-ontology-book-urszula-b-wybraniec-skardowska-9783031223297","title":"Logic - Language - Ontology","description":"This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52690474860817,"sku":"NLS9783031223297","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53037328105745,"sku":"NIN9783031223297","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031223297.jpg?v=1762337706"},{"product_id":"russell-godel-tarski-book-francisco-rodrguez-consuegra-9783032089441","title":"Russell, Gödel, Tarski","description":"This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics. It also includes a personal reflection of the author's approach to his field of research. The papers in this book have been assembled to convey key elements of the author's research on the published and unpublished materials of the three greatest logicians of the twentieth century.    Francisco Rodríguez-Consuegra is well known in the field of the History and Philosophy of Logic and Mathematics, mostly due to his former books: The Mathematical Philosophy of Bertrand Russell (Birkhäuser, 1991) and Kurt Gödel, Unpublished Philosophical Essays (Birkhäuser, 1995). Throughout his career, the author visited and worked in depth in the Russell Archives (Hamilton, Canada), the Gödel Nachlass (Princeton, USA), and the Tarski Papers (Berkeley, USA).   This book is of interest to students, professors, and researchers in the history of logic and mathematics, philosophy of logic and mathematics, and general history and philosophy of science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52859779318033,"sku":"NLS9783032089441","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53085155918097,"sku":"NIN9783032089441","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032089441.jpg?v=1765151243"},{"product_id":"new-articulations-of-the-theory-of-oppositions-book-jean-yves-beziau-9783032130662","title":"New Articulations of the Theory of Oppositions","description":"This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists, and computer scientists.   The theory of the square of opposition was developed based on a logical structure coming from Aristotelian logic, a square, which was expanded into more complex geometrical objects: hexagons, octagons, polyhedra, and even four-dimensional objects. It has been continuously studied for two thousand years and it can also be found in works by Gottlob Frege. Such a logical construction can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, and theology. This volume contains new advances on the different aspects of this theory: its history, philosophy, application, and mathematical shapes.   The articles in this volume will be of interest to researchers and students in logic, mathematics, and philosophy alike.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":53339149533457,"sku":"NGR9783032130662","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032130662.jpg?v=1774395062"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/studies-in-universal-logic-book-series.oembed?page=3","provider":"World of Books ","version":"1.0","type":"link"}