203640

Birkhäuser, Basel

2015

604 Pages

ISBN 978-3-319-15367-4

Studies in Universal Logic

The road to universal logic II

Festschrift for the 50th birthday of Jean-Yves Béziau

Edited by

Arnold Koslow, Arthur Buchsbaum

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 byinternationally 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.

Publication details

Full citation:

Koslow, A. , Buchsbaum, A. (eds) (2015). The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau, Birkhäuser, Basel.

Table of Contents

Logical autobiography 50

Béziau Jean-Yves

19-104

Open Access Link
A quantitative-informational approach to logical consequence

Loffredo D'Ottaviano Itala Maria

105-124

Open Access Link
Peirce's role in the history of logic

Anellis Irving H.

135-169

Open Access Link
The meaning(s) of "is"

Angelelli Ignacio

171-179

Open Access Link
Potentiality and contradiction in quantum mechanics

Becker Arenhart Jonas Rafael; Krause Décio

201-211

Open Access Link
Two, many, and differently many

Batens Diderik

213-242

Open Access Link
Logics and their galaxies

Bensusan Hilan; Costa-Leite Alexandre; de Souza Edelcio Gonçalves

243-252

Open Access Link
Can identity be relativized?

Bueno Otávio

253-262

Open Access Link
Is logic universal or hierarchical?

Grattan-Guinness Ivor

307-318

Open Access Link
Topological aspects of matrix abduction 1

Laufer Azriel; Gabbay Dov M.

339-355

Open Access Link
Topological aspects of matrix abduction 2

Adar Bessos Mai Ben; Gabbay Dov M.

357-385

Open Access Link
Deciding theoremhood in fibred logics without shared connectives

Marcelino Sérgio; Caleiro Carlos; Baltazar Pedro

387-406

Open Access Link
On rules and refereeing in football

Moktefi Amirouche; Schang Fabien

407-415

Open Access Link
Arrow-hexagons

Moretti Alessio

417-487

Open Access Link
The distributed ontology, modeling and specification language – dol

Mossakowski Till; Codescu Mihai; Neuhaus Fabian; Kutz Oliver

489-520

Open Access Link
Belnap constants and Nelson logic

Odintsov Sergei P.

521-538

Open Access Link
Negative modalities in the light of paraconsistency

Omori Hitoshi; Waragai Toshiharu

539-555

Open Access Link
Being consistent about inconsistency

Dubois Didier; Prade Henri

565-571

Open Access Link

This document is unfortunately not available for download at the moment.