Tous les ebooks de la collection "Studies in Universal Logic" - Birkhäuser


19  résultat(s)
Télécharger le livre :  Institution-independent Model Theory
Ajouter à ma liste d'envies

Institution-independent Model Theory


Razvan Diaconescu


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...

Parution : 2025-03-05
Format(s) : PDF
Éditeur : Birkhäuser
J'achète
137,14
Télécharger le livre :  Logic in Question
Ajouter à ma liste d'envies

Logic in Question


Jean-Yves Béziau , Jean-Pierre Desclés , Amirouche Moktefi , Anca Christine Pascu


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...

Parution : 2023-01-11
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
179,34
Télécharger le livre :  Logic - Language - Ontology
Ajouter à ma liste d'envies

Logic - Language - Ontology


Urszula B. Wybraniec-Skardowska


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...

Parution : 2022-12-01
Format(s) : PDF
Éditeur : Birkhäuser
J'achète
137,14
Télécharger le livre :  Universal Algebraic Logic
Ajouter à ma liste d'envies

Universal Algebraic Logic


Hajnal Andréka , Zalán Gyenis , István Németi , Ildikó Sain


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...

Parution : 2022-11-01
Format(s) : PDF
Éditeur : Birkhäuser
J'achète
105,49
Télécharger le livre :  The Exoteric Square of Opposition
Ajouter à ma liste d'envies

The Exoteric Square of Opposition


Jean-Yves Beziau , Ioannis Vandoulakis


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...

Parution : 2022-08-23
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
147,69
Télécharger le livre :  Logical Skills
Ajouter à ma liste d'envies

Logical Skills


Julie Brumberg-Chaumont , Claude Rosental


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...

Parution : 2021-03-30
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
105,49
Télécharger le livre :  Language, Logic, and Mathematics in Schopenhauer
Ajouter à ma liste d'envies

Language, Logic, and Mathematics in Schopenhauer


Jens Lemanski


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...

Parution : 2020-06-08
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
89,66
Télécharger le livre :  Arabic Logic from al-Farabi to Averroes
Ajouter à ma liste d'envies

Arabic Logic from al-Farabi to Averroes


Saloua Chatti


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...

Parution : 2019-11-27
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
94,94
Télécharger le livre :  The Lvov-Warsaw School. Past and Present
Ajouter à ma liste d'envies

The Lvov-Warsaw School. Past and Present


Ángel Garrido , Urszula Wybraniec-Skardowska


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,...

Parution : 2018-06-12
Format(s) : PDF
Éditeur : Birkhäuser
J'achète
137,14
Télécharger le livre :  The Square of Opposition: A Cornerstone of Thought
Ajouter à ma liste d'envies

The Square of Opposition: A Cornerstone of Thought


Gianfranco Basti , Jean-Yves Béziau


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.   The papers range from historical considerations to new mathematical...

Parution : 2017-03-10
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
84,39
Télécharger le livre :  Modern Logic 1850-1950, East and West
Ajouter à ma liste d'envies

Modern Logic 1850-1950, East and West


Francine F. Abeles , Mark E. Fuller


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...

Parution : 2016-05-26
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
52,74
Télécharger le livre :  Towards an Arithmetical Logic
Ajouter à ma liste d'envies

Towards an Arithmetical Logic


Yvon Gauthier


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. Arithmetical logic is the term used to refer to the internal logic...

Parution : 2015-09-24
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
52,74
Télécharger le livre :  The Road to Universal Logic
Ajouter à ma liste d'envies

The Road to Universal Logic


Arthur Buchsbaum , Arnold Koslow


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,...

Parution : 2015-06-10
Format(s) : PDF, ePub
Éditeur : Birkhäuser
J'achète
52,74
Télécharger le livre :  The Life and Work of Leon Henkin
Ajouter à ma liste d'envies

The Life and Work of Leon Henkin


Enrique Alonso , María Manzano , Ildikó Sain


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”...

Parution : 2014-10-23
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
52,74
Télécharger le livre :  The Road to Universal Logic
Ajouter à ma liste d'envies

The Road to Universal Logic


Arthur Buchsbaum , Arnold Koslow


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...

Parution : 2014-10-10
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
52,74
Télécharger le livre :  Kripke's Worlds
Ajouter à ma liste d'envies

Kripke's Worlds


Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber


Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and...

Parution : 2013-11-20
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
89,66
Télécharger le livre :  Visual Reasoning with Diagrams
Ajouter à ma liste d'envies

Visual Reasoning with Diagrams


Amirouche Moktefi , Sun-Joo Shin


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...

Parution : 2013-07-08
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
94,94
Télécharger le livre :  Towards a General Theory of Classifications
Ajouter à ma liste d'envies

Towards a General Theory of Classifications


Pierre Neuville , Daniel Parrochia


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,...

Parution : 2013-05-14
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
94,94
Télécharger le livre :  Around and Beyond the Square of Opposition
Ajouter à ma liste d'envies

Around and Beyond the Square of Opposition


Jean-Yves Béziau , Dale Jacquette


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,...

Parution : 2012-05-10
Format(s) : ePub
Éditeur : Birkhäuser
J'achète
52,74

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés