Johan van Benthem,
Gerhard Heinzmann,
Manuel Rebuschi,
Henk Visser
e.a.
Springer Netherlands
1e druk, 2009
9789048124855
The Age of Alternative Logics
Assessing Philosophy of Logic and Mathematics Today
Specificaties
Paperback, 348 blz.
|
Engels
Springer Netherlands |
1e druk, 2009
ISBN13: 9789048124855
Rubricering
Onderdeel van serie
Logic, Epistemology, and the Unity of Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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 book embodies the multi-dimensional interplay between logic and science, presenting contributions from the world's leading scholars on new trends and possible developments for research.
Specificaties
ISBN13:9789048124855
Taal:Engels
Bindwijze:paperback
Aantal pagina's:348
Uitgever:Springer Netherlands
Druk:1
Inhoudsopgave
<P>Acknowledgments.- <STRONG>1</STRONG>. Introduction: Alternative Logics and Classical Concerns; <EM>J. van Benthem</EM>.- <STRONG>Part I Proof, Knowledge and Computation</STRONG>. <STRONG>2</STRONG>. Epistemic Models, Logical Monotony and Substructural Logics; <EM>M. Cozic</EM>. <STRONG>3</STRONG>. Semantics as Based on Inference; <EM>J. Peregrin</EM>. <STRONG>4</STRONG>. Effectiveness; <EM>S. Shapiro</EM>. <STRONG>5</STRONG>. Does Gödel’s Incompleteness Theorem Prove thatTruth Transcends Proof?; <EM>J. Vidal-Rosset</EM>. <STRONG>6</STRONG>. Transpositions; <EM>H. Visser</EM>.- <STRONG>Part II Truth Values Beyond Bivalence</STRONG>.- <STRONG>7</STRONG>. Many-Valued and Kripke Semantics; <EM>J.-Y. Béziau</EM>. <STRONG>8</STRONG>. The Logic of Complementarity; <EM>N. C. A. da Costa, D. Krause</EM>. <STRONG>9</STRONG>. Semantics for Naive Set Theory in Many-Valued Logics; <EM>T. Libert</EM>.- <STRONG>Part III Category-Theoretic Structures</STRONG>. <STRONG>10</STRONG>. Continuity and Logical Completeness. An Application of Sheaf Theory and Topoi; <EM>S. Awodey</EM>. <STRONG>11</STRONG>. What is Categorical Structuralism?; <EM>G. Hellman</EM>. <STRONG>12</STRONG>. Category Theory as a Framework for an <EM>in re</EM> Interpretation of Mathematical Structuralism; <EM>E. Landry</EM>. <STRONG>13</STRONG>. Categories, Sets and the Nature of Mathematical Entities; <EM>J.-P. Marquis</EM>.- <BR><STRONG>Part IV Independence, Evaluation Games and Imperfect Information</STRONG>. <STRONG>14</STRONG>. Truth, Negation and Other Basic Notions of Logic; <EM>J. Hintikka</EM>. <STRONG>15</STRONG>. Signalling in IF Games: A Tricky Business; <EM>T. M.V. Janssen, F. Dechesne</EM>. <STRONG>16</STRONG>. Independence-Friendly Logic and Games of Incomplete Information; <EM>A.-V. Pietarinen</EM>. <STRONG>17</STRONG>. IF and Epistemic Action Logic; <EM>M. Rebuschi</EM>.- <STRONG>Part V Dialogue and Pragmatics</STRONG>. <STRONG>18</STRONG>. Naturalizing Dialogic Pragmatics; <EM>G. Heinzmann</EM>. <STRONG>19</STRONG>. Logic as a Tool of Science Versus Logic as a Scientific Subject; <EM>K. Lorenz</EM>. <STRONG>20</STRONG>. Non-Normal Dialogics for a WonderfulWorld and More; <EM>S. Rahman</EM>.- <STRONG>Part VI Appendices</STRONG>. A: Louis Joly as a Platonist Painter?; <EM>Roger Pouivet</EM>.- <BR>Index.</P>
