Studies in Universal Logic – serie
Visar alla böcker i serien Studies in Universal Logic. Handla med fri frakt och snabb leverans.
37 produkter
Lvov-Warsaw School. Past and Present
Av Ángel Garrido, Urszula Wybraniec-Skardowska
Häftad, 2018
1534 kr
Lägg i varukorg
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 …
Arabic Logic from al-Fārābī to Averroes
A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
Häftad, 2019
989 kr
Lägg i varukorg
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. By thoroughly examining the writings of the first Arabic logicians, …
Language, Logic, and Mathematics in Schopenhauer
Inbunden, 2020
934 kr
Lägg i varukorg
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. Thus, this work addresses the lack of research on …
Decidability of Logical Theories and Their Combination
Av João Rasga, Cristina Sernadas
Inbunden, 2020
660 kr
Lägg i varukorg
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 …
Decidability of Logical Theories and Their Combination
Av João Rasga, Cristina Sernadas
Häftad, 2021
660 kr
Lägg i varukorg
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 …
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Inbunden, 2020
716 kr
Lägg i varukorg
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 …
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Häftad, 2021
551 kr
Lägg i varukorg
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 …
Logical Skills
Social-Historical Perspectives
Av Julie Brumberg-Chaumont, Claude Rosental
Inbunden, 2021
1207 kr
Lägg i varukorg
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 …
Exoteric Square of Opposition
The Sixth World Congress on the Square of Opposition
Av Jean-Yves Beziau, Ioannis Vandoulakis
Inbunden, 2022
1643 kr
Lägg i varukorg
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, …
Exoteric Square of Opposition
The Sixth World Congress on the Square of Opposition
Av Jean-Yves Beziau, Ioannis Vandoulakis
Häftad, 2023
1643 kr
Lägg i varukorg
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, …
Logic in Question
Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Av Jean-Yves Béziau, Jean-Pierre Desclés m. fl.
Inbunden, 2023
1970 kr
Lägg i varukorg
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 …
Logic in Question
Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Av Jean-Yves Béziau, Jean-Pierre Desclés m. fl.
Häftad, 2024
1970 kr
Lägg i varukorg
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 …
Universal Algebraic Logic
Dedicated to the Unity of Science
Av Hajnal Andréka, Zalán Gyenis m. fl.
Inbunden, 2022
1425 kr
Lägg i varukorg
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 …
Universal Algebraic Logic
Dedicated to the Unity of Science
Av Hajnal Andréka, Zalán Gyenis m. fl.
Häftad, 2023
1098 kr
Lägg i varukorg
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 …
Logic - Language - Ontology
Selected Works
Av Urszula B. Wybraniec-Skardowska
Inbunden, 2022
1534 kr
Lägg i varukorg
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 …
Logic - Language - Ontology
Selected Works
Av Urszula B. Wybraniec-Skardowska
Häftad, 2023
1534 kr
Lägg i varukorg
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 …
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
Av Timothy J. Madigan, Jean-Yves Béziau
Inbunden, 2024
1583 kr
Lägg i varukorg
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 …
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
Av Timothy J. Madigan, Jean-Yves Béziau
Häftad, 2025
1643 kr
Lägg i varukorg
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 …
Institution-independent Model Theory
Inbunden, 2025
1534 kr
Lägg i varukorg
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. …
Institution-independent Model Theory
Häftad, 2026
1534 kr
Lägg i varukorg
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. …
Russell, Gödel, Tarski
Selected Papers on the Philosophy of Logic and Mathematics
Av Francisco Rodríguez-Consuegra
Inbunden, 2025
1534 kr
Lägg i varukorg
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 …
New Articulations of the Theory of Oppositions
Seventh World Congress on the Square of Opposition
Av Jean-Yves Beziau, Julio Michael Stern
Inbunden, 2026
2733 kr
Lägg i varukorg
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, …
Modal Logic in Europe
1930-1959
Av Max Cresswell, Jacques Riche
Inbunden, 2026
1316 kr
Lägg i varukorg
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 …
Universal Logic: An Anthology
From Paul Hertz to Dov Gabbay
Häftad, 2012
551 kr
Lägg i varukorg
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 …
Around and Beyond the Square of Opposition
Av Jean-Yves Béziau, Dale Jacquette
Häftad, 2012
551 kr
Lägg i varukorg
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 …
Visual Reasoning with Diagrams
Av Amirouche Moktefi, Sun-Joo Shin
Häftad, 2013
1098 kr
Lägg i varukorg
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 …
Towards a General Theory of Classifications
Av Daniel Parrochia, Pierre Neuville
Häftad, 2013
1098 kr
Lägg i varukorg
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, …
Life and Work of Leon Henkin
Essays on His Contributions
Av María Manzano, Ildikó Sain m. fl.
Häftad, 2014
551 kr
Lägg i varukorg
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 …
Road to Universal Logic
Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Av Arnold Koslow, Arthur Buchsbaum
Häftad, 2014
551 kr
Lägg i varukorg
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid …
Road to Universal Logic
Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
Av Arnold Koslow, Arthur Buchsbaum
Häftad, 2015
551 kr
Lägg i varukorg
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, …
