Logica Universalis : Towards a General Theory of Logic
- المؤلف
- Jean-Yves Beziau
- سنة النشر
- 2007
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Mathematics and Statistics
- تحميل الكتاب قراءة الكتاب
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.
الكلمات المفتاحية: Mathematics and Statistics / 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
