Logica Universalis

Towards a General Theory of Logic

  • Jean-Yves Beziau

Table of contents

  1. Front Matter
    Pages i-xi
  2. Universal Logic: Frameworks and Structures

  3. Identity and Nature of Logical Structures

    1. Front Matter
      Pages 95-95
    2. Carlos Caleiro, Ricardo Gonçalves
      Pages 97-109
    3. Till Mossakowski, Joseph Goguen, Răzvan Diaconescu, Andrzej Tarlecki
      Pages 111-133
    4. Lutz Straßurger
      Pages 135-152
  4. Tools and Concepts for Universal Logic

    1. Front Matter
      Pages 153-153
    2. Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio, João Marcos
      Pages 175-194
    3. David Makinson
      Pages 195-224
    4. Lloyd Humberstone
      Pages 225-246

About these proceedings

Introduction

"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

Keywords

abstract model theory algebraic logic categorical logic consequence relations identity between logics institution theory logic logical matrices many-valued logic paraconsistent logic topological logic truth functionality

Editors and affiliations

  • Jean-Yves Beziau
    • 1
  1. 1.Swiss National Science FoundationUniversity of NeuchâtelNeuchâtelSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7643-8354-1
  • Copyright Information Birkhäuser Verlag AG 2007
  • Publisher Name Birkhäuser Basel
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-7643-8353-4
  • Online ISBN 978-3-7643-8354-1
  • About this book