Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 - Brossura

Libro 39 di 53: Trends in Logic
 
9783319820569: Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45
Brossura
ISBN 10: 3319820567 ISBN 13: 9783319820569
Casa editrice: Springer, 2018

Sinossi

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Holger Andreas works as Assistant Professor at the University of British Columbia, Okanagan Campus. Before that, he held non-tenure track Assistant Professorships at LMU Munich (Munich Center for Mathematical Philosophy) and the University of Bonn. His research focuses on the logical analysis of scientific reasoning and scientific theories. His recent work addresses interrelations between non-monotonic reasoning, belief changes, and paraconsistent reasoning. Peter Verdée is assistant professor at the Université catholique de Louvain. He obtained his PhD in Philosophy at Ghent University under the supervision of Diderik Batens with a dissertation on Adaptive Logic. His research focuses on non-monotonic, paraconsistent, and relevant logics, with particular interest in inconsistent mathematics and the formalization of implications and conditionals in natural language.

Dalla quarta di copertina

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2018
Lingua
Inglese
ISBN 10 
3319820567
ISBN 13 
9783319820569
Rilegatura
Copertina flessibile
Numero di pagine
228
Redattore
Andreas Holger, Verdée Peter
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9783319402185: Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45

Edizione in evidenza

ISBN 10:  3319402188 ISBN 13:  9783319402185
Casa editrice: Springer Verlag, 2016
Rilegato