- Email: [email protected]
Name index
977
N a m e index Abelard P., 10, 489 Abu-Mostafa Y.S., 423 Achinstein P., 398 Ackermann W., 91, 94, 122 Acrill J.L., 484, 494 Aczel P., 86, 87, 136, 143, 144, 146, 317 Adams E., 303 Airy G.B., 602 Ajtai M., 259 Albertus Magnus, 488 Alchourr6n C.E., 903, 910 Aleksander I., 409, 423 Alexander S., 680 Allais M., 780, 929, 944 Allen B., 67 Almog J., 324 Altman E., 689 Amann A., 629, 630 Anderlini L., 938, 944 Anderson A.R., 891,902ff., 910 Anderson C.A., 324 Anderson J., 630 Anderson J.R., 378, 380 Andr@ka H., 259 Angluin D., 357, 380 Anscombe F.J., 948, 951,958ff. Anscombe G.E.M., 853, 865, 903, 910 Apostoli P., 324 Aquinas T., 486ff. Arai T., 139, 146 Aristotle, 9ft., 20, 21,485ff., 490ff., 510, 634, 737 Arrow K.J., 916, 917, 923, 947, 959 Arsenin V.Y., 416, 424 Artemov S., 938, 944 Aumann R.J., 927ff., 934, 936, 944, 947ff., 951,958ff. Austin J.L., 25, 742ff., 889 Avicenna, 487ff.
Avogadro A., 386 Ayer A.J., 493ff. Bachmann H., 139, 143 Bacon F., 23, 513-515, 543 Baire R., 399 Baldwin S., 158, 171 Balkenius C., 441,443, 448 Barcan Marcus R., 895, 910 Barendregt H., 568 Bargury Y., 258 Barnes B., 504, 506, 508, 514 Barwise J., 126, 127, 131,137, 146, 245,259,307, 317, 325,693, 722 Battiti R., 423 Baum E.B., 414, 415, 423 Baumrin B., 537, 542, 544, 550 Bayes T., 855 Becker S., 423 Beeri C., 258 Bell J., 87 Belnap N., 702, 722 Belnap N.D., 319, 325 Ben-David S., 258, 259 Benacerraf P., 303, 593 Bentham J., 889 Bentler P., 809 Bentley R., 645 Berardi S., 567-569 Berger J.O., 423 Bergmann G., 24 Bergstra J., 721,723 Berkeley G., 767 Bernal J., 505, 506, 511-514, 521 Bernard D., 550 Bernays P., 86, 88, 92, 98, 122 Bernstein J., 389, 394 Berthelot M., 389 Berti P., 843, 844 Berzelius J., 386-388
978 Beth E., 246-248, 255 Binkley R., 321,325 Birkhoff G., 78, 80ft. Black M., 24, 494, 882 Block N., 739ff. Bobrow D., 789, 809 Boeder H., 483, 494 Bohigas O., 606 Bohr N., 610, 612, 629 Boltzmann L., 388, 390 Bolzano B., 24, 324, 489 Boole G, 12ft., 19, 24 Boolos G., 303, 740 Bopp F., 738 Borel E., 399 Borel F., 13 Born M., 391 Boser B, 424 Bourbaki N., 81, 87, 241 Boyd R., 533, 536 Bradley F., 490, 494 Braitenberg V., 686, 688 Brandt R., 507-509 Brentano F., 489ff., 494 Bridgeman P.N., 542, 851,864 Bromberger N., 734, 740 Brouwer L.E.J., 13ft., 18, 20, 468, 471-474, 479, 579ff., 587, 589, 593 Brown J.S., 789, 809 Bruner J., 681 Bfichi J.R., 252, 255, 259 Buchholz W., 126, 128, 131, 133, 141,146 Bfihler K., 667 Bull R.A., 259 Bullock A., 606 Buntine W.L., 416, 424 Burgess J., 259 Burstall R., 254 Calbrix J., 153ff. Calb A., 256, 258, 259 Canning D., 938, 944
Cannizzaro S., 387, 388, 394 Cantor G., 251,468 Carnap R., 16, 357, 383, 428, 448, 493ff., 635-638, 647, 650, 652-654, 847-866, 886 Carrier M., 505 Cartwright N., 779, 788, 790, 791, 8O2, 807, 8O9 Cauchy A., 672 Cavendish H., 648, 649 Chaitin G., 407 Chang C.C., 259 Chervonenkis A.Ya., 414, 424 Chihara C., 303, 305, 406, 853 Chomsky N., 738, 740, 742ff. Chou S., 259 Church A., 315, 325, 373, 474, 556, 564, 569, 573, 876, 882 Churchland P.M., 447, 448 Churchland P.S., 447, 448 Chwistek L., 637 Clapp L., 740 Clarke R., 516 Clavelin M., 634 Cliff N., 790, 791,809 Clote P., 62, 67 Cohen P., 400 Compton K.J., 259 Comte A., 672 Confucius, 545 Conway J.H., 686 Cooper S.B., 199ff., 208 Corcoran J., 324 Courcelle B., 243, 259 Couturat L., 9, 11 Coxon A.H., 483, 494 Creath R., 866 Cresswell M.J., 903, 910 Crick F., 663, 673 Curie P., 620, 630 Curry H.B., 72, 87, 888 Cybenko G., 424 d'Espagnat B., 620, 625, 630
979 Dalton J., 385, 386 Daly M., 535ff. Danielsson S., 900, 910, 918, 923 Darwin C., 523, 536, 671 Davidson D., 885 Davidsson P., 448 Davies P., 402, 403 Davis M., 210, 233 Dawkins R., 525, 536 de Broglie L., 394 De Bruijn N.G., 569 de Finetti B., 456,463,833-835,837839, 844 de Groot M., 463 de Kleer J., 789, 809 de Leeuw J., 809 de Morgan A., 13 De Rijk L., 495 de Rougemont M., 259 de Solla Price D., 506, 521 de Spinoza B., 488ff., 767 Deaton A., 778 Debreu G., 915, 923 DeCamp W.H., 629 Dechter R., 790, 809 Dedekind R., 324 Deemter K. van, 694, 723 DeGroot M.H., 866 Democritus, 482 Demuth O., 467 Denker J.S., 413, 424 Descartes R., 383,488,644, 767, 847, 854, 86O Devlin K., 174 Dewey J., 518, 519 Diaconescu R., 568 Dichtermann E., 258 Dieudonn(! J., 86ff. Dijkstra E.W., 330 Dingle R.B., 607 Dix J., 282 Dodd A., 159, 174 DSring F., 866 Doyle J., 263, 284
Dragalin A.G., 467, 479 Dreben B., 866 Dreyfus H., 375, 380 Dreze J., 772 Dubins L., 456, 463 Duffle D., 843, 844 Duhem P., 394, 637, 638 Dulong P., 387, 388 Dumas J., 386, 387, 395 Dummett M., 500, 501, 521, 522, 583ff., 589ff., 593 Dunn J.M., 319, 325 Eaton M.L., 843, 844 Eddington A.S., 617, 629 Edgeworth F.Y., 785 Eells E., 790, 809 Ehrenfeucht A., 255 Einstein A., 390, 391,401,499, 621, 630, 851 Eisler R., 491,495 Ellsberg D., 463 Elster J., 921,923 Emerson E.A., 259 Engeler E., 251,253, 254, 258 Engle R.F., 774, 788 Epstein R.L., 199, 208, 216, 232ff. Ershov Y.L., 212, 234 Etchemendy J., 307, 317, 325 Even S., 258 Eyck J. van, 723 Fagin R., 249, 252, 255, 256, 259 Fairbanks G., 435, 448 Farrington B., 514 Fawcett H., 763, 776 Feferman S., 71, 87, 123, 127, 136, 141,146, 211,234, 259 Feigl H., 868, 881 Feinberg S.E., 866 Fejer P.A., 198 Fenstad J., 448 Ferrante J., 260 Feyerabend P.K., 364, 380
980 Feynman R., 395,396,401,402,405 Feys R., 19, 72, 87 Field H., 384, 401,406 Fine B., 921,923 Fine K., 313, 325, 921,924 Fineberg H.V., 866 Finkelstein D., 619, 630 Finkelstein S.R., 630 Fischer M.J., 335, 348 Fishburn P., 451,463 Fisher R.A., 790, 807, 809, 836,837, 844 Fitch F.B., 891,910 Flannery B.P., 424 Fodor J., 688 Forbus K.D., 789, 809 Foreman M., 157, 174 Foss J., 447, 448 Frgiss@ R., 255 Frankland E., 386 Freedman D.A., 807, 809, 839, 844 Frege G., 12-24, 241,308-318, 325, 490, 495, 587, 740, 849 Freyd P., 76 Friedman H., 151,155, 250 Friedman M., 765, 788, 866, 957, 959 Friedman S., 172 Fries J.F., 489, 495 Frisch U., 606 Frydenberg M., 794, 809 Gabbay D., 260, 281,284, 304, 305 Galen, 860 Galileo, 641,851 Gallier J.H., 260 Gandy R., 373, 380 Garber D., 373, 380 G/irdenfors P., 693, 715, 723, 790, 807, 809,921,924, 930,945 Garey M.G., 260 Gassendi P., 488ff. Gaudin M., 387 Gauss C.F., 651
Gay-Lussac L., 386 Geffner H., 264, 284, 789, 809 Geiger D., 796, 809 Geisser S., 838, 844 Genesereth M., 429, 430, 448 Gentner D., 789, 809 Gentzen G., 29, 52, 67, 79ff., 83, 85, 122, 123, 125, 140, 147 Giannoni M-J., 606 Gibbs J.W., 390 Giedymin J., 415, 424 Giere R.N., 786, 788 Gilson E., 487, 495 Girard J.-Y., 87, 133, 147, 557, 562, 567, 569, 709, 723 Glebskii, 255 Glymour C., 356, 360, 380, 381,385, 387, 791,796,809-816,827, 829 GSdel K., 17ft., 25, 29, 68, 82, 86ff., 209ff., 234, 241, 246, 321, 325,398,400,876,882,937 Goguen J., 260 Gold E.M., 357, 367, 369, 372, 374, 378, 380, 882 Goldblatt R., 330, 348 Goldfarb W., 91,122 Golding M.P., 902, 910 Goldstein M., 451,454ff., 463 Goldszmidt M., 789, 810 Good I.J., 457, 463, 790, 800, 810, 865 Goodman N., 415,424, 429-431,449, 851,871-873, 882 Gouy L., 391 Grabman M., 24 Grandjean E., 256, 260 Granger C.W.J., 800, 809, 810 Grattan-Guinness I., 312, 325 Greenwood E., 550 Griffin N., 324 Griliches Z., 778 Groenendijk J., 693, 704, 723 Grothendieck A., 86ff.
981 Grubb P., 435, 448 Guenthner F., 304, 305 Gupta A., 322, 325 Gurevich Y., 258, 260 Gutteridge, 233 Hacking I., 394 Hs P., 62 Hale S., 592 Halevi S., 259 Halpern J., 722, 723 Hamilton W.D., 523, 536 Hamilton W.R., 651 Hampshire S., 853 Hanks S., 270, 284 Hanssens M., 809 Hansson B., 895, 907, 909ff., 916, 917, 924 Hansson S.O., 891,910 Harel D., 258, 260, 693, 723 Harman G., 693, 723 Harnad S., 445, 446, 449 Harr(! R., 549ff. Harrington L., 68, 151ft., 155,200ft., 208,214,232,249,250,260 Harris J., 742ff. Harsanyi J., 452ff., 463, 855, 934, 945 Hart H., 900, 910 Hartigan J.A., 837, 844 Hasenjg~ger G., 246 Hausdorff F., 251 Hausner M., 951,959 Haussler D., 381,414, 415, 423 Hawtrey R., 321 Hay L., 200ft., 208 Hazen A., 303 Heath D., 834-844 Hecht-Nielsen R., 424 Hegel G.W.F., 10ft., 24 Heidegger M., 482 Heim I., 752, 759 Heisenberg W., 610 Hellman G., 303, 305, 592
Hemeren P., 445, 448 Hempel C.G., 355,380,429-431,449, 863, 866 Henderson D., 424 Hendrickson M., 865 Hendry D.F., 772, 788 Henkin L., 86ff., 246 Herbelin H., 569 Herbertz R., 482, 495 Herbig J., 673 Hermann A., 672 Hermogenes, 483 Hertz H., 389 Hertz J, 424 Herzberger H.G., 322,325,916,917, 924 Heyting A., 18, 24ff., 471,479, 579, 581ff., 585ff., 591,593 Hicks J.R., 957, 959 Higgins P.J., 80, 88 Hilbert D., 11, 13, 21, 86, 88, 91ft., 94, 98, 122, 241,472, 473, 479, 571, 9194 Hildebrand W., 772 Hilpinen R., 910 Hinman P.G., 139, 147, 379, 380 Hintikka J., 442, 449, 693, 722, 723, 863, 887 Hintikka K., 246 Hinton G.E., 424 Hippocrates, 861 Hobson J.A., 865 Hodes H., 304, 305 Hodges A., 856 Hodges W., 260 Hofstadter D., 684 Hohfeld W.N., 889, 910 Holland P., 790, 791,799, 810 HolmstrSm-Hintikka G., 891,910 Hopcroft J., 261 Hopfield J., 424 Hornik K., 424 Horwich P., 356, 380 Howard R.E., 424
982 Howard W.A., 68, 127, 147 Howe D.J., 569 Hubbard W., 424 Huber P., 461,463 Huberman B.A, 424 Huet G., 568, 569 Hughes G.E., 903, 910 Huizinga J., 669 Hume D., 767, 867, 868, 878 Hunt Morgan T., 663 Husserl E., 581,587 Huxley A., 539 Huxley J., 664 Huygens C., 641-645, 648, 652 Hyland M., 78, 88 Hylton P., 311,313, 325 Idhe A., 385, 387, 388 Immerman N., 252, 256, 260 Intriligator M., 778 Isham C., 403 Israel D., 265, 284 Israeli I., 487 It6 K., 627 Iwasaki Y., 789, 810 Jackel L.D., 424 Jacobi C.G.J., 651 J/iger G., 126, 127, 138, 141,147 Jakobson G.W., 738 Jeffrey R.C., 460, 463 Jeffreys H., 837, 844 Jensen R., 158ff., 174 Jevons F., 514 Jockusch Jr., C.G., 213ff., 234 Johnson D.S., 260 Johnson W.E., 855 J6nsson B., 888 Jovett B., 483, 495 Joyal A., 69, 83, 568 Juhl C., 380 Just W., 153, 155 Kadane J., 463
Kaddach, 200 Kadison R.V., 630 Kahneman D., 947, 959 Kalai E., 935, 945 Kamp H., 254, 304, 722, 723, 752, 759 Kanamori A., 249, 260 Kanger D., 888 Kanger H., 891,910ft. Kanger S., 863,885ff., 913,915,918920, 922-924 Kannelakis P.C., 260 Kanovich M., 467 Kant I., 10ft., 23ff., 365, 488ff., 588, 639, 649 Kaplan D., 307, 309, 325 Kautz H., 789, 810 Kaye R., 66, 68 Kechris A.S., 154ff. Keeney R.L., 941 Keisler H.J., 259 Kelly K., 810 Kemeny J., 357, 367, 381 Kenny D.A., 808, 810 Kepler J., 641 Ketonen J., 68 Keynes J.M., 782,788, 807, 810, 855 Keyser C.J., 324 Kirby L., 61, 68, 250, 260 Kirk G.T.S., 482, 495 Kleene S.C., 29, 82, 88, 209ff., 234, 323, 325, 474, 475, 479 Klop J., 721,723 Kochen S., 249, 260 Kogan, 255 Kohonen T., 438, 440, 449 Kolaitis P.G., 247, 260 Kolmogorov A.N., 468, 586, 593 Konolige K., 263, 284 Kozen D., 254 Krajf~ek J., 67, 68 Krapiec M., 483, 495 Kreisel G., 29, 91ft., 122, 124, 582, 593
983 Kripke S.A., 244, 249, 253, 254, 260, 321,322,325,694,863,866, 886ff. Krogh A., 424 Kugel P., 882 Kuhn S.T., 747, 759 Kuhn T., 502, 507 Kulas J., 693, 723 Kunen K., 159, 174 Kushner B.A., 467, 476, 479 La Valle I., 451,463 Lachlan A.H., 179ff., 182,198ff., 208, 212, 234 Ladd J., 550 Ladner R.E., 335, 348 Lagrange J.L., 651 Laird J.E., 689 Lakoff G., 433, 449 Lalande A., 24 Lambek J., 568, 569 Lambert J.H., 23 Landini G., 313, 321,325 Lane D., 837, 840, 844 Langacker R., 431,433, 449 Langan J., 551 Langton C., 685ff., 688 Laplace P.S.de, 636, 855 Lasswell H., 514, 518 Laudan L., 362, 381 Lawvere F.W., 69ff., 88 Le Cun Y., 410, 415, 423, 424 Lebesgue H., 399 Leggett A., 396 Lehrer E., 935, 945 Leibniz G.W., 9ft., 19, 23, 245,488ff., 652, 734, 767 Leighton R., 395, 401 Lemmon E.J., 338 Lempp S., 200ft., 208 Lerman M., 179, 200, 208ff., 214, 216, 234 Legniewski S., 303
Levi I., 452,455,457, 463, 635,921, 924 Lewis C.I., 19, 24, 304, 860ff., 886 Lewis D., 303, 305 Lewis M., 282, 284 Lewontin R., 685 Liberman A.M., 741,743 Lifschitz V., 263, 284, 789, 810 Ligon'kii, 255 Lindsay G., 742ff. LindstrSm P., 245, 253, 255 Ling R., 807, 810 Linnik Yu.V., 478 Linsky L., 321,325 Lippman R.P., 442, 449 Lipson J.D., 80, 87 List C.J., 545, 550 Liu J., 550 Lloyd S., 806, 809 Locke J., 488ff., 767 Lorenz K., 667ff. Loui R., 264, 284 LSwenheim L., 17 Luce R., 463, 929, 939, 945 Lukasiewicz J., 19ft. Luzin N., 399 MacCormick N., 898, 911 Mach E., 389, 394, 864 MacIntyre A., 545, 550 Mackay D.J.C., 416, 421,424 Magidor M., 157, 174 Mahr B., 249, 261 Maibaum T., 261 Maier H., 491 Makinson D., 706, 723, 891, 894, 896, 909, 911 Makkai M., 69, 88 Mal'cev A., 246, 248 Mal'cev A.I., 72ff., 88 Malcolm N., 25 Malthus T.R., 782 Mandelbrot B.B., 606 Manders K., 406
984 Mann C.R., 71, 88 Marantz A., 740 Marcet Mrs., 767 Marcus R.B., 319, 321,324, 325 Margolis J., 505 Markov A.A. Jr., 467-479 Markov A.A. Sr, 469, 470 Mart D., 681,683ff., 688 Martin D.A., 157ff., 163ff., 168ff., 174, 215, 233ff. Martin-LSf P., 75, 88, 563, 564, 567, 569,577, 581ff., 585ff., 592ff. Maslov S., 467 Mathias A., 174 Mathlein H., 499 Matiyasevich Yu., 467 Mattingly I.G., 741,743 Maupertuis, 671 Mauthner F., 495 Maxwell J., 388 Maxwell N., 543, 550 May K.O., 951,959 Maynard Smith J., 523, 525, 536 Mayr E., 664 McAloon K., 249, 260 McCarthy J., 263, 284 McDermott D., 263, 270, 284 McDonough R., 25 McDowell J., 529, 536 McLarty C., 77 Medin D.L., 428, 449 Meier H., 495 Meiner F., 863 Mellon A.W., 776 Mersenne M., 488 Merton R., 540, 550 Meyer A.R., 569 Meyer J.L., 387, 388 Michael M., 866 Michalski R.S., 429, 449 Mill J.S., 896, 903, 911 Miller D., 208 Miller R., 385, 390, 394 Miller W., 528, 533, 536
Milner R., 697, 721,723 Mints G.E., 30, 46, 68, 87, 467 Misra B., 623, 630 Mitchell T.M., 808, 810 Mitchum C., 517 Mittelstrass J., 505 Moerdijk I., 88 Moggi E., 78 Mohrherr J., 233ff. Montague R.M., 747ff., 759 Moore R., 263, 284 Moortgat M., 693, 723 Morgan T., 769, 788 Morgenstern O., 954, 958ff. Morley M.D., 251,260 Moschovakis Y., 261,323, 325, 371, 381,723 Moses Y., 722, 723 Mostowski A., 25, 253 Miiller-Herold U., 629 Mundici D., 261 Neilands J.B., 551 Nelkin D., 541,551 N~meti I., 259, 697, 723 Nepeivoda N., 467 Nerode A., 232, 234 Neurath O., 851 Newell A., 683ff., 688ff. Newton I., 639-649, 651, 652, 671, 737 Newton-Smith W., 504, 520 Nguyen D., 424 Niles H.E., 807, 810 Nilsson N.J., 429, 430, 448 Nisbett R., 531,536 Nordstr6m B., 569 Nye M., 385, 389-391,393, 398 O'Hear A., 769 O'Neil W., 740 Odifreddi P., 213ff., 232ff., 235 Okada M., 83 Oono Y., 407
985 Opferman W., 895, 911 Orevkov V., 467 Orwell G., 933 Osherson D., 363, 365,368,374,381, 882 Osterberg J., 499 Ostwald W., 389-391,393, 395,398 Otte R., 809 Paliutin E., 212, 235 Palmer R.G., 424 Panangaden P., 723 Panini, 738 Par@ R., 69, 88 Paris J., 61, 68, 249, 250, 260 Parmenides, 483 Parsons C., 30, 46, 58, 61, 68, 319, 325 Partee B.H., 746, 759 Pasztor A., 261 Patil R.S., 789, 810 Pauker S.G., 865 Pauli W., 629, 630 Paulin-Mohring Ch., 568, 569 Pavlovidc D., 78 Paz A., 809 Pearl J., 264,284,813-815,817, 821, 827-829 Peirce C.S., 13 Pellegrino E., 550 Penrose R., 937, 945 Perrin J., 385,388-390, 392-395 Perry J., 307, 324 Petersson K., 569 Petit A., 387, 388 Petri N.V., 467, 479 Phan Dinh Dieu, 467 Pigou A.C., 784 Pitts A., 562,569 Planck M., 672 Plato, 23, 483ff., 688 Plotkin G.D., 569 Pnueli Y., 254, 258
Pohlers W., 123, 126, 128, 130, 141, 146, 147 Poincar@ H., 13, 18, 25, 391,393 Polanyi M., 549, 551 Pollack R., 567 Pollock J., 264, 284 Popper K., 355, 365-368, 381,436, 493, 495,501,502,504, 521, 648, 665, 794, 810, 864 PSrn I., 891,911,913, 918, 924 Posner D., 216ff., 232, 234ff. Post E.L., 209ff., 234ff. Poston T., 606 PSttinger J., 630 Pottinger G., 567-569 Prasad R., 606 Pratt V., 254, 258, 328 Prawitz D., 1, 71, 88, 583, 592ff. Press W.H., 424 Prior A.N., 304, 745, 759, 885 Proust J., 385 Pudls P., 68 Purves R.A., 839, 844 Putnam H., 303, 357, 367, 369, 372, 374, 378,381,384,385,397, 588, 592ff. Quine W.V., 319,325,353-357, 381, 383-385,431,449,502,503, 506, 650 Quine W.V.O., 17, 19, 24, 493ff., 733, 747, 759, 847, 852ff., 856ff., 863ff. Rabinowicz W., 913, 918, 924 Rackoff C.W., 260 Raiffa H., 463, 929, 939, 941,945 Ramachandran V.S., 684, 689 Ramsey F.P., 460, 463, 492, 494ff., 833, 844 Rask R., 738 Raven J.R., 482, 495 Ravetz J., 543, 551 Redhead M., 398
986 Redman D., 775, 788 Regazzini E., 843, 844 Reichenbach H., 357, 623, 630, 790, 800,802,805,806, 810,863, 867-873, 875-882, 885 Reinhold M.B., 569 Reiter R., 263, 284, 789, 810 Rescher N., 520, 902, 911 Resnik M., 405, 592 Reyes G.E., 69, 88 Reynolds J.C., 555, 557, 559, 560, 562, 563, 567, 569, 570 Richard J.F., 774, 788 Richerson P., 531,536 Richter L.J., 216, 235 Richter W.H., 143, 144, 146 Rigo P., 843, 844 Rijke M. de, 716, 723 Rinard M., 723 Rivest R,, 357, 381 Robinson A., 31,246 Robinson R.M., 575, 576 Rogers Jr., H., 209, 211ff., 235 Rollin B., 516 Roorda D., 698, 723 Rorty R., 23 Rosaldo M., 528, 536 Rosch E., 433, 449 Rosenbloom P.C., 72, 79 Rosenbloom P.S., 689 Ross D.W., 484, 495 Ross L., 531,536 RSssler O.E., 619, 630 Rotschild M., 775, 788 Rousseau J., 500, 504 Roy J.M., 740 Rubin H., 801,811 Rumelhart D.E., 412, 424 Ruse M., 444, 449 Russell B., 5, 13, 15ff., 19ff., 25,307324,326, 397, 482,491,493, 495, 556, 564, 570, 848ff., 853, 864 Ryan M., 261
Ryder R., 516 Ryll-Nardzewski C., 251 Sadler M., 261 Sain I., 259, 261 Sainsbury M., 311,326 Saint Raymond J., 152 Salmon W., 805, 811 Sami R., 152 Samuelson P.A., 916, 924 Sanchis L.E., 82, 89 Sands M., 395, 401 Saraswat V., 723 Saussure F.de, 738 Savage L.J., 460, 463,841,844, 927ff., 936, 939, 944ff., 957, 959 Scanlon T., 91,122 S~:edrov A., 260 Scheines R., 809-811,813, 814, 816, 829 Schelling T., 525, 536 Schervish M., 458, 463 Schilpp P.A., 635 Schlick M., 492ff. Schmerl U.R., 52, 68 Schoefield M., 482, 495 Schoemaker P., 947, 959 Schoenfield J.R., 180, 198, 211,235 Scholz H., 24, 252 SchrSder E., 13 Schiitte K., 123, 136, 140, 147 Schwartz D., 424 Schwartz J.T., 261 Schwartz W.B., 810, 865 Schwichtenberg H., 130, 140, 147 Schwinger J., 402 Scott D., 338 Scott P.J., 83, 88, 568, 569 Searle J., 588, 594 Seely R.A.G., 71, 89 Segerberg K., 259, 721,723 Seidenfeld T., 380 Seldin J.P., 570 Selten R., 452ff., 463, 934, 945
987 Senior N.W., 782 Shamir E., 258 Shanin N.A., 467, 478, 479 Shapere D., 394, 427, 436, 437, 449 Sharell A., 258 Sharir M., 261 Shelah S., 157, 174, 252, 258, 260, 261 Shepard R.N., 437, 448, 449 Shepherdson J.C., 249, 261 Shin H., 938, 944ff. Shoenfield J.R., 175, 574, 576 Shoham Y., 789, 790, 811 Shore R.A., 201,213ff., 231ff., 234ff. Sieg W., 68, 123, 141,146, 147 Siemens W., 672 Silver J., 159, 175 Simon H., 375, 789, 791,810, 811 Simons P., 487, 495 Simpson S.G., 260 Singer I.M., 630 Skolem T., 17, 241 Skordev D., 467 Skyrms B., 790, 809, 811,833, 834, 844, 934, 945 Slaman T.A., 198, 211,213ff., 216, 231ff., 235 Sliwinski R., 913, 918, 924 Sloan A.P., 776 Smith C., 357, 380 Smith Churchland P., 865 Smith E., 428, 449 Smith J.M., 569, 570 Smith R.L., 141,147 Smolensky P., 446-449 Sneath P.H., 444, 449 Soare R.I., 179ff., 198,200,208,210, 214, 218, 226, 232,234ff. Sober E., 790, 809 Socrates, 483, 484 Sokal R.R., 443, 449 Solla S.A., 424 Solovay R., 68, 174, 400, 938, 945 Sommer R., 68
Sonenberg E.A., 262 Sonnenschein H., 775 Spaan E., 716 Specker E., 478, 479 Spirtes P., 380, 796, 809-811 Spohn W., 723, 800, 811 Springer J., 863 Sreenivasan K.R., 606 Stallybrass O., 606 Stanley L., 151,155 Stavi J., 258 Steele J., 157, 163ff., 168ff., 172ff. Steinitz E., 251 Stenlund S., 592 Stent G., 669 Stepp R.E., 429, 449 Stevenson C.L., 509, 901,911 Stewart I.N., 606 Stigum B., 767, 776, 788 Stinchcombe M., 424 Stob M., 232, 235, 365, 374, 381, 882 Stokhof M., 693, 704, 723 Stone M., 840, 843, 844 Stone M.H., 615,617 Stcrmer E., 630 Strawson P.F., 740, 743 Suarez F., 487 Sundholm G., 583, 592, 594 Suppes P., 448, 790, 800, 805, 809, 811 Surendonk T.J., 329, 349 Suslin M., 399 Suzumura K., 916, 917, 924 Svenonius L., 251 Symons D., 524, 535ff. Szabo M.E., 79, 81, 85, 89 Szewak E.J., 895, 911 Szolovitz P., 810 Tait W., 91,122 Takesaki M., 630 Takeuti G., 46, 67, 68, 123, 147 Talanov, 255
988 Talbot W.J., 455, 463 Talja J., 895, 911 Ts T., 499 Tarski A., 17ft., 25, 241, 247, 250, 253, 321, 326, 405, 493ff., 629, 630, 888 Taylor B., 747, 759 Taylor C., 505 Teukolsky S.A., 424 Thatcher J.W., 260 Theatheus, 484 Thomason S.K., 179, 198, 329, 349 Thomson J.J., 393 Tikhonov A.N., 416, 424 Tolman R.C., 606 Tolstoy L., 469, 470 Tomonaga S., 402 Topor R.W., 262 Trakhtenbrot B., 245 Troelstra A.S., 75, 89, 582ff., 585, 594 Tseitin G.S., 467, 477, 479 Tuck R., 902, 911 Tupailo S., 92 Turing A.M., 210, 235 Turnbull C., 533ff., 536 Turnbull H.W., 645 Tversky A., 947, 959 Ullman J.D., 262 Upstill C., 606 Uzawa H., 916, 924 Vakarelov D., 698, 724 van Dalen D., 25, 75, 89, 582, 585, 592, 594 van Fraassen B., 455, 463, 503 Vapnik V.N., 414, 424 Vardi M., 261,262 Vasiliev N.A., 21, 25 Vaught R., 241,251,252 Veatch R., 551 Veblen O., 139, 143 Veltman F., 724
Venema Y., 697, 699, 724 Verma T., 813, 815, 817, 821,827829 Vermeulen C., 721,724 Vetterling W.T., 424 Vitale B., 541,551 Vlach F., 304 von Neumann J., 91, 94, 122, 615, 617, 629, 954, 958ff. von Wright G.H., 895, 911 Vries F-J. de, 723 Wagner E.G., 260 Wald A., 839, 844 Wall L., 572 Walley P., 457, 463 Wang H., 25, 321,326 Warmuth M., 381 Wasserman L., 452 Watson J., 663, 673 Watson P, 200ft., 208 Weber M., 18 Wedberg A., 885 Weigend A.S., 416, 424 Weinstein M.C., 866 Weinstein S., 365, 374, 381,882 Weiskrantz L., 865 Westersts D., 694, 724 Westfall R.S., 641 Wettstein H., 324 Weyl H., 468, 472, 473, 479, 637, 639 Wheeler J., 404 Whewell W., 23 White A.R., 902, 907, 911 White H., 424 Whitehead A.N., 307, 314, 324, 326, 496, 570, 849ff. Widrow B., 410, 424 Wiggins D., 529, 536 Wilder R.L., 239, 240, 262 Wilensky R., 789, 811 William of Auvergne, 488 Williams B., 529, 536
989 Williams G.C., 523 Williams P., 448 Williams R.J., 424 Wilson K.G., 606 Wilson M., 406, 407, 535ff. Wittgenstein L., 5, 15, 18, 22, 24ff., 492ff., 500, 501,584ff., 633, 635, 881 Wittner B., 424 Wolfe H.J., 865 Wolff C., 488ff. Wollaston W., 488ff. Woodin W.H., 157ff., 163ff., 173ff., 211,213, 216, 232ff., 235 Wootton B., 770 Wright C., 590, 594 Wright J.B., 260 Wright L., 524, 536 Wright S., 804, 811 Yankov V., 467 Yates C.E.M., 179, 198, 212, 232, 235 Yoccoz S., 568 Yost G., 689 Zaniotti M., 805, 811 Zaslavskii I., 467 Zolfaghari H., 88
N a m e index Abelard P., 10, 489 Abu-Mostafa Y.S., 423 Achinstein P., 398 Ackermann W., 91, 94, 122 Acrill J.L., 484, 494 Aczel P., 86, 87, 136, 143, 144, 146, 317 Adams E., 303 Airy G.B., 602 Ajtai M., 259 Albertus Magnus, 488 Alchourr6n C.E., 903, 910 Aleksander I., 409, 423 Alexander S., 680 Allais M., 780, 929, 944 Allen B., 67 Almog J., 324 Altman E., 689 Amann A., 629, 630 Anderlini L., 938, 944 Anderson A.R., 891,902ff., 910 Anderson C.A., 324 Anderson J., 630 Anderson J.R., 378, 380 Andr@ka H., 259 Angluin D., 357, 380 Anscombe F.J., 948, 951,958ff. Anscombe G.E.M., 853, 865, 903, 910 Apostoli P., 324 Aquinas T., 486ff. Arai T., 139, 146 Aristotle, 9ft., 20, 21,485ff., 490ff., 510, 634, 737 Arrow K.J., 916, 917, 923, 947, 959 Arsenin V.Y., 416, 424 Artemov S., 938, 944 Aumann R.J., 927ff., 934, 936, 944, 947ff., 951,958ff. Austin J.L., 25, 742ff., 889 Avicenna, 487ff.
Avogadro A., 386 Ayer A.J., 493ff. Bachmann H., 139, 143 Bacon F., 23, 513-515, 543 Baire R., 399 Baldwin S., 158, 171 Balkenius C., 441,443, 448 Barcan Marcus R., 895, 910 Barendregt H., 568 Bargury Y., 258 Barnes B., 504, 506, 508, 514 Barwise J., 126, 127, 131,137, 146, 245,259,307, 317, 325,693, 722 Battiti R., 423 Baum E.B., 414, 415, 423 Baumrin B., 537, 542, 544, 550 Bayes T., 855 Becker S., 423 Beeri C., 258 Bell J., 87 Belnap N., 702, 722 Belnap N.D., 319, 325 Ben-David S., 258, 259 Benacerraf P., 303, 593 Bentham J., 889 Bentler P., 809 Bentley R., 645 Berardi S., 567-569 Berger J.O., 423 Bergmann G., 24 Bergstra J., 721,723 Berkeley G., 767 Bernal J., 505, 506, 511-514, 521 Bernard D., 550 Bernays P., 86, 88, 92, 98, 122 Bernstein J., 389, 394 Berthelot M., 389 Berti P., 843, 844 Berzelius J., 386-388
978 Beth E., 246-248, 255 Binkley R., 321,325 Birkhoff G., 78, 80ft. Black M., 24, 494, 882 Block N., 739ff. Bobrow D., 789, 809 Boeder H., 483, 494 Bohigas O., 606 Bohr N., 610, 612, 629 Boltzmann L., 388, 390 Bolzano B., 24, 324, 489 Boole G, 12ft., 19, 24 Boolos G., 303, 740 Bopp F., 738 Borel E., 399 Borel F., 13 Born M., 391 Boser B, 424 Bourbaki N., 81, 87, 241 Boyd R., 533, 536 Bradley F., 490, 494 Braitenberg V., 686, 688 Brandt R., 507-509 Brentano F., 489ff., 494 Bridgeman P.N., 542, 851,864 Bromberger N., 734, 740 Brouwer L.E.J., 13ft., 18, 20, 468, 471-474, 479, 579ff., 587, 589, 593 Brown J.S., 789, 809 Bruner J., 681 Bfichi J.R., 252, 255, 259 Buchholz W., 126, 128, 131, 133, 141,146 Bfihler K., 667 Bull R.A., 259 Bullock A., 606 Buntine W.L., 416, 424 Burgess J., 259 Burstall R., 254 Calbrix J., 153ff. Calb A., 256, 258, 259 Canning D., 938, 944
Cannizzaro S., 387, 388, 394 Cantor G., 251,468 Carnap R., 16, 357, 383, 428, 448, 493ff., 635-638, 647, 650, 652-654, 847-866, 886 Carrier M., 505 Cartwright N., 779, 788, 790, 791, 8O2, 807, 8O9 Cauchy A., 672 Cavendish H., 648, 649 Chaitin G., 407 Chang C.C., 259 Chervonenkis A.Ya., 414, 424 Chihara C., 303, 305, 406, 853 Chomsky N., 738, 740, 742ff. Chou S., 259 Church A., 315, 325, 373, 474, 556, 564, 569, 573, 876, 882 Churchland P.M., 447, 448 Churchland P.S., 447, 448 Chwistek L., 637 Clapp L., 740 Clarke R., 516 Clavelin M., 634 Cliff N., 790, 791,809 Clote P., 62, 67 Cohen P., 400 Compton K.J., 259 Comte A., 672 Confucius, 545 Conway J.H., 686 Cooper S.B., 199ff., 208 Corcoran J., 324 Courcelle B., 243, 259 Couturat L., 9, 11 Coxon A.H., 483, 494 Creath R., 866 Cresswell M.J., 903, 910 Crick F., 663, 673 Curie P., 620, 630 Curry H.B., 72, 87, 888 Cybenko G., 424 d'Espagnat B., 620, 625, 630
979 Dalton J., 385, 386 Daly M., 535ff. Danielsson S., 900, 910, 918, 923 Darwin C., 523, 536, 671 Davidson D., 885 Davidsson P., 448 Davies P., 402, 403 Davis M., 210, 233 Dawkins R., 525, 536 de Broglie L., 394 De Bruijn N.G., 569 de Finetti B., 456,463,833-835,837839, 844 de Groot M., 463 de Kleer J., 789, 809 de Leeuw J., 809 de Morgan A., 13 De Rijk L., 495 de Rougemont M., 259 de Solla Price D., 506, 521 de Spinoza B., 488ff., 767 Deaton A., 778 Debreu G., 915, 923 DeCamp W.H., 629 Dechter R., 790, 809 Dedekind R., 324 Deemter K. van, 694, 723 DeGroot M.H., 866 Democritus, 482 Demuth O., 467 Denker J.S., 413, 424 Descartes R., 383,488,644, 767, 847, 854, 86O Devlin K., 174 Dewey J., 518, 519 Diaconescu R., 568 Dichtermann E., 258 Dieudonn(! J., 86ff. Dijkstra E.W., 330 Dingle R.B., 607 Dix J., 282 Dodd A., 159, 174 DSring F., 866 Doyle J., 263, 284
Dragalin A.G., 467, 479 Dreben B., 866 Dreyfus H., 375, 380 Dreze J., 772 Dubins L., 456, 463 Duffle D., 843, 844 Duhem P., 394, 637, 638 Dulong P., 387, 388 Dumas J., 386, 387, 395 Dummett M., 500, 501, 521, 522, 583ff., 589ff., 593 Dunn J.M., 319, 325 Eaton M.L., 843, 844 Eddington A.S., 617, 629 Edgeworth F.Y., 785 Eells E., 790, 809 Ehrenfeucht A., 255 Einstein A., 390, 391,401,499, 621, 630, 851 Eisler R., 491,495 Ellsberg D., 463 Elster J., 921,923 Emerson E.A., 259 Engeler E., 251,253, 254, 258 Engle R.F., 774, 788 Epstein R.L., 199, 208, 216, 232ff. Ershov Y.L., 212, 234 Etchemendy J., 307, 317, 325 Even S., 258 Eyck J. van, 723 Fagin R., 249, 252, 255, 256, 259 Fairbanks G., 435, 448 Farrington B., 514 Fawcett H., 763, 776 Feferman S., 71, 87, 123, 127, 136, 141,146, 211,234, 259 Feigl H., 868, 881 Feinberg S.E., 866 Fejer P.A., 198 Fenstad J., 448 Ferrante J., 260 Feyerabend P.K., 364, 380
980 Feynman R., 395,396,401,402,405 Feys R., 19, 72, 87 Field H., 384, 401,406 Fine B., 921,923 Fine K., 313, 325, 921,924 Fineberg H.V., 866 Finkelstein D., 619, 630 Finkelstein S.R., 630 Fischer M.J., 335, 348 Fishburn P., 451,463 Fisher R.A., 790, 807, 809, 836,837, 844 Fitch F.B., 891,910 Flannery B.P., 424 Fodor J., 688 Forbus K.D., 789, 809 Foreman M., 157, 174 Foss J., 447, 448 Frgiss@ R., 255 Frankland E., 386 Freedman D.A., 807, 809, 839, 844 Frege G., 12-24, 241,308-318, 325, 490, 495, 587, 740, 849 Freyd P., 76 Friedman H., 151,155, 250 Friedman M., 765, 788, 866, 957, 959 Friedman S., 172 Fries J.F., 489, 495 Frisch U., 606 Frydenberg M., 794, 809 Gabbay D., 260, 281,284, 304, 305 Galen, 860 Galileo, 641,851 Gallier J.H., 260 Gandy R., 373, 380 Garber D., 373, 380 G/irdenfors P., 693, 715, 723, 790, 807, 809,921,924, 930,945 Garey M.G., 260 Gassendi P., 488ff. Gaudin M., 387 Gauss C.F., 651
Gay-Lussac L., 386 Geffner H., 264, 284, 789, 809 Geiger D., 796, 809 Geisser S., 838, 844 Genesereth M., 429, 430, 448 Gentner D., 789, 809 Gentzen G., 29, 52, 67, 79ff., 83, 85, 122, 123, 125, 140, 147 Giannoni M-J., 606 Gibbs J.W., 390 Giedymin J., 415, 424 Giere R.N., 786, 788 Gilson E., 487, 495 Girard J.-Y., 87, 133, 147, 557, 562, 567, 569, 709, 723 Glebskii, 255 Glymour C., 356, 360, 380, 381,385, 387, 791,796,809-816,827, 829 GSdel K., 17ft., 25, 29, 68, 82, 86ff., 209ff., 234, 241, 246, 321, 325,398,400,876,882,937 Goguen J., 260 Gold E.M., 357, 367, 369, 372, 374, 378, 380, 882 Goldblatt R., 330, 348 Goldfarb W., 91,122 Golding M.P., 902, 910 Goldstein M., 451,454ff., 463 Goldszmidt M., 789, 810 Good I.J., 457, 463, 790, 800, 810, 865 Goodman N., 415,424, 429-431,449, 851,871-873, 882 Gouy L., 391 Grabman M., 24 Grandjean E., 256, 260 Granger C.W.J., 800, 809, 810 Grattan-Guinness I., 312, 325 Greenwood E., 550 Griffin N., 324 Griliches Z., 778 Groenendijk J., 693, 704, 723 Grothendieck A., 86ff.
981 Grubb P., 435, 448 Guenthner F., 304, 305 Gupta A., 322, 325 Gurevich Y., 258, 260 Gutteridge, 233 Hacking I., 394 Hs P., 62 Hale S., 592 Halevi S., 259 Halpern J., 722, 723 Hamilton W.D., 523, 536 Hamilton W.R., 651 Hampshire S., 853 Hanks S., 270, 284 Hanssens M., 809 Hansson B., 895, 907, 909ff., 916, 917, 924 Hansson S.O., 891,910 Harel D., 258, 260, 693, 723 Harman G., 693, 723 Harnad S., 445, 446, 449 Harr(! R., 549ff. Harrington L., 68, 151ft., 155,200ft., 208,214,232,249,250,260 Harris J., 742ff. Harsanyi J., 452ff., 463, 855, 934, 945 Hart H., 900, 910 Hartigan J.A., 837, 844 Hasenjg~ger G., 246 Hausdorff F., 251 Hausner M., 951,959 Haussler D., 381,414, 415, 423 Hawtrey R., 321 Hay L., 200ft., 208 Hazen A., 303 Heath D., 834-844 Hecht-Nielsen R., 424 Hegel G.W.F., 10ft., 24 Heidegger M., 482 Heim I., 752, 759 Heisenberg W., 610 Hellman G., 303, 305, 592
Hemeren P., 445, 448 Hempel C.G., 355,380,429-431,449, 863, 866 Henderson D., 424 Hendrickson M., 865 Hendry D.F., 772, 788 Henkin L., 86ff., 246 Herbelin H., 569 Herbertz R., 482, 495 Herbig J., 673 Hermann A., 672 Hermogenes, 483 Hertz H., 389 Hertz J, 424 Herzberger H.G., 322,325,916,917, 924 Heyting A., 18, 24ff., 471,479, 579, 581ff., 585ff., 591,593 Hicks J.R., 957, 959 Higgins P.J., 80, 88 Hilbert D., 11, 13, 21, 86, 88, 91ft., 94, 98, 122, 241,472, 473, 479, 571, 9194 Hildebrand W., 772 Hilpinen R., 910 Hinman P.G., 139, 147, 379, 380 Hintikka J., 442, 449, 693, 722, 723, 863, 887 Hintikka K., 246 Hinton G.E., 424 Hippocrates, 861 Hobson J.A., 865 Hodes H., 304, 305 Hodges A., 856 Hodges W., 260 Hofstadter D., 684 Hohfeld W.N., 889, 910 Holland P., 790, 791,799, 810 HolmstrSm-Hintikka G., 891,910 Hopcroft J., 261 Hopfield J., 424 Hornik K., 424 Horwich P., 356, 380 Howard R.E., 424
982 Howard W.A., 68, 127, 147 Howe D.J., 569 Hubbard W., 424 Huber P., 461,463 Huberman B.A, 424 Huet G., 568, 569 Hughes G.E., 903, 910 Huizinga J., 669 Hume D., 767, 867, 868, 878 Hunt Morgan T., 663 Husserl E., 581,587 Huxley A., 539 Huxley J., 664 Huygens C., 641-645, 648, 652 Hyland M., 78, 88 Hylton P., 311,313, 325 Idhe A., 385, 387, 388 Immerman N., 252, 256, 260 Intriligator M., 778 Isham C., 403 Israel D., 265, 284 Israeli I., 487 It6 K., 627 Iwasaki Y., 789, 810 Jackel L.D., 424 Jacobi C.G.J., 651 J/iger G., 126, 127, 138, 141,147 Jakobson G.W., 738 Jeffrey R.C., 460, 463 Jeffreys H., 837, 844 Jensen R., 158ff., 174 Jevons F., 514 Jockusch Jr., C.G., 213ff., 234 Johnson D.S., 260 Johnson W.E., 855 J6nsson B., 888 Jovett B., 483, 495 Joyal A., 69, 83, 568 Juhl C., 380 Just W., 153, 155 Kadane J., 463
Kaddach, 200 Kadison R.V., 630 Kahneman D., 947, 959 Kalai E., 935, 945 Kamp H., 254, 304, 722, 723, 752, 759 Kanamori A., 249, 260 Kanger D., 888 Kanger H., 891,910ft. Kanger S., 863,885ff., 913,915,918920, 922-924 Kannelakis P.C., 260 Kanovich M., 467 Kant I., 10ft., 23ff., 365, 488ff., 588, 639, 649 Kaplan D., 307, 309, 325 Kautz H., 789, 810 Kaye R., 66, 68 Kechris A.S., 154ff. Keeney R.L., 941 Keisler H.J., 259 Kelly K., 810 Kemeny J., 357, 367, 381 Kenny D.A., 808, 810 Kepler J., 641 Ketonen J., 68 Keynes J.M., 782,788, 807, 810, 855 Keyser C.J., 324 Kirby L., 61, 68, 250, 260 Kirk G.T.S., 482, 495 Kleene S.C., 29, 82, 88, 209ff., 234, 323, 325, 474, 475, 479 Klop J., 721,723 Kochen S., 249, 260 Kogan, 255 Kohonen T., 438, 440, 449 Kolaitis P.G., 247, 260 Kolmogorov A.N., 468, 586, 593 Konolige K., 263, 284 Kozen D., 254 Krajf~ek J., 67, 68 Krapiec M., 483, 495 Kreisel G., 29, 91ft., 122, 124, 582, 593
983 Kripke S.A., 244, 249, 253, 254, 260, 321,322,325,694,863,866, 886ff. Krogh A., 424 Kugel P., 882 Kuhn S.T., 747, 759 Kuhn T., 502, 507 Kulas J., 693, 723 Kunen K., 159, 174 Kushner B.A., 467, 476, 479 La Valle I., 451,463 Lachlan A.H., 179ff., 182,198ff., 208, 212, 234 Ladd J., 550 Ladner R.E., 335, 348 Lagrange J.L., 651 Laird J.E., 689 Lakoff G., 433, 449 Lalande A., 24 Lambek J., 568, 569 Lambert J.H., 23 Landini G., 313, 321,325 Lane D., 837, 840, 844 Langacker R., 431,433, 449 Langan J., 551 Langton C., 685ff., 688 Laplace P.S.de, 636, 855 Lasswell H., 514, 518 Laudan L., 362, 381 Lawvere F.W., 69ff., 88 Le Cun Y., 410, 415, 423, 424 Lebesgue H., 399 Leggett A., 396 Lehrer E., 935, 945 Leibniz G.W., 9ft., 19, 23, 245,488ff., 652, 734, 767 Leighton R., 395, 401 Lemmon E.J., 338 Lempp S., 200ft., 208 Lerman M., 179, 200, 208ff., 214, 216, 234 Legniewski S., 303
Levi I., 452,455,457, 463, 635,921, 924 Lewis C.I., 19, 24, 304, 860ff., 886 Lewis D., 303, 305 Lewis M., 282, 284 Lewontin R., 685 Liberman A.M., 741,743 Lifschitz V., 263, 284, 789, 810 Ligon'kii, 255 Lindsay G., 742ff. LindstrSm P., 245, 253, 255 Ling R., 807, 810 Linnik Yu.V., 478 Linsky L., 321,325 Lippman R.P., 442, 449 Lipson J.D., 80, 87 List C.J., 545, 550 Liu J., 550 Lloyd S., 806, 809 Locke J., 488ff., 767 Lorenz K., 667ff. Loui R., 264, 284 LSwenheim L., 17 Luce R., 463, 929, 939, 945 Lukasiewicz J., 19ft. Luzin N., 399 MacCormick N., 898, 911 Mach E., 389, 394, 864 MacIntyre A., 545, 550 Mackay D.J.C., 416, 421,424 Magidor M., 157, 174 Mahr B., 249, 261 Maibaum T., 261 Maier H., 491 Makinson D., 706, 723, 891, 894, 896, 909, 911 Makkai M., 69, 88 Mal'cev A., 246, 248 Mal'cev A.I., 72ff., 88 Malcolm N., 25 Malthus T.R., 782 Mandelbrot B.B., 606 Manders K., 406
984 Mann C.R., 71, 88 Marantz A., 740 Marcet Mrs., 767 Marcus R.B., 319, 321,324, 325 Margolis J., 505 Markov A.A. Jr., 467-479 Markov A.A. Sr, 469, 470 Mart D., 681,683ff., 688 Martin D.A., 157ff., 163ff., 168ff., 174, 215, 233ff. Martin-LSf P., 75, 88, 563, 564, 567, 569,577, 581ff., 585ff., 592ff. Maslov S., 467 Mathias A., 174 Mathlein H., 499 Matiyasevich Yu., 467 Mattingly I.G., 741,743 Maupertuis, 671 Mauthner F., 495 Maxwell J., 388 Maxwell N., 543, 550 May K.O., 951,959 Maynard Smith J., 523, 525, 536 Mayr E., 664 McAloon K., 249, 260 McCarthy J., 263, 284 McDermott D., 263, 270, 284 McDonough R., 25 McDowell J., 529, 536 McLarty C., 77 Medin D.L., 428, 449 Meier H., 495 Meiner F., 863 Mellon A.W., 776 Mersenne M., 488 Merton R., 540, 550 Meyer A.R., 569 Meyer J.L., 387, 388 Michael M., 866 Michalski R.S., 429, 449 Mill J.S., 896, 903, 911 Miller D., 208 Miller R., 385, 390, 394 Miller W., 528, 533, 536
Milner R., 697, 721,723 Mints G.E., 30, 46, 68, 87, 467 Misra B., 623, 630 Mitchell T.M., 808, 810 Mitchum C., 517 Mittelstrass J., 505 Moerdijk I., 88 Moggi E., 78 Mohrherr J., 233ff. Montague R.M., 747ff., 759 Moore R., 263, 284 Moortgat M., 693, 723 Morgan T., 769, 788 Morgenstern O., 954, 958ff. Morley M.D., 251,260 Moschovakis Y., 261,323, 325, 371, 381,723 Moses Y., 722, 723 Mostowski A., 25, 253 Miiller-Herold U., 629 Mundici D., 261 Neilands J.B., 551 Nelkin D., 541,551 N~meti I., 259, 697, 723 Nepeivoda N., 467 Nerode A., 232, 234 Neurath O., 851 Newell A., 683ff., 688ff. Newton I., 639-649, 651, 652, 671, 737 Newton-Smith W., 504, 520 Nguyen D., 424 Niles H.E., 807, 810 Nilsson N.J., 429, 430, 448 Nisbett R., 531,536 Nordstr6m B., 569 Nye M., 385, 389-391,393, 398 O'Hear A., 769 O'Neil W., 740 Odifreddi P., 213ff., 232ff., 235 Okada M., 83 Oono Y., 407
985 Opferman W., 895, 911 Orevkov V., 467 Orwell G., 933 Osherson D., 363, 365,368,374,381, 882 Osterberg J., 499 Ostwald W., 389-391,393, 395,398 Otte R., 809 Paliutin E., 212, 235 Palmer R.G., 424 Panangaden P., 723 Panini, 738 Par@ R., 69, 88 Paris J., 61, 68, 249, 250, 260 Parmenides, 483 Parsons C., 30, 46, 58, 61, 68, 319, 325 Partee B.H., 746, 759 Pasztor A., 261 Patil R.S., 789, 810 Pauker S.G., 865 Pauli W., 629, 630 Paulin-Mohring Ch., 568, 569 Pavlovidc D., 78 Paz A., 809 Pearl J., 264,284,813-815,817, 821, 827-829 Peirce C.S., 13 Pellegrino E., 550 Penrose R., 937, 945 Perrin J., 385,388-390, 392-395 Perry J., 307, 324 Petersson K., 569 Petit A., 387, 388 Petri N.V., 467, 479 Phan Dinh Dieu, 467 Pigou A.C., 784 Pitts A., 562,569 Planck M., 672 Plato, 23, 483ff., 688 Plotkin G.D., 569 Pnueli Y., 254, 258
Pohlers W., 123, 126, 128, 130, 141, 146, 147 Poincar@ H., 13, 18, 25, 391,393 Polanyi M., 549, 551 Pollack R., 567 Pollock J., 264, 284 Popper K., 355, 365-368, 381,436, 493, 495,501,502,504, 521, 648, 665, 794, 810, 864 PSrn I., 891,911,913, 918, 924 Posner D., 216ff., 232, 234ff. Post E.L., 209ff., 234ff. Poston T., 606 PSttinger J., 630 Pottinger G., 567-569 Prasad R., 606 Pratt V., 254, 258, 328 Prawitz D., 1, 71, 88, 583, 592ff. Press W.H., 424 Prior A.N., 304, 745, 759, 885 Proust J., 385 Pudls P., 68 Purves R.A., 839, 844 Putnam H., 303, 357, 367, 369, 372, 374, 378,381,384,385,397, 588, 592ff. Quine W.V., 319,325,353-357, 381, 383-385,431,449,502,503, 506, 650 Quine W.V.O., 17, 19, 24, 493ff., 733, 747, 759, 847, 852ff., 856ff., 863ff. Rabinowicz W., 913, 918, 924 Rackoff C.W., 260 Raiffa H., 463, 929, 939, 941,945 Ramachandran V.S., 684, 689 Ramsey F.P., 460, 463, 492, 494ff., 833, 844 Rask R., 738 Raven J.R., 482, 495 Ravetz J., 543, 551 Redhead M., 398
986 Redman D., 775, 788 Regazzini E., 843, 844 Reichenbach H., 357, 623, 630, 790, 800,802,805,806, 810,863, 867-873, 875-882, 885 Reinhold M.B., 569 Reiter R., 263, 284, 789, 810 Rescher N., 520, 902, 911 Resnik M., 405, 592 Reyes G.E., 69, 88 Reynolds J.C., 555, 557, 559, 560, 562, 563, 567, 569, 570 Richard J.F., 774, 788 Richerson P., 531,536 Richter L.J., 216, 235 Richter W.H., 143, 144, 146 Rigo P., 843, 844 Rijke M. de, 716, 723 Rinard M., 723 Rivest R,, 357, 381 Robinson A., 31,246 Robinson R.M., 575, 576 Rogers Jr., H., 209, 211ff., 235 Rollin B., 516 Roorda D., 698, 723 Rorty R., 23 Rosaldo M., 528, 536 Rosch E., 433, 449 Rosenbloom P.C., 72, 79 Rosenbloom P.S., 689 Ross D.W., 484, 495 Ross L., 531,536 RSssler O.E., 619, 630 Rotschild M., 775, 788 Rousseau J., 500, 504 Roy J.M., 740 Rubin H., 801,811 Rumelhart D.E., 412, 424 Ruse M., 444, 449 Russell B., 5, 13, 15ff., 19ff., 25,307324,326, 397, 482,491,493, 495, 556, 564, 570, 848ff., 853, 864 Ryan M., 261
Ryder R., 516 Ryll-Nardzewski C., 251 Sadler M., 261 Sain I., 259, 261 Sainsbury M., 311,326 Saint Raymond J., 152 Salmon W., 805, 811 Sami R., 152 Samuelson P.A., 916, 924 Sanchis L.E., 82, 89 Sands M., 395, 401 Saraswat V., 723 Saussure F.de, 738 Savage L.J., 460, 463,841,844, 927ff., 936, 939, 944ff., 957, 959 Scanlon T., 91,122 S~:edrov A., 260 Scheines R., 809-811,813, 814, 816, 829 Schelling T., 525, 536 Schervish M., 458, 463 Schilpp P.A., 635 Schlick M., 492ff. Schmerl U.R., 52, 68 Schoefield M., 482, 495 Schoemaker P., 947, 959 Schoenfield J.R., 180, 198, 211,235 Scholz H., 24, 252 SchrSder E., 13 Schiitte K., 123, 136, 140, 147 Schwartz D., 424 Schwartz J.T., 261 Schwartz W.B., 810, 865 Schwichtenberg H., 130, 140, 147 Schwinger J., 402 Scott D., 338 Scott P.J., 83, 88, 568, 569 Searle J., 588, 594 Seely R.A.G., 71, 89 Segerberg K., 259, 721,723 Seidenfeld T., 380 Seldin J.P., 570 Selten R., 452ff., 463, 934, 945
987 Senior N.W., 782 Shamir E., 258 Shanin N.A., 467, 478, 479 Shapere D., 394, 427, 436, 437, 449 Sharell A., 258 Sharir M., 261 Shelah S., 157, 174, 252, 258, 260, 261 Shepard R.N., 437, 448, 449 Shepherdson J.C., 249, 261 Shin H., 938, 944ff. Shoenfield J.R., 175, 574, 576 Shoham Y., 789, 790, 811 Shore R.A., 201,213ff., 231ff., 234ff. Sieg W., 68, 123, 141,146, 147 Siemens W., 672 Silver J., 159, 175 Simon H., 375, 789, 791,810, 811 Simons P., 487, 495 Simpson S.G., 260 Singer I.M., 630 Skolem T., 17, 241 Skordev D., 467 Skyrms B., 790, 809, 811,833, 834, 844, 934, 945 Slaman T.A., 198, 211,213ff., 216, 231ff., 235 Sliwinski R., 913, 918, 924 Sloan A.P., 776 Smith C., 357, 380 Smith Churchland P., 865 Smith E., 428, 449 Smith J.M., 569, 570 Smith R.L., 141,147 Smolensky P., 446-449 Sneath P.H., 444, 449 Soare R.I., 179ff., 198,200,208,210, 214, 218, 226, 232,234ff. Sober E., 790, 809 Socrates, 483, 484 Sokal R.R., 443, 449 Solla S.A., 424 Solovay R., 68, 174, 400, 938, 945 Sommer R., 68
Sonenberg E.A., 262 Sonnenschein H., 775 Spaan E., 716 Specker E., 478, 479 Spirtes P., 380, 796, 809-811 Spohn W., 723, 800, 811 Springer J., 863 Sreenivasan K.R., 606 Stallybrass O., 606 Stanley L., 151,155 Stavi J., 258 Steele J., 157, 163ff., 168ff., 172ff. Steinitz E., 251 Stenlund S., 592 Stent G., 669 Stepp R.E., 429, 449 Stevenson C.L., 509, 901,911 Stewart I.N., 606 Stigum B., 767, 776, 788 Stinchcombe M., 424 Stob M., 232, 235, 365, 374, 381, 882 Stokhof M., 693, 704, 723 Stone M., 840, 843, 844 Stone M.H., 615,617 Stcrmer E., 630 Strawson P.F., 740, 743 Suarez F., 487 Sundholm G., 583, 592, 594 Suppes P., 448, 790, 800, 805, 809, 811 Surendonk T.J., 329, 349 Suslin M., 399 Suzumura K., 916, 917, 924 Svenonius L., 251 Symons D., 524, 535ff. Szabo M.E., 79, 81, 85, 89 Szewak E.J., 895, 911 Szolovitz P., 810 Tait W., 91,122 Takesaki M., 630 Takeuti G., 46, 67, 68, 123, 147 Talanov, 255
988 Talbot W.J., 455, 463 Talja J., 895, 911 Ts T., 499 Tarski A., 17ft., 25, 241, 247, 250, 253, 321, 326, 405, 493ff., 629, 630, 888 Taylor B., 747, 759 Taylor C., 505 Teukolsky S.A., 424 Thatcher J.W., 260 Theatheus, 484 Thomason S.K., 179, 198, 329, 349 Thomson J.J., 393 Tikhonov A.N., 416, 424 Tolman R.C., 606 Tolstoy L., 469, 470 Tomonaga S., 402 Topor R.W., 262 Trakhtenbrot B., 245 Troelstra A.S., 75, 89, 582ff., 585, 594 Tseitin G.S., 467, 477, 479 Tuck R., 902, 911 Tupailo S., 92 Turing A.M., 210, 235 Turnbull C., 533ff., 536 Turnbull H.W., 645 Tversky A., 947, 959 Ullman J.D., 262 Upstill C., 606 Uzawa H., 916, 924 Vakarelov D., 698, 724 van Dalen D., 25, 75, 89, 582, 585, 592, 594 van Fraassen B., 455, 463, 503 Vapnik V.N., 414, 424 Vardi M., 261,262 Vasiliev N.A., 21, 25 Vaught R., 241,251,252 Veatch R., 551 Veblen O., 139, 143 Veltman F., 724
Venema Y., 697, 699, 724 Verma T., 813, 815, 817, 821,827829 Vermeulen C., 721,724 Vetterling W.T., 424 Vitale B., 541,551 Vlach F., 304 von Neumann J., 91, 94, 122, 615, 617, 629, 954, 958ff. von Wright G.H., 895, 911 Vries F-J. de, 723 Wagner E.G., 260 Wald A., 839, 844 Wall L., 572 Walley P., 457, 463 Wang H., 25, 321,326 Warmuth M., 381 Wasserman L., 452 Watson J., 663, 673 Watson P, 200ft., 208 Weber M., 18 Wedberg A., 885 Weigend A.S., 416, 424 Weinstein M.C., 866 Weinstein S., 365, 374, 381,882 Weiskrantz L., 865 Westersts D., 694, 724 Westfall R.S., 641 Wettstein H., 324 Weyl H., 468, 472, 473, 479, 637, 639 Wheeler J., 404 Whewell W., 23 White A.R., 902, 907, 911 White H., 424 Whitehead A.N., 307, 314, 324, 326, 496, 570, 849ff. Widrow B., 410, 424 Wiggins D., 529, 536 Wilder R.L., 239, 240, 262 Wilensky R., 789, 811 William of Auvergne, 488 Williams B., 529, 536
989 Williams G.C., 523 Williams P., 448 Williams R.J., 424 Wilson K.G., 606 Wilson M., 406, 407, 535ff. Wittgenstein L., 5, 15, 18, 22, 24ff., 492ff., 500, 501,584ff., 633, 635, 881 Wittner B., 424 Wolfe H.J., 865 Wolff C., 488ff. Wollaston W., 488ff. Woodin W.H., 157ff., 163ff., 173ff., 211,213, 216, 232ff., 235 Wootton B., 770 Wright C., 590, 594 Wright J.B., 260 Wright L., 524, 536 Wright S., 804, 811 Yankov V., 467 Yates C.E.M., 179, 198, 212, 232, 235 Yoccoz S., 568 Yost G., 689 Zaniotti M., 805, 811 Zaslavskii I., 467 Zolfaghari H., 88