Cargando…
Reasoning about theoretical entities /
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 exp...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
River Edge, N.J. :
World Scientific,
©2003.
|
| Colección: | Advances in logic ;
v. 3. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.