000 04117nam a22004935i 4500
001 978-3-7643-8354-1
003 DE-He213
005 20181204132644.0
007 cr nn 008mamaa
008 100301s2007 sz | s |||| 0|eng d
020 _a9783764383541
_9978-3-7643-8354-1
024 7 _a10.1007/978-3-7643-8354-1
_2doi
040 _aISI Library, Kolkata
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBC
_2thema
072 7 _aPBCD
_2thema
082 0 4 _a511.3
_223
245 1 0 _aLogica Universalis
_h[electronic resource] :
_bTowards a General Theory of Logic /
_cedited by Jean-Yves Beziau.
250 _aSecond Edition.
264 1 _aBasel :
_bBirkhäuser Basel,
_c2007.
300 _aXII, 246 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aUniversal 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.
520 _a"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.
650 0 _aLogic, Symbolic and mathematical.
650 0 _aComputer science.
650 1 4 _aMathematical Logic and Foundations.
_0http://scigraph.springernature.com/things/product-market-codes/M24005
650 2 4 _aMathematical Logic and Formal Languages.
_0http://scigraph.springernature.com/things/product-market-codes/I16048
650 2 4 _aArithmetic and Logic Structures.
_0http://scigraph.springernature.com/things/product-market-codes/I12026
700 1 _aBeziau, Jean-Yves.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783764391980
776 0 8 _iPrinted edition:
_z9783764383534
856 4 0 _uhttps://doi.org/10.1007/978-3-7643-8354-1
912 _aZDB-2-SMA
942 _cEB
950 _aMathematics and Statistics (Springer-11649)
999 _c425529
_d425529