Logic, Mathematics, Philosophy, Vintage Enthusiasms : Essays in Honour of John L. Bell
David. Devidi
Bok Engelsk 2011 · Electronic books.
| Annen tittel | |
|---|---|
| Utgitt | Dordrecht : : Springer, , 2011.
|
| Omfang | 1 online resource (487 p.)
|
| Opplysninger | Description based upon print version of record.. - ""Preface""; ""Contents""; ""Contributors""; ""Part I History and Philosophy of Mathematics and Logic""; ""1 On Logicist Conceptions of Functions and Classes ""; ""William Demopoulos""; ""1 Introduction""; ""2 The Tractarian Background to Ramsey's Extensional Propositional Functions""; ""3 Infinity Without Extensional Propositional Functions""; ""4 Infinity with Extensional Propositional Functions""; ""5 Extensional Propositional Functions and Logicism""; ""Bibliography""; ""2 Metaphysical Necessity ""; ""Michael Dummett""; ""3 Ibn Sına and Conflict in Logic ""; ""Wilfrid Hodges"". - ""1 To John""""2 De Interpretatione Chapter 14""; ""2.1 The Text Translated Below""; ""2.2 Ways of Teaching""; ""2.3 Summary of Aristotle's Text""; ""3 Ibn Sına's Semantics""; ""3.1 Ideas""; ""3.2 Attachments""; ""3.3 Meanings of Sentences""; ""4 Conflict and Contrariety""; ""4.1 Types of Opposition""; ""4.2 Aristotle's Question in PH14""; ""4.3 The Quickest Contradiction""; ""5 The ``Well-Known Commentator''""; ""5.1 Ibn Sına's Outrageous Analysis""; ""5.2 Why?""; ""5.3 Who Was the ``Well-Known Commentator''?""; ""6 Translation""; ""7 Notes""; ""Bibliography"". - ""4 A Minimalist Foundation at Work """"Giovanni Sambin""; ""1 Foundations as a Choice of Abstraction Level""; ""1.1 Different Constructive Foundations and Their Incompatibility""; ""1.2 The Minimalist Foundation of Constructive Mathematics""; ""2 A Minimalist Foundation at Work""; ""2.1 Dynamics Between Two Sets""; ""2.2 The Definition of Basic Topology""; ""3 A Different Topology in Different Foundations""; ""4 Benefits of the Minimalist Foundation""; ""4.1 Effective Computations and Ideal Structures in One Framework""; ""4.2 Creation of New Mathematics"". - ""4.3 Pluralism as a Source of Richness""""Bibliography""; ""5 The Municipal By-Laws of Thought ""; ""David DeVidi""; ""1 JLB""; ""2 The Problem""; ""3 The Obvious Approach?""; ""4 An Uninteresting Plurality?""; ""5 What Makes It Logic?""; ""6 The Systems Disagree""; ""7 The Systems Are Correct""; ""8 Conclusion""; ""Bibliography""; ""Part II Truth, Consistency and Paradox""; ""6 Truth and the Liar ""; ""Colin Howson""; ""1 Introduction""; ""2 The Liar Paradox""; ""3 Groundedness""; ""4 The Strengthened Liar""; ""5 Conclusion""; ""Bibliography"". - ""7 Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth""""Daniel Isaacson""; ""1 Introduction""; ""2 Soundness and Consistency""; ""3 Truth of the Gödel Sentence""; ""4 Gödel's Notion of Ï?-Consistency""; ""5 Kreisel's Notions of n-Consistency""; ""5.1 The Notion of 1-Consistency""; ""5.2 The Notion of 2-Consistency""; ""5.3 Properties of 3-Consistency""; ""5.4 Expressing Consistency, Ï?-Consistency, 1-Consistency, and 2-Consistency""; ""6 Consistency of S {ConS}""; ""7 Comparing Gödel's Incompleteness Theorems with Rosser's Theorem"". - ""Bibliography"". - The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell's own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank A
|
| Emner | |
| Sjanger | |
| Dewey | |
| ISBN | 9789400702134
|
