<p>"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons."</p>
<p><strong>István Németi, Hungarian Academy of Sciences</strong></p>
<p>"Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach."</p>
<p><strong>J. Michael Dunn, Indiana University</strong></p>
<p>"Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going."</p>
<p><strong>Johan van Benthem, University of Amsterdam & Stanford University</strong></p>

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. The present book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. It will help those who are lost in the jungle of heterogeneous logical systems to find a way. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones.
Les mer
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. This book contains works on universal logic by researchers from all around the world.
Universal Logic: Frameworks and Structures.- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic.- Abstract Model Theory as a Framework for Universal Logic.- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics.- Selfextensional Logics with Implication.- Logic without Self-Deductibility.- Identity and Nature of Logical Structures.- Equipollent Logical Systems.- What is a Logic?.- What is a Logic, and What is a Proof?.- Tools and Concepts for Universal Logic.- Non-deterministic Matrices and Modular Semantics of Rules.- Two’s Company: “The Humbug of Many Logical Values”.- Friendliness and Sympathy in Logic.- Logical Discrimination.
Les mer
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University
Les mer
Second, revised edition of the first collection of articles around the topic of universal logic Starting point of interdisciplinary research in the fields of, e.g., logic, linguistic, philosophy, mathematics, computer science Includes supplementary material: sn.pub/extras
Les mer
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783764383534
Publisert
2007-04-17
Utgave
2. utgave
Utgiver
Vendor
Birkhauser Verlag AG
Høyde
297 mm
Bredde
210 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet

Redaktør