|
|
 |
| Авторизация |
|
|
 |
| Поиск по указателям |
|
 |
|
 |
|
|
 |
 |
|
 |
|
| Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics |
|
|
 |
| Предметный указатель |
Space 44 57 79 81 87 9 94 114 123 150 1 176 231
Space-time 27 89 229 30 232 234 7 246 260 1
SPINOZA 4 74
Steiner, M. 35n 36 39
String 140 8 161 5 175n 258 276 7 281 287 typographical)
Structuralism 257-89
Structuralism, ante rem 262 263 70 275 6 278 280 9
Structuralism, eliminative 262 3 270 5 275 6 280 2 289
Structuralism, modal 273 5 276 278 88
Structure 257 258 60 261 3 ante natural
Structure substantivalism 229 30
Successor relation 70 1 110 11 117 125 258 265
Symbol see character typographical string
Synthetic a prion proposition 23 77 80 90 114 129 175 8 211
Synthetic proposition 77 80 83 6 92 108 9 129 131 177 211-13
Synthetic theory 230 7 247
system 259 261 3 268 269-72 275
Tarski, A. 3 173n 193
Tennant, N. 33 133 194 5 246
Third man argument 269 70
Thomae, J. 143 147 8
Time 23 81 99n 176-7 230 258 280
Token see type-token dichotomy
Tolerance, principle of 128
| Transcendentalism 91-2
Type theory 116 19 121
Type theory, ramified 119 23 127 8
Type theory, simple 121n 127 8 241 3 impredicative irnpredicativity)
Type-token dichotomy 26n 142 3 162 262 276 7 278 282 3 286
Uniqueness condition 285
Universal 26 64 82 261 3 264 269-70
V=L, principle of 18
Verificationism 130 193
Vicious circle principle 10 116 119 20 121n 203 4 impredicative impredicativity)
Vienna Circle see logical positivism
Vlastos, G. 60
von Neumann, J. 165 265 267
Wang, H. 15n 202
Web of belief 17 19 192 3 213 20 221 239n
Webb,J 44
Weinberg, S. 39
Whitehead, A N. 3 119 23 239
Wittgenstein, L. 37 124 145n 191 2 276
Worlds, possible 5 238
Wright 133 8 283n
Zermelo, E. 114n 265
Zermelo-Fraenkel set theory see set theory Zermelo-Fraenkel
ZFC see set theory Zermelo-Fraenkel
|
|
 |
| Реклама |
 |
|
|