Logic, methodology and philosophy of science VIII: proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North Holland
1989
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
126 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 702 S. graph. Darst. |
| ISBN: | 0444705201 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024369468 | ||
| 003 | DE-604 | ||
| 005 | 20230817 | ||
| 007 | t | ||
| 008 | 910711s1989 d||| |||| 10||| eng d | ||
| 020 | |a 0444705201 |9 0-444-70520-1 | ||
| 035 | |a (OCoLC)635878127 | ||
| 035 | |a (DE-599)BVBBV024369468 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 |a DE-706 |a DE-11 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SD 1987 |0 (DE-625)142721: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 111 | 2 | |a International Congress of Logic, Methodology and Philosophy of Science |n 8 |d 1987 |c Moskau |j Verfasser |0 (DE-588)1215601-2 |4 aut | |
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science VIII |b proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 |c ed. by Jens Erik Fenstad ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North Holland |c 1989 | |
| 300 | |a XVII, 702 S. |b graph. Darst. | ||
| 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 126 | |
| 650 | 0 | 7 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftslehre |0 (DE-588)4121935-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |D s |
| 689 | 0 | 2 | |a Wissenschaftslehre |0 (DE-588)4121935-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Fenstad, Jens Erik |d 1935-2020 |0 (DE-588)1077937954 |4 edt | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 126 |w (DE-604)BV000893472 |9 126 | |
| 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=018350131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018350131 | ||
Datensatz im Suchindex
| _version_ | 1804140324790992896 |
|---|---|
| adam_text | CONTENTS
Preface v
Appendix to the Preface vii
Presidential Address, D.S. Scott xv
INAUGURAL ADDRESS
Philosophy, Science and Man, P.N. Fedoseyev 3
INTERSECTIONAL SYMPOSIUM: NEW PATTERNS OF
EXPLANATION IN SCIENCE
The Rediscovery of Time, /. Prigogine 29
INTERSECTIONAL SYMPOSIUM: SCIENCE AND ETHICS
Ethics and Science, E. Agazzi 49
Is There Anything We Should not Want to Know?, P. Gdrdenfors 63
The Ethics of Science as a Form of the Cognition of Science, B.G.
Yudin 79
1. FOUNDATIONS OF MATHEMATICAL REASONING
Non-monotonic Reasoning by Axiomatic Extensions, G. Jdger. ... 93
Inexact and Inductive Reasoning, J. Paris and A. Vencovskd Ill
Problems of Admissibility and Substitution, Logical Equations and
Restricted Theories of Free Algebras, V.V. Rybakov 121
xi
xii CONTENTS
2. MODEL THEORY
On the Existence of End Extensions of Models of Bounded Induc¬
tion, A. Wilkie and J. Paris 143
Towards the Structural Stability Theory, B.I. Zilber 163
3. FOUNDATIONS OF COMPUTING AND
RECURSION THEORY
Automorphisms of the Lattice of Recursively Enumerable Sets and
Hyperhypersimple Sets, E. Herrmann 179
Degrees of Functions with No Fixed Points, C.G. Jockusch, Jr. . . 191
4. SET THEORY
Free Sets for Commutative Families of Functions, U. Abraham. . . 205
Polarized Partition Relations and Almost-Disjoint Functions, J.E.
Baumgartner 213
A Dilworth Decomposition Theorem for A-Suslin Quasi-Orderings
of U, M. Foreman 223
5. GENERAL LOGIC
Logic and Pragmatic Truth, N.C.A. da Costa 247
The Justification of Negation as Failure, K. Fine 263
First-Order Spacetime Geometry, R. Goldblatt 303
6. GENERAL METHODOLOGY OF SCIENCE
Strong and Weak Methods, V. Filkorn 319
Impact of Global Modelling on Modern Methodology of Science,
J.M. Gvishiani 333
Conceptual Change and the Progress of Science, D. Pearce 351
Scientific Method and the Objectivity of Epistemic Value Judg¬
ments, K. Shrader-Frechette 373
CONTENTS xiii
7. FOUNDATIONS OF PROBABILITY AND
STATISTICAL INFERENCE
The Interface Between Statistics and the Philosophy of Science, I.J.
Good 393
Astronomical Improbability, /./. Hacking 413
Probability in Dynamical Systems, J. von Plato 427
8. FOUNDATIONS OF PHYSICAL SCIENCES
An Axiomatic Basis as a Desired Form of a Physical Theory, G.
Ludwig 447
On Learning from the Mistakes of Positivists, G. Nerlich 459
9. FOUNDATIONS OF BIOLOGICAL SCIENCES
Evolution — Matter of Fact or Metaphysical Idea?, R. Lother .... 481
Evolutionary Altruism and Psychological Egoism, E. Sober 495
10. FOUNDATIONS OF PSYCHOLOGY AND
COGNITIVE SCIENCES
Vision and Mind, V.D. Glezer 517
11. FOUNDATIONS OF SOCIAL SCIENCES
Rationality and Social Norms, J. Elster 531
On the Nature of a Social Order, /. Porn 553
12. FOUNDATIONS OF LINGUISTICS
Informational Independence as a Semantical Phenomenon, /. Hin-
tikka and G. Sandu 571
How Natural is Natural Language?, J.Koster 591
xiv CONTENTS
13. HISTORY OF LOGIC, METHODOLOGY AND
PHILOSOPHY OF SCIENCE
Leibniz and the Philosophical Analysis of Science, F. Duchesneau 609
The Logical Ideas of N.A. Vasiliev and Modern Logic, V.A.
Smirnov 625
Phenomenalism, Relativity and Atoms: Rehabilitating Ernst Mach s
Philosophy of Science, G. Wolters 641
Contributed Papers 661
Index of Names 693
|
| any_adam_object | 1 |
| author2 | Fenstad, Jens Erik 1935-2020 |
| author2_role | edt |
| author2_variant | j e f je jef |
| author_GND | (DE-588)1077937954 |
| author_corporate | International Congress of Logic, Methodology and Philosophy of Science Moskau |
| author_corporate_role | aut |
| author_facet | Fenstad, Jens Erik 1935-2020 International Congress of Logic, Methodology and Philosophy of Science Moskau |
| author_sort | International Congress of Logic, Methodology and Philosophy of Science Moskau |
| building | Verbundindex |
| bvnumber | BV024369468 |
| classification_rvk | CC 2600 SD 1987 SK 130 CC 2400 |
| ctrlnum | (OCoLC)635878127 (DE-599)BVBBV024369468 |
| discipline | Mathematik Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02075nam a2200445 cb4500</leader><controlfield tag="001">BV024369468</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230817 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910711s1989 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444705201</subfield><subfield code="9">0-444-70520-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635878127</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024369468</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1987</subfield><subfield code="0">(DE-625)142721:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Congress of Logic, Methodology and Philosophy of Science</subfield><subfield code="n">8</subfield><subfield code="d">1987</subfield><subfield code="c">Moskau</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1215601-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, methodology and philosophy of science VIII</subfield><subfield code="b">proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987</subfield><subfield code="c">ed. by Jens Erik Fenstad ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North Holland</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 702 S.</subfield><subfield code="b">graph. Darst.</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">126</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftslehre</subfield><subfield code="0">(DE-588)4121935-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Wissenschaftslehre</subfield><subfield code="0">(DE-588)4121935-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fenstad, Jens Erik</subfield><subfield code="d">1935-2020</subfield><subfield code="0">(DE-588)1077937954</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">126</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">126</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=018350131&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-018350131</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV024369468 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:58:10Z |
| institution | BVB |
| institution_GND | (DE-588)1215601-2 |
| isbn | 0444705201 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018350131 |
| oclc_num | 635878127 |
| open_access_boolean | |
| owner | DE-188 DE-706 DE-11 |
| owner_facet | DE-188 DE-706 DE-11 |
| physical | XVII, 702 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | North Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | International Congress of Logic, Methodology and Philosophy of Science 8 1987 Moskau Verfasser (DE-588)1215601-2 aut Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 ed. by Jens Erik Fenstad ... Amsterdam [u.a.] North Holland 1989 XVII, 702 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 126 Wissenschaftstheorie (DE-588)4117665-0 gnd rswk-swf Wissenschaftslehre (DE-588)4121935-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logik (DE-588)4036202-4 s Wissenschaftstheorie (DE-588)4117665-0 s Wissenschaftslehre (DE-588)4121935-1 s DE-604 Fenstad, Jens Erik 1935-2020 (DE-588)1077937954 edt Studies in logic and the foundations of mathematics 126 (DE-604)BV000893472 126 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018350131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 Studies in logic and the foundations of mathematics Wissenschaftstheorie (DE-588)4117665-0 gnd Wissenschaftslehre (DE-588)4121935-1 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4117665-0 (DE-588)4121935-1 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 |
| title_auth | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 |
| title_exact_search | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 |
| title_full | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 ed. by Jens Erik Fenstad ... |
| title_fullStr | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 ed. by Jens Erik Fenstad ... |
| title_full_unstemmed | Logic, methodology and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 ed. by Jens Erik Fenstad ... |
| title_short | Logic, methodology and philosophy of science VIII |
| title_sort | logic methodology and philosophy of science viii proceedings of the eighth international congress of logic methodology and philosophy of science moscow 1987 |
| title_sub | proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 |
| topic | Wissenschaftstheorie (DE-588)4117665-0 gnd Wissenschaftslehre (DE-588)4121935-1 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Wissenschaftstheorie Wissenschaftslehre Logik Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018350131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT internationalcongressoflogicmethodologyandphilosophyofsciencemoskau logicmethodologyandphilosophyofscienceviiiproceedingsoftheeighthinternationalcongressoflogicmethodologyandphilosophyofsciencemoscow1987 AT fenstadjenserik logicmethodologyandphilosophyofscienceviiiproceedingsoftheeighthinternationalcongressoflogicmethodologyandphilosophyofsciencemoscow1987 |