Repository | Series | Book

COPR

Bookmark

Link

The road to universal logic II

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

edited byArnold Koslow Arthur Buchsbaum

Abstract

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.

Details | Table of Contents

Personal recollections about JYB by Newton Da Costa and others Katarzyna Gan-Krzywoszyńska

pp.1-18

https://doi.org/10.1007/978-3-319-15368-1_1

Logical autobiography 50 Jean-Yves Béziau

pp.19-104

https://doi.org/10.1007/978-3-319-15368-1_2

A quantitative-informational approach to logical consequence Itala Maria Loffredo D'Ottaviano

pp.105-124

https://doi.org/10.1007/978-3-319-15368-1_3

Finite-variable logics do not have weak beth definability property Hajnal Andréka István Németi

pp.125-133

https://doi.org/10.1007/978-3-319-15368-1_4

Peirce's role in the history of logic

lingua universalis and calculus ratiocinator

Irving H. Anellis

pp.135-169

https://doi.org/10.1007/978-3-319-15368-1_5

The meaning(s) of "is"

normative vs. naturalistic views of language

Ignacio Angelelli

pp.171-179

https://doi.org/10.1007/978-3-319-15368-1_6

The relation between logic, set theory and topos theory as it is used by Alain Badiou Régis Angot-Pellissier

pp.181-200

https://doi.org/10.1007/978-3-319-15368-1_7

Potentiality and contradiction in quantum mechanics Jonas Rafael Becker Arenhart Décio Krause

pp.201-211

https://doi.org/10.1007/978-3-319-15368-1_8

Two, many, and differently many Diderik Batens

pp.213-242

https://doi.org/10.1007/978-3-319-15368-1_9

Logics and their galaxies Hilan Bensusan Alexandre Costa-Leite Edelcio Gonçalves de Souza

pp.243-252

https://doi.org/10.1007/978-3-319-15368-1_10

Can identity be relativized? Otávio Bueno

pp.253-262

https://doi.org/10.1007/978-3-319-15368-1_11

From (paraconsistent) topos logic to universal (topos) logic Luis Estrada-González

pp.263-295

https://doi.org/10.1007/978-3-319-15368-1_12

A note on the internal logic of constructive mathematics

the gel"fond-schneider theorem in transcendental number theory

Yvon Gauthier

pp.297-306

https://doi.org/10.1007/978-3-319-15368-1_13

Is logic universal or hierarchical? Ivor Grattan-Guinness

pp.307-318

https://doi.org/10.1007/978-3-319-15368-1_14

The English tenses, Blanché and the logical kite Dany Jaspers

pp.319-337

https://doi.org/10.1007/978-3-319-15368-1_15

Topological aspects of matrix abduction 1 Azriel Laufer Dov M. Gabbay

pp.339-355

https://doi.org/10.1007/978-3-319-15368-1_16

Topological aspects of matrix abduction 2 Mai Ben Adar Bessos Dov M. Gabbay

pp.357-385

https://doi.org/10.1007/978-3-319-15368-1_17

Deciding theoremhood in fibred logics without shared connectives Sérgio Marcelino Carlos Caleiro Pedro Baltazar

pp.387-406

https://doi.org/10.1007/978-3-319-15368-1_18

On rules and refereeing in football Amirouche Moktefi Fabien Schang

pp.407-415

https://doi.org/10.1007/978-3-319-15368-1_19

Arrow-hexagons Alessio Moretti

pp.417-487

https://doi.org/10.1007/978-3-319-15368-1_20

The distributed ontology, modeling and specification language – dol Till Mossakowski Mihai Codescu Fabian Neuhaus Oliver Kutz

pp.489-520

https://doi.org/10.1007/978-3-319-15368-1_21

Belnap constants and Nelson logic Sergei P. Odintsov

pp.521-538

https://doi.org/10.1007/978-3-319-15368-1_22

Negative modalities in the light of paraconsistency Hitoshi Omori Toshiharu Waragai

pp.539-555

https://doi.org/10.1007/978-3-319-15368-1_23

Operativity and representativity of the sign in Leibniz Olga Pombo

pp.557-564

https://doi.org/10.1007/978-3-319-15368-1_24

Being consistent about inconsistency

toward the rational fusing of inconsistent propositional logic bases

Didier Dubois Henri Prade

pp.565-571

https://doi.org/10.1007/978-3-319-15368-1_25

Realist consequence, epistemic inference, computational correctness Giuseppe Primiero

pp.573-588

https://doi.org/10.1007/978-3-319-15368-1_26

Epistemological and ontological paraconsistency in quantum mechanics

for and against Bohrian philosophy

Christian de Ronde

pp.589-604

https://doi.org/10.1007/978-3-319-15368-1_27

Publication details

Publisher: Birkhäuser

Place: Basel

Year: 2015

Pages: 604

Series: Studies in Universal Logic

ISBN (hardback): 978-3-319-15367-4

ISBN (digital): 978-3-319-15368-1

Full citation:

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