|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Kneale M. — Development of Logic |
|
|
|
| Предметный указатель |
Thurot, C. 251 n.
Thurot, C. 251 n.
Token-sentence 49 53 152 155 158
Token-sentence 49 53 152 155 158
Tollendo tollens 98 219
Tollendo tollens 98 219
Topics Cicero’s 178 f.
Topics in Abelard 216
Topics in Boethius 193
Topics in William of Shyreswood 233
Topics, Aristotle’s 33 ff.
Topics, Aristotle’s 33 ff.
Topos 34
Topos 34
Transitivity of entailment, in Abelard 220
Transitivity of entailment, in Abelard 220
Transitivity of entailment, in Aristotle 96
Transitivity of entailment, in Aristotle 96
Trivium 198
Trivium 198
Truth and falsity 16 53
Truth and falsity 16 53
Truth and falsity, Abelard on 205
Truth and falsity, Aquinas on 238 ff.
Truth and falsity, Aristotle on 45—46 51 83
Truth and falsity, Frege on 497 f. 576
Truth and falsity, Leibniz on 323 361 593
Truth and falsity, Pierre d’Ailly and Gregory of Rimini on 231
Truth and falsity, Plato on 17 ff.
Truth and falsity, Stoics on 149 ff.
Truth and falsity, Tarski on 588 ff.
Truth-function 129 ff. 135 148 420
Truth-tables 420 531
truth-values 413
truth-values 413
Truth-values, Frege on 497 ff. 576
Truth-values, Frege on 497 ff. 576
Turing, A.M. 733
Turing, A.M. 733
Turquette, A.R. 569 n.
Turquette, A.R. 569 n.
Two-valued algebra 412
Two-valued algebra 412
Type-sentence 49 53 152 158 589
Type-sentence 49 53 152 158 589
Types, ramified 660 ff.
Types, ramified 660 ff.
Types, theory of 32 657
Types, theory of 32 657
Universal statement in Aristotle 55
Universal statement in Aristotle 55
Universal statement in Stoics 146
Universal statement in Stoics 146
Universal statement, Frege on 511
Universal statement, Frege on 511
Universality and necessity 6
Universality and necessity 6
Universality and necessity and by Popper 650 f.
Universality and necessity and by Popper 650 f.
Universality and necessity by Tarski 640 ff
Universality and necessity by Tarski 640 ff
Universality and necessity connected by Bolzano 365 ff.
Universality and necessity connected by Bolzano 365 ff.
Universality and necessity distinguished by Aristotle 94
Universality and necessity distinguished by Aristotle 94
Universals 27 200
Universals 27 200
Universals in Boethius 196 ff.
Universals in Boethius 196 ff.
Universals, Bolzano on 363
Universals, Bolzano on 363
Universals, Frege on 456 500
Universals, Frege on 456 500
Universals, Leibniz on 324
Universals, Leibniz on 324
Universals, Ockham on 266
Universals, Ockham on 266
Universals, Quine on 626
Universals, Quine on 626
Universals, William of Shyreswood and Peter of Spain on 265
Universals, William of Shyreswood and Peter of Spain on 265
| Vailati, G. 345
Validity 1 12 16 541
Validity 1 12 16 541
Validity, Bolzano on 365 ff.
Validity, Bolzano on 365 ff.
Valla, Laurentius 300
Valla, Laurentius 300
Variables 61 109
Variables 61 109
Variables propositional in Aristotle 91 96
Variables propositional in Aristotle 91 96
Variables syntactic or metalinguistic 516
Variables syntactic or metalinguistic 516
Variables, Frege’s use of 489 514
Variables, Frege’s use of 489 514
Variables, Russell on 518
Variables, Russell on 518
Variables, Stoic use of 159
Variables, Stoic use of 159
Venn diagrams 421
Venn diagrams 421
Venn, J. 420 422
Venn, J. 420 422
Verbal propositions, Mill on 374
Verbal propositions, Mill on 374
Vicious-circle principle 655 657 666 680
Victorinus, Marius 187 198
Victorinus, Marius 187 198
Vincent Ferrer, St. 264
Vincent Ferrer, St. 264
von Neumann, J. 528 530 533 534 683 685
von Neumann, J. 528 530 533 534 683 685
von Wright, G.H. 555 n. 556 615
von Wright, G.H. 555 n. 556 615
Wadding, L. 242
Wadding, L. 242
Waismann, F. 646
Waismann, F. 646
Wallis, J. 305 380
Wallis, J. 305 380
Wang, Hao 473 n. 626 672
Weierstrass, K.T.W. 400 402
Weierstrass, K.T.W. 400 402
Wessel, C. 393
Wessel, C. 393
Whitehead, A.N. 423 467 512 517 518 530 537 539 553 594 604 683 740
Whitehead, A.N. 423 467 512 517 518 530 537 539 553 594 604 683 740
Wilkins, J. 327
Wilkins, J. 327
William of Champeaux 207 212 216 224
William of Champeaux 207 212 216 224
William of Shyreswood 231 246
William of Shyreswood on proprietates terminorum 246 ff.
William of Shyreswood on universals 265 486
William of Soissons 201
Wilson, T. 298
Wilson, T. 298
Wittgenstein, L. 420 512 532 604 629 667 729
Wittgenstein, L. 420 512 532 604 629 667 729
Wycliffe, J. 245
Wycliffe, J. 245
Zabarella, J. 183 306
Zabarella, J. 183 306
Zamenhof, L.L. 645
Zamenhof, L.L. 645
Zeno of Citium 113 115 139
Zeno of Elea 7 f. 97 115 116 128 131 134
Zeno of Elea 7 f. 97 115 116 128 131 134
Zermelo, E. 467 n. 682
Zermelo, E. 467 n. 682
‘Algorism’ 225
‘Derivation’ 541
‘Elementary’ theories 628
‘General logic’ 175—176
‘Heterological’ 656
‘Hypothetical’, in Abelard 221 (see also “Conditional statement”)
‘Hypothetical’, original meaning of 182
‘Idea’, in medieval and renaissance philosophy 310
‘Idea’, in Plato see “Form”
‘Mean’, ambiguity of 157
‘Primary logic’ 175—176 297
‘Statement’ 49 54
|
|
|
| Реклама |
|
|
|
|
|
О проекте