Research Catalog

The age of alternative logics : assessing philosophy of logic and mathematics today

Title
The age of alternative logics : assessing philosophy of logic and mathematics today / edited by Johan van Benthem [and others].
Publication
Dordrecht : Springer, 2006.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library BC135 .A39 2006Off-site

Details

Description
vii, 348 pages : illustrations; 25 cm.
Series Statement
Logic, epistemology and the unity of science ; v. 3
Uniform Title
Logic, epistemology and the unity of science ; v. 3.
Subject
  • Logic, Symbolic and mathematical
  • Mathematics > Philosophy
  • Proof theory
  • Categories (Philosophy)
  • Logic, Symbolic and mathematical > Congresses
  • Nonclassical mathematical logic > Congresses
  • Knowledge, Theory of > Congresses
  • Nonclassical mathematical logic
  • Knowledge, Theory of
  • Logik
  • Philosophie der Logik
  • Logica
  • Mathematics > Philosophy > Congresses
  • Proof theory > Congresses
Genre/Form
  • Conference papers and proceedings.
  • Aufsatzsammlung.
Note
  • International conference proceedings.
Bibliography (note)
  • Includes bibliographical references and index
Contents
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.
ISBN
  • 1402050119
  • 9781402050114
  • 1402050127
  • 9781402050121
  • 9789048124855
  • 9048124859
LCCN
  • 2007295733
  • 9781402050114
OCLC
  • ocm74650546
  • 74650546
  • SCSB-1418359
Owning Institutions
Princeton University Library