Studies in Universal Logic - Böcker
Visar alla böcker i serien Studies in Universal Logic. Handla med fri frakt och snabb leverans.
36 produkter
36 produkter
1 473 kr
Skickas inom 10-15 vardagar
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.
Arabic Logic from al-Fārābī to Averroes
A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
Häftad, Engelska, 2019
959 kr
Skickas inom 10-15 vardagar
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.
906 kr
Skickas inom 10-15 vardagar
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics.
641 kr
Skickas inom 10-15 vardagar
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.
641 kr
Skickas inom 10-15 vardagar
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Inbunden, Engelska, 2020
486 kr
Skickas
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Häftad, Engelska, 2021
536 kr
Skickas inom 10-15 vardagar
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
1 170 kr
Skickas inom 10-15 vardagar
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 skillsproblems concerning medieval notions of idiocy and rationalitydecolonizing natural logicnatural logic and the course of timeLogical 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.
Exoteric Square of Opposition
The Sixth World Congress on the Square of Opposition
Inbunden, Engelska, 2022
1 578 kr
Skickas inom 10-15 vardagar
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.
Exoteric Square of Opposition
The Sixth World Congress on the Square of Opposition
Häftad, Engelska, 2023
1 578 kr
Skickas inom 10-15 vardagar
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. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include:Hegel’s opposition to diagramsDe Morgan’s unpublished octagon of opposition turnstile figures of oppositioninstitutional model-theoretic treatment of oppositionsLacan’s four formulas of sexuationthe theory of oppositional poly-simplexesThe Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts.
1 892 kr
Skickas inom 10-15 vardagar
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:•logic and analogy•Chinese logic•nineteenth century British logic (in particular Boole and Lewis Carroll)•logical diagrams •the place and value of logic in Louis Couturat’s philosophical thinking•contributions of logical analysis for mathematics education•the exceptionality of logic•the logical expressive power of natural languages•the unification of mathematics via topos theoryLogic 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.
1 892 kr
Skickas inom 10-15 vardagar
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:•logic and analogy•Chinese logic•nineteenth century British logic (in particular Boole and Lewis Carroll)•logical diagrams •the place and value of logic in Louis Couturat’s philosophical thinking•contributions of logical analysis for mathematics education•the exceptionality of logic•the logical expressive power of natural languages•the unification of mathematics via topos theoryLogic 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.
1 381 kr
Skickas inom 10-15 vardagar
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.
1 064 kr
Skickas inom 10-15 vardagar
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.
1 473 kr
Skickas inom 10-15 vardagar
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.
1 473 kr
Skickas inom 10-15 vardagar
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.
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
Inbunden, Engelska, 2024
1 505 kr
Skickas inom 5-8 vardagar
John Corcoran was a very well-known logician who worked on several areas of logic. 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.
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
Häftad, Engelska, 2025
1 578 kr
Skickas inom 10-15 vardagar
John Corcoran was a very well-known logician who worked on several areas of logic. 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.
1 473 kr
Skickas inom 10-15 vardagar
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.
Russell, Gödel, Tarski
Selected Papers on the Philosophy of Logic and Mathematics
Inbunden, Engelska, 2025
1 473 kr
Skickas inom 10-15 vardagar
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.
- Nyhet
New Articulations of the Theory of Oppositions
Seventh World Congress on the Square of Opposition
Inbunden, Engelska, 2026
2 861 kr
Kommande
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.
- Nyhet
1 791 kr
Kommande
This book explores the birth of modern modal logic, which offers a precise formalism for encoding the concepts of possibility and necessity within the fundamental logical formalism and for using them in conjunction with the preexisting set of logical operators.The editors of this volume have translated six foundational articles from the original German and French, three of which have never appeared in English before, and have provided a meticulous commentary on the texts, aiding the reader in understanding the theory. Furthermore, they introduce each article with a contextualization of the authors’ lives and works, further enriching the collection. The original articles are by Oskar Becker, Mordchaj Wajsberg, Robert Feys, Arnould Bayart, and include the reproduction of an extract from Clarence I. Lewis’s A Survey of Symbolic Logic.This book will be of interest to scholars and students interested in the historical origins of modal logic, its later developments and extensions and in deepening their knowledge of the conceptual and technical foundations of this crucial area of the field.
536 kr
Skickas inom 10-15 vardagar
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.
536 kr
Skickas inom 10-15 vardagar
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.
1 064 kr
Skickas inom 10-15 vardagar
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.
1 064 kr
Skickas inom 10-15 vardagar
This book provides an original and progressive introduction to the main questions of the theory of classification. It makes connections between previously separate domains of classification theory in applied mathematics, computer science and pure mathematics.
536 kr
Skickas inom 10-15 vardagar
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.
Road to Universal Logic
Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Häftad, Engelska, 2014
536 kr
Skickas inom 10-15 vardagar
The Road to Universal Logic
Road to Universal Logic
Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
Häftad, Engelska, 2015
536 kr
Skickas inom 10-15 vardagar
This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert).The volume gathers personal recollections about Jean-Yves Béziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Németi, Henri Prade.These essays will be of interest to all students and researchers interested in the nature and future of logic.
536 kr
Skickas inom 10-15 vardagar
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.