The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today

In The Last Century Developments In Mathematics, Philosophy, Physics, Computer Science, Economics And Linguistics Have Proven Important For The Development Of Logic. There Has Been An Influx Of New Ideas, Concerns, And Logical Systems Reflecting A Great Variety Of Reasoning Tasks In The Sciences. This Volume Reflects The Multi-dimensional Nature Of The Interplay Between Logic And Science. It Presents Contributions From The World's Leading Scholars Under The Following Headings: - Proof, Knowledge And Computation - Truth Values Beyond Bivalence - Category-theoretic Structures - Independence, Evaluation Games, And Imperfect Information - Dialogue And Pragmatics The Contents Exemplify The Liveliness Of Modern Perspectives On The Philosophy Of Logic And Mathematics And Demonstrate The Growth Of The Discipline. It Describes New Trends, Possible Developments For Research And New Issues Not Normally Raised In The Standard Agenda Of The Philosophy Of Logic And Mathematics. It Transforms Rigid Classical Partitions Into A More Open Field For Improvisation. Alternative Logics And Classical Concerns / Johan Van Benthem -- Epistemic Models, Logical Monotony And Substructural Logics / Mikaël Cozic -- Semantics As Based On Inference / Jaroslav Peregrin -- Effectiveness / Stewart Shapiro -- Does Gödel's Incompleteness Theorem Prove That Truth Transcends Proof? / Joseph Vidal-rosset -- Transpositions / Henk Visser -- Many-valued And Kripke Semantics / Jean-yves Béziau -- The Logic Of Complementarity / Newton C.a. Da Costa, Décio Krause -- Semantics For Naive Set Theory In Many-valued Logics / Thierry Libert -- Continuity And Logical Completeness : An Application Of Sheaf Theory And Topoi / Steve Awodey -- What Is Categorical Structuralism? / Geoffrey Hellman -- Category Theory As A Framework For An In Re Interpretation Of Mathematical Structuralism / Elaine Landry -- Categories, Sets And The Nature Of Mathematical Entities / Jean-pierre Marquis -- Truth, Negation And Other Basic Notions Of Logic / Jaakko Hintikka -- Signalling In If Games : A Tricky Business / Theo M.v. Janssen, Francien Dechesne -- Independence-friendly Logic And Games Of Incomplete Information / Ahti-veikko Pietarinen -- If And Epistemic Action Logic / Manuel Rebuschi -- Naturalizing Dialogic Pragmatics / Gerhard Heinzmann -- Logic As A Tool Of Science Versus Logic As A Scientific Subject / Kuno Lorenz -- Non-normal Dialogics For A Wonderful World And More / Shahid Rahman -- Louis Joly As A Platonist Painter? / Roger Pouivet. Edited By Johan Van Benthem ... [et Al.]. International Conference Proceedings. Includes Bibliographical References And Index