|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Rips J.L. — The psychology of proof: deductive reasoning in human thinking |
|
|
Предметный указатель |
Stroud, B. 380
Subcontrary, in scholastic logic 201
Subdomain See Domain/subdomain/superdomain
Subformula 121 139—140
Subgoal See Goal/subgoal
Subscript adjustment 201 202 211 212
Sundholm, Q. 374 403n3
Suppes, P. 36 52
Supposition 38—41 104 109 129 133—137 139—147 398 399.
Supposition and conditional 403n4
Supposition and control strategy 122
Supposition and dependency link 110 111 138
Surface structure 401n1
Sussman, G.J. 98
Syllogism/syllogistic reasoning 18—20 402n6 402n7.
Syllogism/syllogistic reasoning and predicate calculus 25 227—231
Syllogism/syllogistic reasoning information processing approach see Information processing
Syllogism/syllogistic reasoning mood 26
Syllogism/syllogistic reasoning term 20 231 232 237 254
Syllogism/syllogistic reasoning, atmosphere effect 20 238 239 246 303 348 394
Syllogism/syllogistic reasoning, categorical 19 26 31 67 176 195 231 347 348
Syllogism/syllogistic reasoning, conditional see Conditional syllogism
Syllogism/syllogistic reasoning, conjunctive 114 118 119
Syllogism/syllogistic reasoning, disjunctive 13 14 50 113 118
Syllogism/syllogistic reasoning, figure see Figure; Figure effect
Syllogism/syllogistic reasoning, implicating see lmplicatures
Syllogism/syllogistic reasoning, linear 15 18 19 26 348
Syllogism/syllogistic reasoning, syntactic complexity 409n5
Syllogism/syllogistic reasoning, theory of 23 28 29 57
Symbol 269 307—309
Symbol, transformation of 358
Syntactic theory 10 214 304 319 324 325
Tabossi, P. 352
Tagart, J. 26
Tamny, M. 254
Tanenhaus, M.K. 175
Taplin, J.E. 26 42 178
Tarrant, B.L. 410n2
Tarski, A. 32
Temporary name See Permanent/temporary name
Thinking aloud 4 10 307 309 313.
Thomason, R.H. 36 49 203 351
Three-term series problems See Syllogism
Thurstone, L.L. 16 17 402n5
Thurstone, T.G. 17
Token 141—142 340
Touretzky, D.S. 294
| Trabasso, T. 26
Transitivity of all 194
Transitivity of if 69—72 75
Transitivity of in 95 96 98
Tree proof 75—79 131 137 407n4
Tree proof and natural-deduction system see Natural deduction
Tree proof, completeness of 77 129 131
Tree proof, open/dosed path 77
Truth 205—207 372—374 397.
Truth function/table 34 138 261 334 335 351 352 365 366 395—397
Truth maintenance xi 98 111 298 299
Turing machine 214
Tversky, A. 22 246 290 294 339 341 345 383 391
TYPE 141 142
Ungar, A.M. 36 75
Universal instantiation 12—14 300
Validity 19 67 124 125 137 203 204 213—215 297.
Validity and mental models 354
Validity, definition of 32 33 206 350
van Benthem, J. 33
van Fraassen, B.G. 203 281
Varey, C.A. 389
Variable x 51 79 80 92 93 96 104 185—187 213 227 261 270 291 292 317 318 399
Variables, and matching 189—194 201 202 215—218 248.
Vendler, Z. 229
Venn diagram 347
Voghera, K. 75
von Wright, G.H. 323 412n1
Wang, H. 64 75 79 90
Warner, S.A. 410n2
Wason's task See Selection task
Wason, P.C. 5 18 26 31 176 179—180 182 318
Weber, R. 294
Westerstahl, D. 57
Wetherick, N.E. 246
Whitehead, A.H. 64
Whitely, S.E. 17
Wiggins, D. 404n6
Wilkins, M.C. 21 22 342
Wilson, D. 112 115 402n4
Wilson, T.D. 5
Winograd, T. 98
Wisdom, W.A. 254
Woodworth, R.S. ix 18 20 22 23 239 380
Wording effect 364 365 412—413n4
Wos, L. 64 79
Zwicky, A.M. 404n5
|
|
|
Реклама |
|
|
|