You have Guest access.
Log In
Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi and Henk Visser
i-viii
Front matter
1-86
Part I / Proof, Knowledge and Computation
1-7
Introduction: Alternative Logics and Classical Concerns
11-23
Epistemic Models, Logical Monotony and Substructural Logics
25-36
Semantics as Based on Inference
37-49
Effectiveness
51-73
Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?
75-86
Transpositions
89-136
Part II / Truth Values Beyond Bivalence
89-101
Many-Valued and Kripke Semantics
103-120
The Logic of Complementarity
121-136
Semantics for Naive Set Theory in Many-Valued Logics
139-192
Part III / Category-Theoretic Structures
139-149
Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi
151-161
What is Categorical Structuralism?
163-179
Category Theory as a Framework for an in re Interpretation of Mathematical Structuralism
181-192
Categories, Sets and the Nature of Mathematical Entities
195-281
Part IV / Independence, Evaluation Games and Imperfect Information
195-219
Truth, Negation and Other Basic Notions of Logic
221-241
Signalling in IF Games: A Tricky Business
243-259
Independence-Friendly Logic and Games of Incomplete Information
261-281
IF and Epistemic Action Logic
285-334
Part V / Dialogue and Pragmatics
285-297
Naturalizing Dialogic Pragmatics
299-310
Logic as a Tool of Science Versus Logic as a Scientific Subject
311-334
Non-Normal Dialogics for a Wonderful World and More
337-341
Part VI / Appendix
Louis Joly as a Platonist Painter?
343-348
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info