The Realism-Antirealism Debate in the Age of Alternative Logics (Logic, Epistemology, and the Unity of Science (23))

"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."--Page 4 of cover Front Matter....Pages i-xvi On When a Disjunction Is Informative....Pages 1-23 My Own Truth....Pages 25-45 Which Logic for the Radical Anti-realist?....Pages 47-67 Moore’s Paradox as an Argument Against Anti-realism....Pages 69-84 The Neutrality of Truth in the Debate Realism vs. Anti-realism....Pages 85-99 Modalities Without Worlds....Pages 101-118 Antirealism, Meaning and Truth-Conditional Semantics....Pages 119-140 Game Semantics and the Manifestation Thesis....Pages 141-168 Conservativeness and Eliminability for Anti-Realistic Definitions....Pages 169-180 Realism, Antirealism, and Paraconsistency....Pages 181-190 Type-Theoretical Dynamics....Pages 191-212 Negation in the Logic of First Degree Entailment and Tonk ....Pages 213-250 Necessary Truth and Proof....Pages 251-267 Anti-realist Classical Logic and Realist Mathematics....Pages 269-284 A Tale of Two Anti-realisms....Pages 285-299 A Double Diamond of Judgement....Pages 301-311 Stable Philosophical Systems and Radical Anti-realism....Pages 313-324 Two Diamonds Are More Than One....Pages 325-341 Back Matter....Pages 343-346