Logic, methodology and philosophy of science: proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 7 Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland [u.a.]
1986
|
| Series: | Studies in logic and the foundations of mathematics
114 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 738 S. |
| ISBN: | 0444876561 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV000037397 | ||
| 003 | DE-604 | ||
| 005 | 20080925 | ||
| 007 | t | ||
| 008 | 870612s1986 |||| 10||| eng d | ||
| 020 | |a 0444876561 |9 0-444-87656-1 | ||
| 035 | |a (OCoLC)157015211 | ||
| 035 | |a (DE-599)BVBBV000037397 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 |a DE-384 |a DE-824 |a DE-29 |a DE-19 |a DE-703 | ||
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science |b proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |n 7 |p Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 |c ed. by Ruth Barcan Marcus ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland [u.a.] |c 1986 | |
| 300 | |a XIII, 738 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 114 | |
| 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 Marcus, Ruth Barcan |d 1921-2012 |e Sonstige |0 (DE-588)11928443X |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 7 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 114 |w (DE-604)BV000893472 |9 114 | |
| 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=000008845&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000008845 | ||
Record in the Search Index
| _version_ | 1804114491702509568 |
|---|---|
| adam_text | CONTENTS
Preface v
Appendix to the Preface vii
0. INAUGURAL ADDRESS
On Scientific Information, Explanation and Progress, S. Komer 1
1. PROOF THEORY AND FOUNDATIONS OF MATHEMATICS
The Type Theoretic Interpretation of Constructive Set Theory:
Inductive Definitions, P. Aczel 17
Proving Programs and Programming Proofs, M.J. Beeson 51
The Use of Ordinals in the Constructive Foundations of Mathema¬
tics, W.A. Howard 83
Applications of Proof Theoretic Transformation (Abstract),
G.E. Mine 95
2. MODEL THEORY AND ITS APPLICATIONS
Aspects of No Categoricity, G.L. Cherlin 99
Structural Properties of Models of X, Categorical Theories,
B.I. Zil ber 115
3. RECURSION THEORY AND THEORY OF COMPUTATION
An Introduction to the Admissibility Spectrum, S.D. Friedman .... 129
Are Recursion Theoretic Arguments Useful in Complexity Theory,
W. Maass 141
4. AXIOMATIC SET THEORY
Reals and Positive Partition Relations, S. Todorcevic 159
Aspects of Determinacy, W.H. Woodin 171
xi
xii CONTENTS
5. PHILOSOPHICAL LOGIC
The Situation in Logic — I, J. Barwise 183
A Linguistic Turn: New Directions in Logic, J. van Benthem 205
The Relevance of Quantum Logic in the Domain of Non Classical
Logics, M.L. Dalla Chiara 241
6. GENERAL METHODOLOGY OF SCIENCE
Theories, Approximations, and Idealizations, I. Niiniluoto 255
The Structure of Empirical Science: Local and Global, W. Balzer,
C. U. Moulines, J.D. Sneed 291
Aim and Structure of Scientific Theories, B.C. van Fraassen 307
7. FOUNDATIONS OF PROBABILITY AND INDUCTION
Towards a Unified Concept of Probability, H. Gaifman 319
A Probabilistic Approach to Moral Responsibility, F. Jackson 351
Probability Exists (but just barely)!, I. Levi 367
8. FOUNDATIONS AND PHILOSOPHY
OF THE PHYSICAL SCIENCES
On Limit Relations between, and Approximative Explanations of,
Physical Theories, J. Ehlers 387
Gravity and Spatial Geometry, D.B. Malament 405
Conceptual Reform in Scientific Revolutions, R. Torretti 413
9. FOUNDATIONS AND PHILOSOPHY OF BIOLOGY
Philosophy of Biology 1983: Problems and Prospects, M. Grene 433
Biology and Values: A Fresh Look, M. Ruse 453
Biological Cognition: Its Unity and Diversity, B.G. Yudin 467
10. FOUNDATIONS AND PHILOSOPHY OF PSYCHOLOGY
The Explication of Psychological Common Sense: Implications for
the Science of Psychology, /. Smedslund 481
Research Strategy in Psychophysiology, E.N. Sokolov 495
The Framing of Decisions and the Evaluation of Prospects,
A. Tversky, D. Kahneman 503
CONTENTS xiii
11. FOUNDATIONS AND PHILOSOPHY
OF THE SOCIAL SCIENCES
The Social Construction of Mind, R. Harre 521
The Concept of Role and Human Behaviour, L. Hertzberg 537
Issues in the Ontology of Culture, D. Sperber 557
12. FOUNDATIONS AND PHILOSOPHY OF LINGUISTICS
Natural Language Metaphysics, E. Bach 573
Semantics and the Computational Metaphor, L.J. Cohen 597
13. HISTORY OF LOGIC, METHODOLOGY
AND PHILOSOPHY OF SCIENCE
Metaphysical and Internal Realism: The Relations between
Ontology and Methodology in Kant s Philosophy of Science,
G. Buchdahl 623
Conceptual Evolution and the Eye of the Octopus, D.L. Hull 643
Historical Sources of Popper s Logic of Science, V.N. Sadovsky 667
14. FUNDAMENTAL PRINCIPLES OF THE ETHICS OF SCIENCE
The Ethics of Clinical Experimentation on Human Children,
R.M. Hare 681
Experimentation on Children: Widening the Context, K.E. Tran/y 691
Scientific and Ethical Rationality, J. Ladriere 699
Ethical Aspects of Non Ethical Theories, M. Prze/ecki 711
Contributed Papers 727
|
| any_adam_object | 1 |
| author_GND | (DE-588)11928443X |
| building | Verbundindex |
| bvnumber | BV000037397 |
| ctrlnum | (OCoLC)157015211 (DE-599)BVBBV000037397 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01737nam a2200337 cc4500</leader><controlfield tag="001">BV000037397</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080925 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1986 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444876561</subfield><subfield code="9">0-444-87656-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)157015211</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000037397</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-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</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">7</subfield><subfield code="p">Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983</subfield><subfield code="c">ed. by Ruth Barcan Marcus ...</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">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 738 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">114</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">Marcus, Ruth Barcan</subfield><subfield code="d">1921-2012</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11928443X</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">7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">114</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">114</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=000008845&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-000008845</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV000037397 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:07:34Z |
| institution | BVB |
| institution_GND | (DE-588)12395-X |
| isbn | 0444876561 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000008845 |
| oclc_num | 157015211 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG DE-384 DE-824 DE-29 DE-19 DE-BY-UBM DE-703 |
| owner_facet | DE-12 DE-473 DE-BY-UBG DE-384 DE-824 DE-29 DE-19 DE-BY-UBM DE-703 |
| physical | XIII, 738 S. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| 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 7 Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 ed. by Ruth Barcan Marcus ... Amsterdam [u.a.] North-Holland [u.a.] 1986 XIII, 738 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 114 Studies in logic and the foundations of mathematics ... (DE-588)1071861417 Konferenzschrift gnd-content Marcus, Ruth Barcan 1921-2012 Sonstige (DE-588)11928443X oth International Congress of Logic, Methodology and Philosophy of Science Sonstige (DE-588)12395-X oth (DE-604)BV000037394 7 Studies in logic and the foundations of mathematics 114 (DE-604)BV000893472 114 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000008845&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 7 Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 ed. by Ruth Barcan Marcus ... |
| title_fullStr | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 7 Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 ed. by Ruth Barcan Marcus ... |
| title_full_unstemmed | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 7 Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 ed. by Ruth Barcan Marcus ... |
| 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 proceedings of the seventh international congress of logic methodology and philosophy of science salzburg 1983 |
| 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=000008845&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 marcusruthbarcan logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience7 AT internationalcongressoflogicmethodologyandphilosophyofscience logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience7 |