Logica Universalis - Towards a General Theory of Logic

von: Jean-Yves Beziau

Birkhäuser Basel, 2007

ISBN: 9783764383541 , 246 Seiten

2. Auflage

Format: PDF, OL

Kopierschutz: Wasserzeichen

Windows PC,Mac OSX Apple iPad, Android Tablet PC's Online-Lesen für: Windows PC,Mac OSX,Linux

Preis: 71,39 EUR

  • Setting-Up a Small Observatory: From Concept to Construction
    Galaxies in Turmoil - The Active and Starburst Galaxies and the Black Holes That Drive Them
    Rejuvenating the Sun and Avoiding Other Global Catastrophes
    Emulsion Science - Basic Principles
    Lights in the Sky - Identifying and Understanding Astronomical and Meteorological Phenomena
    Dynamic Planet - Mercury in the Context of its Environment
  • Relativity and the Dimensionality of the World
    Venus and Mercury, and How to Observe Them
    The Urban Astronomer's Guide - A Walking Tour of the Cosmos for City Sky Watchers
    The Paraboloidal Reflector Antenna in Radio Astronomy and Communication - Theory and Practice
    Cold Aqueous Planetary Geochemistry with FREZCHEM - From Modeling to the Search for Life at the Limits
    Marswalk One - First Steps on a New Planet
 

Mehr zum Inhalt

Logica Universalis - Towards a General Theory of Logic


 

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.