Author(s): J.J. Cohen
Series: Studies in Logic and the Foundations of Mathematics
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: 805
Cover......Page 1
Frontispiece......Page 2
ToC......Page 3
Copyright page......Page 5
Preface......Page 6
08 R. Thom - Role of Math in Present Day Science......Page 12
09 Fogel - 'Scientific' and Tradtional History......Page 23
10 Hildenbrand - Role of Math in Economics......Page 70
11 Takeuti - Work of Bernays and Godel......Page 84
12 Girard - Survery of PIE1,2 Logic......Page 93
13 Nepeivoda - Logic Approach to Programming......Page 112
14 Pohlers - Admissibility in Proof Theory - A Survey......Page 126
15 Gandy - Constructivity - Introduction......Page 143
16 Hyland - Applications of Consrructivity......Page 146
17 Martin Lof - Constructive Math and Computer Programming......Page 154
18 Gurevich - Crumbly Spaces......Page 177
19 MacIntyre - Resudue Fields of Models of P......Page 190
20 Palyutin - Number of Models in Complete Varieties......Page 204
21 Reinecke - Algebraically Closed Models of Theories of Comm Rings......Page 219
22 Degtev - Small Degrees in Ordinary Recursion Theory......Page 231
23 Normann - Non-Obtainable Continuous Functionals......Page 235
24 Pratt - Dynamic Logic......Page 244
25 Simpson - Four Test Problems in Gen Recursion Theory......Page 255
26 Harrington et al - Ordinal Games & Applications......Page 263
27 Magidor - Simplest Counterex to Compactness......Page 268
28 Dunn - Entailment......Page 278
29 McDowell - Truth Value Gaps......Page 285
30 Voishvillo - Semantics of Gen State Descriptions......Page 300
31 Wojcicki - Referential Matrix Semantics......Page 309
32 Bhaskar - Realism in Natual Sciences......Page 319
33 Kostiouk - Possible Worlds on Ontology of Scientific Theory......Page 337
34 Smart - Difficulties for Realism in Philosophy of Scince......Page 345
35 Sztompka - Math Dilemmas in Sociology......Page 358
36 De Finetti - Probability Different Views......Page 369
37 Seidenfeld - Paradoxes of Conglomerability......Page 373
38 Stone - Inconsistencies of Improper Priors & Finite Additivity......Page 391
39 Grecos & Prigogine - Problem of Irreversibility in Physics......Page 405
40 Sachkov - Probability in Physcis......Page 416
41 Shapere - Scope and Limits of Scientific Change......Page 423
42 Darden - Theory Construction in Biology......Page 434
43 Reig - Reality of Biological Species......Page 449
44 Woodfield Ascription of Goals and Assumption of Adaptiveness......Page 470
45 Bloack - Functionalism......Page 486
46 Campbell - Land's Theory of Color Vision......Page 507
47 Follesdal - Intentionality and Behaviorism......Page 519
48 Velichkovsky, V.P. Zinchenko - Cognitive Psychology New Perspectives......Page 536
49 Malinvaud - Equilibrium Concept in Economics......Page 548
50 Gibbard - Rights and Social Choice......Page 558
51 Hammond - Liberalsim and Pareto Principle......Page 569
52 Harris - Math Analysis of Language......Page 583
53 Heidrich - Formal Capacity of Montague Grammars......Page 598
54 Martin - Logico-Linguistics......Page 616
55 Sankoff - Sociolingustic Method and Linguistic Theory......Page 635
56 Finocchiaro - History of Science......Page 648
57 Lektorsky - Epistemology of Science......Page 666
58 Surma - Lindenbaum Algebra......Page 673
59 Angelelli - Frege's Notion of Bedeutung......Page 689
60 Thiel - Leibniz to Frege......Page 708
61 Suppes - Rational Allocation of Resources to Research......Page 724
62 Hansson - Comment on Suppes......Page 741
63 Yudin - Comments on Report of Suppes......Page 747
64 Stick - Genetics, Risk and Value of Life......Page 758
65 Davis - Alleged Threats from Genetics......Page 784
66 Programme......Page 792
67 Index of Names......Page 802
