Logical studies of paraconsistent reasoning in science and mathematics

Series | Buch

Logical studies of paraconsistent reasoning in science and mathematics

herausgegeben vonHolger Andreas Peter Verdée

Details | Inhaltsverzeichnis

Paraconsistent reasoning in science and mathematics

introduction

Holger Andreas Peter Verdée

pp.1-16

https://doi.org/10.1007/978-3-319-40220-8_1

Adaptive proofs for networks of partial structures Holger Andreas Peter Verdée

pp.17-45

https://doi.org/10.1007/978-3-319-40220-8_2

Inconsistency in ceteris paribus imagination Francesco Berto

pp.47-63

https://doi.org/10.1007/978-3-319-40220-8_3

On the preservation of reliability Bryson Brown

pp.65-80

https://doi.org/10.1007/978-3-319-40220-8_4

Prospects for triviality Luis Estrada-González

pp.81-89

https://doi.org/10.1007/978-3-319-40220-8_5

On gluts in mathematics and science Andreas Kapsner

pp.91-101

https://doi.org/10.1007/978-3-319-40220-8_6

Contradictoriness, paraconsistent negation and non-intended models of classical logic Carlos A. Oller

pp.103-109

https://doi.org/10.1007/978-3-319-40220-8_7

From paraconsistent logic to dialetheic logic Hitoshi Omori

pp.111-134

https://doi.org/10.1007/978-3-319-40220-8_8

Paradoxes of expression Martin Pleitz

pp.135-144

https://doi.org/10.1007/978-3-319-40220-8_9

Dialetheism in the structure of phenomenal time Corry Shores

pp.145-157

https://doi.org/10.1007/978-3-319-40220-8_10

Saving proof from paradox

Gödel's paradox and the inconsistency of informal mathematics

Fenner Stanley Tanswell

pp.159-173

https://doi.org/10.1007/978-3-319-40220-8_11

On the methodology of paraconsistent logic Heinrich Wansing Sergei P. Odintsov

pp.175-204

https://doi.org/10.1007/978-3-319-40220-8_12

Paraconsistent computation and dialetheic machines Zach Weber

pp.205-221

https://doi.org/10.1007/978-3-319-40220-8_13

Publication details

Publisher: Springer

Ort: Dordrecht

Year: 2016

Seiten: 221

Series: Trends in logic

Series volume: 45

ISBN (hardback): 978-3-319-40218-5

ISBN (digital): 978-3-319-40220-8

Referenz:

Andreas Holger, Verdée Peter (2016) Logical studies of paraconsistent reasoning in science and mathematics. Dordrecht, Springer.