Description |
1 online resource (93 pages). |
Physical Medium |
polychrome |
Description |
text file |
Series |
Advances in logic ; v. 3
|
|
Advances in logic ; v. 3.
|
Bibliography |
Includes bibliographical references (pages 89-91) and indexes. |
Contents |
1. Introduction. 1.1. Interpretations. 2. Definite descriptions -- 2.1. Formal definition of the interpretation. 2.2. Functions from singular descriptions. 2.3. Definite descriptions and modal realism -- 3. Virtual objects. 3.1. Congruence relations. 3.2. Extending the language. 3.3. Second-order and higher-order theories -- 4. Cardinal arithmetic. 4.1 The languages of set theory and arithmetic. 4.2 The canonical simulation. 4.3. Virtual illfounded sets. 5. Iterated virtuality in cardinal arithmetic. 5.1. Doubly virtual cardinals. 5.2. Multiply virtual cardinals. 5.3. Untyped invariant arithmetic. 5.4. Implementation-insensitivity. 5.5. Iterated virtuality and reflection -- 6. Ordinals. 6.1. The elementary theory of wellorderings. 6.2. The language of ordinal arithmetic. 6.3. Ordinals of wellorderings of sets of ordinals. 6.4. Implementations of ordinal arithmetic. |
Summary |
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. And, like all other philosophical myths, it rarely gets serious consideration. Reasoning About Theoretical Entities strives to give reductionism its day in court, as it were, by explicitly developing several versions of the reductionist project and assessing their merits within the framework of modern symbolic logic. Not since the days of Carnap's Aufbau has reductionism received such close attention (albeit in a necessarily restricted and regimented setting such as that of modern mathematical logic). As such this book fills a void in the philosophical literature and presents a challenge to every would-be (anti- )reductionist. It should be required reading for every first-year graduate student in philosophy. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
|
Reductionism.
|
|
Reductionism. |
|
Cardinal numbers.
|
|
Cardinal numbers. |
Genre/Form |
Electronic books.
|
Other Form: |
Print version: Forster, T.E. Reasoning about theoretical entities. River Edge, N.J. : World Scientific, ©2003 9812385673 9789812385673 (DLC) 2003062114 (OCoLC)53038408 |
ISBN |
9789812795038 (electronic book) |
|
9812795030 (electronic book) |
|