Springer, 2012. — xvi, 346 p. — (Logic, Epistemology, and the Unity of Science, vol. 23). — ISBN 978-94-007-1922-4, 978-94-007-1923-1.
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.
The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.
AcknowledgementsOn When a Disjunction Is Informative
Patrick AlloMy Own Truth
Alexandre BillonWhich Logic for the Radical Anti-realist?
Denis Bonnay and Mikaël CozicMoore’s Paradox as an Argument Against Anti-realism
Jon CogburnThe Neutrality of Truth in the Debate Realism vs. Anti-realism
María J. FrápolliModalities Without Worlds
Reinhard KahleAntirealism, Meaning and Truth-Conditional Semantics
Neil KennedyGame Semantics and the Manifestation Thesis
Mathieu MarionConservativeness and Eliminability for Anti-Realistic Definitions
Francesca PoggiolesiRealism, Antirealism, and Paraconsistency
Graham PriestType-Theoretical Dynamics
Giuseppe PrimieroNegation in the Logic of First Degree Entailment and Tonk
Shahid RahmanNecessary Truth and Proof
Stephen ReadAnti-realist Classical Logic and Realist Mathematics 269
Greg RestallA Tale of Two Anti-realisms
Sanford ShiehA Double Diamond of Judgement
Göran SundholmStable Philosophical Systems and Radical Anti-realism
Joseph Vidal-RossetTwo Diamonds Are More Than One
Elia ZardiniTrue PDF