Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science
Author: Judit Madarász
Publisher: Springer Nature
Total Pages: 517
Release: 2021-05-31
Genre: Philosophy
ISBN: 3030641872

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.

Logic and Argumentation

Logic and Argumentation
Author: Mehdi Dastani
Publisher: Springer Nature
Total Pages: 369
Release: 2020-03-27
Genre: Computers
ISBN: 3030446387

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.

Universal Algebraic Logic

Universal Algebraic Logic
Author: Hajnal Andréka
Publisher: Springer Nature
Total Pages: 337
Release: 2022-11-01
Genre: Mathematics
ISBN: 3031148878

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

Aristotelian Assertoric Syllogistic

Aristotelian Assertoric Syllogistic
Author: Mohamed A. Amer
Publisher: Springer Nature
Total Pages: 100
Release: 2022-03-16
Genre: Philosophy
ISBN: 3030873412

This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced later on. In this book these approaches (with few exceptions) are discussed, developed and interrelated. Among other things, different facets of soundness, completeness, decidability, and independence for Aristotelian assertoric syllogistic are investigated. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined. The book is aimed at scholars in the fields of logic and history of logic.

Cylindric-like Algebras and Algebraic Logic

Cylindric-like Algebras and Algebraic Logic
Author: Hajnal Andréka
Publisher: Springer Science & Business Media
Total Pages: 457
Release: 2014-01-27
Genre: Mathematics
ISBN: 3642350259

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.​

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction
Author: Patrick Blackburn
Publisher: Springer Nature
Total Pages: 460
Release: 2019-10-09
Genre: Mathematics
ISBN: 366260292X

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning.

Background Independence in Classical and Quantum Gravity

Background Independence in Classical and Quantum Gravity
Author: James Read
Publisher: Oxford University Press
Total Pages: 159
Release: 2024-02-09
Genre: Philosophy
ISBN: 0192889117

It is often claimed that Einstein's magnum opus---his 1915 theory of General Relativity---is distinguished from other theories of space and time in virtue of its background independence. It's also often claimed that background independence is an essential feature of any quantum theory of gravity. But are these claims true? This book aspires to offer definitive answers to both of these questions, by (a) charting the space of possible definitions of background independence, and (b) applying said definitions to various classical and quantum theories of gravity. The outcome, in brief, is as follows: General Relativity is not unique by virtue of its background independence (and, indeed, fails to be background independent on some popular definitions); moreover, the situation in the case of quantum theories of gravity is delicate, because (i) there are viable such theories which (by some accounts, at least) fail to be background independent, but also (ii) theories (e.g. perturbative string theory) which have often been dismissed for (allegedly) being background dependent in fact, on many accounts, are better classified as background independent. In giving these answers in rigorous detail, this book seeks to elevate the standards and generality of future discussions of background independence in the foundations of spacetime theories.

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science
Author: Roland Glück
Publisher: Springer Nature
Total Pages: 309
Release: 2023-03-07
Genre: Computers
ISBN: 3031280830

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023. The 17 papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

Scientific Structuralism

Scientific Structuralism
Author: Alisa Bokulich
Publisher: Springer Science & Business Media
Total Pages: 194
Release: 2011-01-21
Genre: Science
ISBN: 9048195977

Recently there has been a revival of interest in structuralist approaches to science. Taking their lead from scientific structuralists such as Henri Poincaré, Ernst Cassirer, and Bertrand Russell, some contemporary philosophers and scientists have argued that the most fruitful approach to solving many problems in the philosophy of science lies in focusing on the structural features of our scientific theories. Much of the work in scientific structuralism to date has been focused on the problem of scientific realism, where it has been argued that even in cases of radical theory change the most important structural features of predecessor theories are preserved. These structural realists argue that what our most successful theories get right about the world is these abstract structural features, rather than any particular ontological claims. More recently, philosophers of science have adopted structuralist approaches to many other issues in the philosophy of science, such as scientific explanation and intertheory relations. The nine articles collected in this volume, written by the leading researchers in scientific structuralism, represent some of the most important directions of research in this field. This book will be of particular interest to those philosophers, scientists, and mathematicians who are interested in the foundations of science.