product iamge

The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert).

The volume gathers personal recollections about Jean-Yves Béziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Németi, Henri Prade.

These essays will be of interest to all students and researchers interested in the nature and future of logic.

Author(s): Arnold Koslow, Arthur Buchsbaum (eds.)
Series: Studies in Universal Logic
Edition: 1
Publisher: Birkhäuser Basel
Year: 2015

Language: English
Pages: 604
Tags: Mathematical Logic and Foundations; Logic; History of Mathematical Sciences

Front Matter....Pages i-xv
Personal Recollections About JYB by Newton da Costa and Others....Pages 1-18
Logical Autobiography 50....Pages 19-104
A Quantitative-Informational Approach to Logical Consequence....Pages 105-124
Finite-Variable Logics Do Not Have Weak Beth Definability Property....Pages 125-133
The Meaning(s) of “Is”: Normative vs. Naturalistic Views of Language....Pages 135-169
The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou....Pages 171-179
Potentiality and Contradiction in Quantum Mechanics....Pages 181-200
Two, Many, and Differently Many....Pages 201-211
Logics and Their Galaxies....Pages 213-242
Can Identity Be Relativized?....Pages 243-252
From (Paraconsistent) Topos Logic to Universal (Topos) Logic....Pages 253-262
A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory....Pages 263-295
Is Logic Universal or Hierarchical?....Pages 297-306
The English Tenses, Blanché and the Logical Kite....Pages 307-318
Topological Aspects of Matrix Abduction 1....Pages 319-337
Topological Aspects of Matrix Abduction 2....Pages 339-355
Deciding Theoremhood in Fibred Logics Without Shared Connectives....Pages 357-385
On Rules and Refereeing in Football....Pages 387-406
Arrow-Hexagons....Pages 407-415
The Distributed Ontology, Modeling and Specification Language – DOL....Pages 417-487
Belnap Constants and Nelson Logic....Pages 489-520
Negative Modalities in the Light of Paraconsistency....Pages 521-538
Operativity and Representativity of the Sign in Leibniz....Pages 539-555
Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases....Pages 557-564
Realist Consequence, Epistemic Inference, Computational Correctness....Pages 565-571
Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy....Pages 573-588
....Pages 589-604