|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Kneale M. — Development of Logic |
|
|
|
| Предметный указатель |
Negation, Wittgenstein on 632
Newton, I. 309
Nicod, J.D.P. 526
Nicole, P. 315
Nominales 239
Non-denumerable sets 438 ff. 712
Non-Euclidean geometry 381
Normal form, conjunctive 697
Normal form, Skolem prenex 432 708
Notker Labeo 199
Null class 407 425
Numerals 391
Numerals, Frege on 454
Obligationes 233—234
Obligationes, Strode on 245
Obversion 57
Ockham on consequentiae 288 ff.
Ockham on relations 428
Ockham on universal 265
Ockham, William 238 243 317
Ockham’s razor 243
Ontological argument 201
Ontological argument, Frege on 459
Ontological argument, Kant on 358
Opposition in Abelard 210
Opposition modal 86 125—126
Opposition, square on 55
Origen 165
Paradox Berry’s 656
Paradox Burali — Forti’s 652
Paradox Grelling’s 656
Paradox Richard’s 653
Paradox Russell’s 652
Paradox Skolem’s 711 (see also “The liar”)
Paradoxes Megarian 114 227
Paradoxes of material and strict implication 281 ff. 549
Paradoxes of theory of sets 652 ff.
Paradoxes semantic 665
Parallels postulate 388
Parmenides 8 15 21 113
Parts of speech, Stoic account of 143
Parvipontanus (Adam of Balsham) 227 440
Pascal, B. 315 317 388
Patzig, G. 73 n.
Paul of Pergola 245 292
Paul of Venice 229 245
Peacock, G. 398
Peano, G. 327 438 473 713
Peano, his symbolism 520—521
Peirce definition of finite set 440
Peirce on identity 433
Peirce on logic of relations 428—434
Peirce, G.S. 49 n. 420 422 510 526
Peripatetic, opposed to Stoic school 113 ff.
Perry, H. 306
Pervasive terms 20 30
Peter Lombard 238 243
Peter of Spain (Pope John XXI) 234 295 428
Peter of Spain on appellatio 264
Peter of Spain on distributio 272
Peter of Spain on suppositio terminorum 263 ff.
Peter of Spain on universal 265
Philo of Megara 15 115 117 141 148 161 194 420 531
Philo of Megara on conditionals 128 ff.
Philo of Megara on modality 122 125
Philoponus, J. 71 143 186 187
Pierre d’Ailly 230 f.
Plato 1 6—22 32 39 45 308
Plato and abstract entities 591 626 636
Plato and the consequentia mirabilis 173
Pletho, G. 308
Ploucquet, G. 348 f.
Plutarch 162 440
Poincare, H. 655 672 680
Polyadic relatives 432
Pomponazzi, P. 306
Ponendo ponens 98
Ponendo ponens in Abelard 219
Pons asinorum 186 f.
Popper, K.R. 563 650
Porphyry 25 n. 27 187 191 198
Porphyry on genus and species 196
Porphyry on three kinds of discourse 194 f.
Porphyry’s tree 232 319
Port Royal Logic 315 ff.
Positio terminorum 193
Possibility Abelard’s treatment of 213
Possibility absolute and relative 92 104 124
Possibility defined in terms of necessity and negation 85
Possibility distinguished from contingency 84
Possibility in modern modal logic 551 ff.
Post, E.L. 420 532 568 689
Post-praedicamenta 26 204
Power-set 441
Prantl, G. 145 n. 164 182 229 234
Predicables 33 35 187
Predicables in Garland the Computist 199
Predicables in William of Shyreswood 232
Prior, A.N. 121 n. 526
Priscian 144 153 211 247 250
Probability, Boole on 414 f.
Problema 34
Proclus 3 380 440
Projective geometry 388
Property 35
Propositio = leading premiss 177 f.
Propositio = propositional sign 50 178 205
Propositiones mentales 229
Propositions 49 f. 53 153 155 592
Propositions in Abelard 205
Proprietates terminorum 209 233 246
Prosleptic premisses 106 ff.
Protagoras 14
Protasis 34
Pseudo-Scot 242 540 549
Pseudo-Scot on consequentiae 277 ff.
Ptolemy Soter 113
Ptolemy, Claudius 380
Pythagoras’ theorem 4
Pythagoreans 3 7 390
Quantification of the predicate 112 259
Quantification of the predicate in Hamilton 352 ff.
Quantification of the predicate in Lambert and Ploucquet 349
Quantification theory 295
Quantifiers in Frege 485 ff. 493 511
Quantifiers in Peirce 430
Quantifiers in William of Shyreswood 231
Quantifiers various notations 521
Quantifiers with modal signs 613 ff.
Quaternions 399 401
Quine, W.V. 515 516 517 533 547 604 616 625 635 644 654 672
Quintilian 178
Quotation marks see “Inverted commas”
Ramsey, F.P. 664 f.
Ramus, P. 301 ff.
Real numbers 402 ff 438 673
recursive functions 729 ff.
Reducibility, axiom of 662 ff.
Reductio ad absurdum 15 f. 128 172
Reductio ad absurdum dist. from reductio ad impossibile 9
Reductio ad impossibile 7 9 97
Reduction (of syllogisms) 38 41 76 102
Reduction principles (in modal logic) 551 565
Reichenbach, H. 52 n.
Relations, logic of 41 185 259
Relations, logic of, in De Morgan and Peirce 427 ff.
Relations, logic of, in Lambert 349
Relations, logic of, in Leibniz 324 329
Richard, J. 653
Riemann, G.F.B. 382
| Robinson, R. 9 n. 10 11
Robinson, R.M. 732 734
Roscellin 200 223
Ross, Sir David 87 89
Rosser, J.B. 569 n. 720
Royal Society 337
Russell on identity 619 ff
Russell theory of types 657 ff.
Russell, B. 262 323 402 437 467 511 517 527 530 537 539 553 594 604 628 629 683 723 740
Russell, his paradox 652 ff.
Ryle, G. 671 n.
Saccheri, G. 345 ff. 380
Salisbury, John of 200 225
Sanderson, R. 298
Satisfiability 705
Satz-an-sich 360
Savonarola, G. 245
Schematic letters 516
Schlick, M. 631
Schmidt, A. 627 n.
Schoenfinkel, M. 522 705 726
Schroeder, E. 423 424 430
Schuette, K. 727 728
Schuhl, P.M. 119 n.
Scientia sermocinalis 230
Seneca 141
Seton, J. 299
Sets, theory of 438 ff.
Sextus Empiricus 7 16 116 128 140 144 161 164 169 173 185
Sextus Empiricus, Latin translation of 281
Shannon, C.E. 422 n.
Sheffer, H.M. 423 425 522 526
Signa quantitatis 211
Significatio in Burleigh 270
Significatio in Ockham 270
Significatio in William of Shyreswood 246 f.
Simplicius 143
Singular and general statements 31 55 63 155
Singular and general statements in Euler 306
Singular and general statements in Leibniz 323
Singular and general statements in Port Royal Logic 319
Singular and general statements in Ramus 304
Singular and general statements in Wallis 305
Sinn und Bedeutung 493 ff 586
Skolem, T. 476 627 707 711 727 732
Socrates 7 8 15 21
Solmsen, F. 24 n.
Sophisms 12 f. 16 227 233 298
Speusippus 392
Steele, D.A. 440 n.
Stilpo 113 115
Stoics 12 16 18 21 48 91 97 99 105 188 240 516
Stoics claim to completeness of system 174
Stoics influence in Boethius 191 193
Stoics on conditionals 161 f.
Stoics on disjunction 162
Stoics on negation 147 160
Stoics relation of system to Aristotelian 175
Stoics system of inference schemata 158 ff.
Stoics theory of modality 123 ff.
Stoics theory of truth and meaning 138 ff.
Stoics use of variables 159
Strawson, P.F. 637 n. 638
Strict implication 553 559
Strode on consequential 292
Strode, R. 244
Stroke-function 423 426 526
Sub-contraries 56
Subaltern moods 74
Subalterns 56
Subject-predicate statements in Aristotle 31 55 63
Subject-predicate statements in Leibniz 344
Subject-predicate statements in Stoics 144
Substance, in Aristotle 26 29 32
Substitution 481 490 507 528
Substitution 481 490 507 528
Substitution and detachment 108
Substitution and detachment 108
Suppositio communis 256
Suppositio confusa 258
Suppositio determinata 258 f.
Suppositio discreta 256
Suppositio formalis 256
Suppositio immobilis 256
Suppositio in Geulincx 314
Suppositio in Renaissance logic 298
Suppositio indeterminata 258
Suppositio manerialis 255
Suppositio materialise 253
Suppositio mobiiis 255 f.
Suppositio personalis 254 f. 256
Suppositio simplex 254 f.
Suppositio terminorum 209 511
Suppositio terminorum 209 511
Suppositio, Burleigh on 270
Suppositio, Ockham on 267 ff.
Suppositio, Peter of Spain on 263
Suppositio, William of Shyreswood on 246 ff.
Swineshead, R. (Suisseth) 244.
Swineshead, R. (Suisseth) 244.
Syllogism 10 12 24 31 36 44 67
Syllogism 10 12 24 31 36 44 67
Syllogism modal 87 ff.
Syllogistic in Boole’s system 419
Syllogistic in Port Royal Logic 319
Syllogistic, Kant on 354
Syllogistic, Leibniz on 322 f.
Syllogistic, Mill on 375
Syllogistic, part of general logic 176
Sylvester II (Gerbert) 199
Sylvester II (Gerbert) 199
Symbolism 513—524
Symbolism 513—524
Syncategoremata 233
Syncategoremata 233
Tarski on language and metalanguage 665 f.
Tarski on logical consequence 640 ff.
Tarski, A. 426 526 574 588 680 722 732 734 736
Tarski, A. 426 526 574 588 680 722 732 734 736
Taylor, A.E. 16 n.
Taylor, A.E. 16 n.
Tenses 45 51
Tenses 45 51
Tenses in Stoic lekta 153
Terminus, vocalis, mentalis, scriptus 194 f. 230 269
Terminus, vocalis, mentalis, scriptus 194 f. 230 269
Thales 3
Thales 3
Themata, Stoic 165 169 323
Themata, Stoic 165 169 323
Themistius 188
Themistius 188
Theodosius 174 346
Theodosius 174 346
Theologumena Arithmeticae 392
Theologumena Arithmeticae 392
Theophrastus 99 ff 159 185 190 191
Theophrastus 99 ff 159 185 190 191
Theophrastus of hypothetical syllogisms 105 110
Theophrastus of modal syllogisms 102
Theophrastus of syllogism   107
Theophrastus theory of modality 101
Thomae, J. 452 474
Thomae, J. 452 474
Thomas Aquinas on modality 236
Thomas Aquinas, St. 202 226 229 324 647
Thomas Aquinas, St. 202 226 229 324 647
Thomas of Erfurt 242
Thomas, L. 227 n. 235
Thomas, L. 227 n. 235
|
|
|
| Реклама |
|
|
|
|
|
О проекте