|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Kneale M. — Development of Logic |
|
|
|
| Предметный указатель |
Diogenes of Babylonia 143
Dionysius of Halicarnassus 154
Dionysius Thrax 143
Diophantus 62
Disjunction 105 148 160 521
Disjunction, Abelard on 222
Disjunction, Boole on 410
Disjunction, Frege on 482.
Disjunction, Galen on 182
Disjunction, Kilwardby on 276
Disjunction, William of Shyreswood on 231
Disputations 203 300
Dissoi Logoi 16 18 49 53
Distributio 258 264 270 272
Division, method of 10 32 67
domains 703 ff. 726
Double Negation 147 169 171 675
Duns Scotus 226 242 525
Ecthesis 77 81
Elenchus 7 9 15
Entailment 96 276 288 541
Enuntiabile 240
Epicrates 10
Epictetus 119
Epicureans 177
Epicurus 48
Epimenides 228
Eratosthenes 182
Erigena, Johannes Scotus 199
Eristic 12 ff 15 113
Euathlus 14
Eubulides 16 113 114 115
Euclid 4 8 61 80 174 308 379 385
Euclides of Megara 8 15 16 113
Eudemus 5 86 105 185 190
Eudoxus 61 379 391 662
Euler, L. 306 337 349 350
Excluded Middle 32 46 48 161 171 711
Excluded middle in Intuitionism 679 ff.
Existential import 58 65
Existential import in Abelard 210
Existential import in Boole 412
Existential import in Leibniz 323
Existential import in Peter of Spain and St. Vincent Ferrer 264
Existential import in William of Shyreswood 260
Existential propositions, how symbolized 521
Existential propositions, how symbolized, not all empirical 707
Expository syllogism 273
Extension, of general terms 318
Extensionality, thesis of 605
Fallacy, in Plato 11 12
Faris, J. A. 351 n.
Fatalism 48
Ferrybridge on consequentia 292
Ferrybridge, R. 244 245
Feys, R. 522 n.
Figures of syllogism 68 ff.
Findlay, J. N. 718 n.
Finsler, P. 720
Formalism in mathematics 452
Formalism in mathematics Hilbert’s 686
Forms, theory of 19 44 45
Forms, theory of Aristotle’s views on 29 94
Fourth figure of syllogism 100 183
Fraenkel, A. 655 n. 683 687
Fraunce, A. 299
Frege, G. 403 413 426 427 435—512 518 519 524 528 530 537 539 587 594 602 604 622 686 738
Frege, on descriptions 593
Frege, on identity 618
Frege, on modality 548
Frege, on nature of logic 626
Frege, on Russell’s paradox 652 ff.
Function 395
Function, Frege on 499 ff. 587 622
Function, in theory of types 658 ff.
Function, predicative 662 ff.
Future contingents, in Abelard 214
Future contingents, in Aquinas and others 237
Future contingents, in Aristotle 47 ff.
Future contingents, in Boethius 190
Future contingents, Lukasiewicz on 569
Galen 80 116 162 165 169 175 177 182
Galileo Galilei 307 440
Galois, E. 337 389
Gardner, M. 421 n.
Garland the Computist 199
Gauss, K.F. 358 381 673
Geach, P. 437 n.
Gentzen, G. 538 ff 558 562 721 742
Genus 35 196
Geometry 2 379
Gerbert (Pope Sylvester II) 199
Gergonne on implicit definition 385 683
Gergonne, J.D. 350—352
Geulincx, A. 314
Geyer, B. 215 n.
Gilbert de la Porree 225
Goedel, his proof of completeness of general logic 707 ff
Goedel, K. 442 476 555 556 640 679—680 727 729 741
Goedel, of the incompletability of formal arithmetic 713 ff
Goldbach’s conjecture 565 676 722 729
Grabmann, M. 224 n.
Grassmann, H. 337 399
Greatest kinds, Plato’s doctrine of 20
Gregory of Rimini 231
Gregory, D.F. 398
Grelling’s paradox 656
Grosseteste, R. 241
Groups, theory of 389 736
Hamilton, Sir William (of Edinburgh) 112 352 404
Hamilton, Sir William Rowan 399 401 402
Hankel, H. 448
Heath, Sir Thomas L. 4 n. 5
Henle, P. 552
Herbrand, J. 703 708
Hermogenes 178
Hertz, P. 562 n.
Heytesbury, William 244 245
Heyting, A. 574 674 677
Hilbert, D. 383 437 515 527 535 546 595 681 711 714 720 735 740
Hilbert, his symbolism 521
Hillebrand, F. 411 n.
Hintikka, J. 91 n.
Hipparchus 162
Hobbes, Mill on 372
Hobbes, T. 311
Howell, W.S. 305 n.
Hume, D. 459 643 648
Huntingdon, E.V. 423 ff 695
Hyper-complex numbers 399
Hypothesis, arguments from, in Aristotle 43 98
Hypothesis, in Plato 7 9
Hypothetical argument, in Theophrastus 105
Hypothetical in Boethius 190
Hypothetical syllogism 105 110 180
Identity 22 36 42 742
Identity of indiscernibles 324 462
Identity, Frege on 489 493 507 618
Identity, Leibniz on 340
Identity, Peirce on 433
Identity, Whitehead and Russell on 619 ff.
imaginary numbers 393
Implicat = implicat contradictions 300
Imposition, first and second 195 229
Imposition, in Abelard 204
Incommensurability of diagonal 8 77 98 391
Indefinite statement 37 39 40 47 55
Indemonstrables 162 ff.
Indemonstrables, Boethius on 191
Indemonstrables, Cicero on 179 ff.
| Independence of axioms of calculus of propositions 692 ff.
Independence of rules of development 700
Independence of rules of general logic 703
Independence, proof of 387
Indirect moods 100
Indiscernibility of identicals 604
Induction, in Aristotle 36
Induction, mathematical 467 ff 701 732
Induction, mathematical Poincare on 655
Inference schemata 80 111 527 535 538
Inference schemata in medieval logic 277
Inference schemata, Stoic system of 158 ff. 558
Infinite sets 440 470 476 655
Infinite sets, Brouwer on 673
Infinite sets, Hilbert on 684
Infinity, axiom of 669
Innate ideas 310
Insolubilia 227 ff. 233 298 656
Intension 318
Intensional language 603 ff.
Intensionality 601 ff.
Intentio 229 ff.
Intentio in Ockham 269
Intentions in Peirce 432 f.
Intentions, first and second 230
Intuitionism 672 ff.
Intuitive induction 537
Inverted commas 27 51 514 607
Involution 541 563 567 742
Isomorphism 387
Jaesche, B.G. 354
Jaskowski, S. 539 548
Jerome, St. 188
Jevons, W.S. 201 406 407 420 421 422
John of Salisbury 200 201 225 239
John XXI see “Peter of Spain”
Jourdain, P.E.B. 437 n.
Judicium = judgement 317
Junge, J. 313
Kalin, T.A. 421
Kalmar, L. 727
Kant, Frege on 445 ff.
Kant, I. 242 354 385
Kilwardby, R. 235 275
Kleene, S.C. 680 n.
Klein, F. 383 389
Kluegel, G.S. 381
Kneale, W. 97 n. 404 672 n.
Kronecker, L. 403 673
Lambda-conversion 734
Lambda-definability 733
Lambda-operator 518 602
Lambert, J.H. 348
Lambert, Kant on 354
Langford, C.H. 549
Leibniz on definition 334
Leibniz on existential import 323
Leibniz on general science of method 331 ff.
Leibniz on ideal language 327 ff.
Leibniz on intension and extension 339
Leibniz on traditional logic 322 ff.
Leibniz on truths of reason and truths of fact 335
Leibniz project for encyclopedia 330 ff.
Leibniz, De arte combinatoria 325 ff.
Leibniz, G.W. 31 242 245 251 313 320—345 412 424 435 445 455 462 463 498 530 562 739
Lejewski, C. 108 n.
Lekton 16 127 140 153 188 360 500
Lesniewski, S. 426 529
Lever, R. 298
Lewis, C.I. 343 548 601 615
Liar, Tarski on 590 665
Liar, the 16 114 227 656 660 718 734
Lobachevsky, N.I. 382
Locke, J. 310 312
Loewenheim, L. 708 711
Logically proper names 596
Lucian 178
Lukasiewicz on many-valued logics 571 ff.
Lukasiewicz on three-valued logic 569 ff.
Lukasiewicz, his symbolism 521
Lukasiewicz, J. 47 n. 80f. 175 347 490 526 532 539
Lull, R. 241 421
Maass, J.G.E. 364
MacColl, H. 427 549
Mach, E. 631
Machines, logical 201 421
Major and minor terms 68 ff.
Mana 229
Many-sorted logic 626 ff.
Marcus Aurelius 116
Marquand, A. 421
Marsilius of Inghen 244
Martianus Capella 178 ff. 188 192 198
Master argument 118 ff. 126 131 133
Material implication 553 ff.
Mates, B. 118 n. 159 170
Matrix square 531 692
Matrix, of formula 725 728
Mays, W. 407 n. 421
McKinsey, J.C.C. 678 n. 680
Meaning 648
Meaning, Aristotle’s theory of 45 ff.
Meaning, Frege’s theory of 576 ff. (see also “Comprehension” “Connotation” “Significatia” “Sinn”)
Meaning, Stoic theory of 138 ff.
Medadic relative 432
Megarians 12 15 97 113
Meinong, A. 262 596
Melanchthon, P. 305
Mereology 426
Metalanguage 665
Metamathematics 681 ff.
Metatheory of general logic 701—712
Metatheory of primary logic 689—701
Michalski, K. 238 n.
Mill, Frege on 444
Mill, J. 371 ff. 455 639
Milton, J. 305
Minio-Paluello, L. 186 n. 189 203 225
Mitchell, O.H. 43 n.
Modal contexts, substitution in 610 ff.
Modal logic in Abelard 212
Modal logic in Albert the Great and Aquinas 236
Modal logic in Pseudo-Scot 243
Modal logic in William of Shyreswood 232
Modal logic Megarian and Stoic 117 ff.
Modal logic modern 548 ff. 601
Modal logic, in Aristotle 81 ff.
Modal syllogism 41 82
Modal syllogism in Theophrastus 102
Modality de dicto and de re 213 232 236 511 616
Moderni 200 245 273
Monadic functional calculus, solution of decision problem for 726
Monadic relative 432
Monomorphism of axiom sets 387 473 476
Montucla, J.E. 381
Moods of syllogism 72 ff.
Moody, E.A. 211 n. 297
Mostowski, A. 732 734
Natural deduction 538 ff.
Necessity absolute and relative 92 104
Necessity and language 628 ff.
Necessity in Leibniz 334
Necessity in modal logic 551 555 564 365
Necessity in Stoic theory 124
Necessity, Aristotle on 39 41 85 94
Necessity, Plato on 19
Negation 21
Negation, Abelard on 210
Negation, Aristotle on 47 55
Negation, Stoics on 147 160
|
|
|
| Реклама |
|
|
|
|
|
О проекте