Logic, methodology and philosophy of science: proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 6 Hannover, 1979
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland [u.a.]
1982
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
104 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 856 S. |
| ISBN: | 0444854231 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV000037395 | ||
| 003 | DE-604 | ||
| 005 | 20080925 | ||
| 007 | t | ||
| 008 | 870612s1982 |||| 10||| eng d | ||
| 020 | |a 0444854231 |9 0-444-85423-1 | ||
| 035 | |a (OCoLC)643601534 | ||
| 035 | |a (DE-599)BVBBV000037395 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-703 |a DE-824 |a DE-739 |a DE-29 |a DE-19 | ||
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science |b proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |n 6 |p Hannover, 1979 |c ed. by L. Jonathan Cohen ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland [u.a.] |c 1982 | |
| 300 | |a XIV, 856 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 104 | |
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v ... | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Cohen, Jonathan |e Sonstige |4 oth | |
| 711 | 2 | |a International Congress of Logic, Methodology and Philosophy of Science |j Sonstige |0 (DE-588)12395-X |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV000037394 |g 6 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 104 |w (DE-604)BV000893472 |9 104 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000008844&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000008844 | ||
Datensatz im Suchindex
| _version_ | 1804114491708801024 |
|---|---|
| adam_text | CONTENTS
Preface IX
Officers of the Division XII
Steering Committee XII
Organising Committee XIII
List of Donors XIV
0. PLENARY LECTURES
The Role of Mathematics in Present Day Science, R. Thorn ... 3
Scientific History and Traditional History, R. W. Fogel .... 15
The Role of Mathematics in Economics, W. Hildenbrand 63
Work of Paul Bernays and Kurt Godel, G. Takeuti 77
1. PROOF THEORY AND FOUNDATIONS OF MATHEMATICS
A Survey of il^ logic, J. Y. Girard 89
Logical Approach to Programming, N. N. Nepeivoda 109
Admissibility in Proof Theory; a Survey, W. Pohlers 123
Symposium on Constructivity in Mathematics:
Introductory Remarks, R. O. Gandy 141
Applications of Constructivity, /. M. E. Hyland 145
Constructive Mathematics and Computer Programming, P. Martin Lof 153
2. MODEL THEORY AND ITS APPLICATIONS
Crumbly Spaces, Y. Gurevich 179
Residue Fields of Models of P, A. Macintyre 193
Number of Models in Complete Varieties, E. A. Palyutin .... 207
On Algebraically Closed Models of Theories of Commutative Rings,
J.Reineke 223
3. RECURSION THEORY AND THEORY OF COMPUTATION
Small Degrees in Ordinary Recursion Theory, A. N. Degtev ... 237
Non Obtainable Continuous Functional, D. Normann 241
V
VI CONTENTS
Dynamic Logic, V. R. Pratt 251
Four Test Problems in Generalized Recursion Theory, S. G. Simpson 263
4. AXIOMATIC SET THEORY
Ordinal Games and Their Applications, L. A. Harrington,
A.S.Kechris 273
The Simplest Counterexample to Compactness in the Constructible
Universe, M. Magidor 279
5. PHILOSOPHICAL LOGIC
Anderson and Belnap, and Lewy on Entailment, /. M. Dunn ... 291
Truth Value Gaps, /. McDowell 299
Semantics of Generalized State Descriptions, E. K. Voishvillo . . 315
Referential Matrix Semantics for Propositional Calculi, R. Wdjcicki 325
6. GENERAL METHODOLOGY OF SCIENCE
Realism in the Natural Sciences, R. Bhaskar 337
Possible Worlds and the Ontology of a Scientific Theory, V. N. Kostiouk 355
Difficulties for Realism in the Philosophy of Science, J. J. C. Smart 363
Metatheoretical Dilemmas of the Social Sciences. The Case of
Sociology, P. Sztompka 377
7. FOUNDATIONS OF PROBABILITY AND INDUCTION
Probability: The Different Views and Terminologies in a Critical
Analysis, B. de Finetti 391
Paradoxes of Conglomerability and Fiducial Inference, T. Seidenfeld 395
Review and Analysis of Some Inconsistencies Related to Improper
.Priors and Finite Additivity, M. Stone . . 413
8. FOUNDATIONS AND PHILOSOPHY OF THE PHYSICAL SCIENCES
On the Problem of Irreversibility in Theoretical Physics, A. P. Grecos,
I. Prigogine . 429
Probability in Classical and Quantum Physics, Yu. V. Sachkov . . 441
The Scope and Limits of Scientific Change, D. Shapere 449
CONTENTS VII
9. FOUNDATIONS AND PHILOSOPHY OF BIOLOGY
Aspects of Theory Construction in Biology, L. Darden 463
The Reality of Biological Species: A Conceptualistic and a Systemic
Approach, O. A. Reig 479
Some Connections Between Ascriptions of Goals and Assumptions
of Adaptiveness, A. Woodfield 501
10. FOUNDATIONS AND PHILOSOPHY OF PSYCHOLOGY
Functionalism, N.J. Block 519
The Implications of Land s Theory of Colour Vision, K. Campbell 541
Intentionality and Behaviorism, D. Follesdal 553
New Perspectives on Cognitive Psychology, B. M. Velichkovsky,
V. P. Zinchenko 571
11. FOUNDATIONS AND PHILOSOPHY OF THE SOCIAL SCIENCES
The Equilibrium Concept in Economics, E. Malinvaud 585
Symposium on the Theory of Rights
Rights and the Theory of Social Choice, A. Gibbard 595
Liberalism, Independent Rights and the Pareto Principle, P. J. Ham¬
mond 607
12. FOUNDATIONS AND PHILOSOPHY OF LINGUISTICS
Mathematical Analysis of Language, Z. Harris 623
Formal Capacity of Montague Grammars, C. H. Heidrich .... 639
On Logico Linguistics: Structure, Transformation and Paraphrase,
R. M. Martin 657
Sociolinguistic Method and Linguistic Theory, D. Sankoff .... 677
13. HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE
On the Methodological Problems of the History of Science: An
Analytical Approach, M. A. Finocchiaro 693
On the Change of the Interrelations Between Science and Epistemology
of Science in the Process of their Historical Development,
V.Lektorsky 711
VIII CONTENTS
On the Origin and Subsequent Applications of the Concept of the
Lindenbaum Algebra, S. J. Surma 719
Frege s Notion of Bedeutung , /. Angelelli 735
From Leibniz to Frege: Mathematical Logic between 1679 and 1879,
Ch.Thiel 755
14. FUNDAMENTAL PRINCIPLES OF THE ETHICS OF SCIENCE
Rational Allocation of Resources to Scientific Research, P. Suppes ITS
Comments on Patrick Suppes s Rational Allocation of Resources to
Scientific Research , B. Hansson 791
Allocation of the Resources to Scientific Research. A Comment to the
Report by P. Suppes, B. Yudin 797
On Genetic Engineering, the Epistemology of Risk, and the Value
of Life, S. P. Stick 809
Alleged Threats from Genetics, B. D. Davis 835
Programme 843
Index of Names 853
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV000037395 |
| ctrlnum | (OCoLC)643601534 (DE-599)BVBBV000037395 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01602nam a2200337 cc4500</leader><controlfield tag="001">BV000037395</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080925 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444854231</subfield><subfield code="9">0-444-85423-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)643601534</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000037395</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, methodology and philosophy of science</subfield><subfield code="b">proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science</subfield><subfield code="n">6</subfield><subfield code="p">Hannover, 1979</subfield><subfield code="c">ed. by L. Jonathan Cohen ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland [u.a.]</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 856 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">104</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">...</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cohen, Jonathan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Congress of Logic, Methodology and Philosophy of Science</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)12395-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV000037394</subfield><subfield code="g">6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">104</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">104</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000008844&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000008844</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV000037395 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:07:34Z |
| institution | BVB |
| institution_GND | (DE-588)12395-X |
| isbn | 0444854231 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000008844 |
| oclc_num | 643601534 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-703 DE-824 DE-739 DE-29 DE-19 DE-BY-UBM |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-703 DE-824 DE-739 DE-29 DE-19 DE-BY-UBM |
| physical | XIV, 856 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | North-Holland [u.a.] |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 6 Hannover, 1979 ed. by L. Jonathan Cohen ... Amsterdam [u.a.] North-Holland [u.a.] 1982 XIV, 856 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 104 Studies in logic and the foundations of mathematics ... (DE-588)1071861417 Konferenzschrift gnd-content Cohen, Jonathan Sonstige oth International Congress of Logic, Methodology and Philosophy of Science Sonstige (DE-588)12395-X oth (DE-604)BV000037394 6 Studies in logic and the foundations of mathematics 104 (DE-604)BV000893472 104 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000008844&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science Studies in logic and the foundations of mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |
| title_auth | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |
| title_exact_search | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |
| title_full | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 6 Hannover, 1979 ed. by L. Jonathan Cohen ... |
| title_fullStr | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 6 Hannover, 1979 ed. by L. Jonathan Cohen ... |
| title_full_unstemmed | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 6 Hannover, 1979 ed. by L. Jonathan Cohen ... |
| title_short | Logic, methodology and philosophy of science |
| title_sort | logic methodology and philosophy of science proceedings of the international congress of logic methodology and philosophy of science hannover 1979 |
| title_sub | proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000008844&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000037394 (DE-604)BV000893472 |
| work_keys_str_mv | AT cohenjonathan logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience6 AT internationalcongressoflogicmethodologyandphilosophyofscience logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience6 |