Logical studies of paraconsistent reasoning in science and mathematics

Collections | Livre

Logical studies of paraconsistent reasoning in science and mathematics

Édité parHolger Andreas Peter Verdée

Détails | Table des matières

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

Détails de la publication

Maison d'édition: Springer

Lieu de publication: Dordrecht

Année: 2016

Pages: 221

Collection: Trends in logic

Notice: Undefined index: serie_vol in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 486

: 45

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

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

Citation complète:

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