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
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | BC135 .A39 2006 | Off-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