Logic, methodology and philosophy of science IX: proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
1994
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
134 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 989 S. |
| ISBN: | 0444893415 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV025068771 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 100417s1994 |||| 10||| eng d | ||
| 020 | |a 0444893415 |9 0-444-89341-5 | ||
| 035 | |a (OCoLC)832229291 | ||
| 035 | |a (DE-599)BVBBV025068771 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 501 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science IX |b proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 |c ed. by Dag Prawitz ... |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 1994 | |
| 300 | |a XIV, 989 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 134 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Prawitz, Dag |d 1936- |0 (DE-588)122972317 |4 edt | |
| 711 | 2 | |a International Congress of Logic, Methodology and Philosophy of Science |n 9 |d 1991 |c Uppsala |j Sonstige |0 (DE-588)3018369-8 |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 134 |w (DE-604)BV000893472 |9 134 | |
| 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=019724656&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-019724656 | ||
Datensatz im Suchindex
| _version_ | 1804142106434863104 |
|---|---|
| adam_text | xi
CONTENTS
Preface v
Appendix to the Preface vii
Table of Contents xi
President s Address, L. J. Cohen 1
INAUGURAL ADDRESS
Logic and Philosophy in the 20th Century, G. H. von Wright 9
1. PROOF THEORY AND CATEGORIAL LOGIC
The Witness Function Method and Provably Recursive Functions of
Peano Arithmetic, S. R. Buss 29
Some Aspects of Categorical Logic, J. Lambek 69
Gentzen-Type Systems and Hilbert s Epsilon Substitution Method, G-
E. Mints 91
Admissible Proof Theory and Beyond, M. Rathjen 123
2. MODEL THEORY, SET THEORY AND
FORMAL SYSTEMS
On the Reducibility Order between Borel Equivalence Relations, A.
Louveau 151
The Core Model up to a Woodin Cardinal, W. Mitchell 157
3. RECURSION THEORY AND CONSTRUCTIVISM
Lattice Embeddings into the R. E. Degrees Preserving 1, K. Ambos-
Spies, S. Lempp and M. Lerman 179
xii
Contributions to the History of Variations of Weak Density in the n-
R. E. Degrees, M. Arslanov 199
Rigidity and Definability in the Noncomputable Universe, S. B.
Cooper, 209
4. LOGIC AND COMPUTER SCIENCE
The Impact of Model Theory on Theoretical Computer Science, J. A.
Makowsky 239
A Decidable Quantified Defeasible Logic, D. Nute 263
5. PHILOSOPHICAL LOGIC
Non-Classical Logic and Ontological Non-Commitment, Avoiding
Abstract Objects through Modal Operators, J. P. Burgess 287
Russellian Propositions, J. Pelham and A. Urquhart 307
Accepting Failure in Dynamic Logic, K. Segerberg 327
6. METHODOLOGY
Reliable Methods, K. T. Kelly 353
Taking Naturalism Seriously, P. Maddy 383
Recent Perspectives on Simplicity and Generalization, P. M. Williams 409
7. PROBABILITY, INDUCTION AND DECISION THEORY
Three Levels of Inductive Inference, P. Gdrdenfors 427
When Normal and Extensive Form Decisions Differ, T. Seidenfeld .. 451
8. HISTORY OF LOGIC, METHODOLOGY AND
PHILOSOPHY OF SCIENCE
Andrei Markov and Mathematical Constructivism, N. M. Nagorny .. 467
Contributions to the History of the Classical Truth-Definition, J.
Wolenski 481
xiii
9. ETHICS OF SCIENCE AND TECHNOLOGY
Notes on the Value of Science, L. Bergstrom 499
Morality and Human Evolution, A. Gibbard 523
Conceptual Issues in Ethics of Science and Technology, R. Qiu 537
10. FOUNDATIONS OF LOGIC, MATHEMATICS AND
COMPUTER SCIENCE
A New Paradox in Type Theory, T. Coquand 555
Taking Formalism Seriously, E. Nelson 571
What is the Philosophical Basis of Intuitionistic Mathematics?, R.
Tieszen 579
11. FOUNDATIONS OF PHYSICAL SCIENCES
Asymptotics, Singularities and the Reduction of Theories, M. Berry 597
Realism and Quantum Mechanics, H. Primas 609
Some Reflections on the Structure of our Knowledge in Physics, H.
Stein 633
12. FOUNDATIONS OF BIOLOGICAL SCIENCES
The Limits of Biology, G. Vollmer 659
13. FOUNDATIONS OF COGNITIVE SCIENCE AND AI
(including Computational Perspectives in Psychology)
Cognitive Science as Reverse Engineering. Several Meanings of Top-
Down and Bottom-Up , D. C. Dennett 679
14. FOUNDATIONS OF LINGUISTICS
Logic and the Flow of Information, J. van Benthem 693
The Ontology of Phonology, S. Bromberger and M. Halle 725
Relational Nouns, M. J. Cresswell 745
xiv
15. FOUNDATIONS OF SOCIAL SCIENCES
(including Non-Computational Psychology)
Reducing Self-interest and Improving the Relevance of Economic
Research, C. W. J. Granger 763
A Theory of Inferred Causation, J. Pearl and T. S. Verma 789
Building Causal Graphs from Statistical Data in the Presence of Latent
Variables, P. Spirtes 813
INTERACTIONAL SYMPOSIUM: PREDICTION
Coherent Inference and Prediction in Statistics, W. D. Sudderth .... 833
INTERSECTIONAL SYMPOSIUM: CARNAP AND
REICHENBACH CENTENNIAL SYMPOSIUM
Carnap s Voluntarism, R. Jeffrey 847
The Limits of Vindication, H. Putnam 867
INTERSECTIONAL SYMPOSIUM:
STIG KANGER MEMORIAL SYMPOSIUM
ON THE LOGIC OF RIGHTS AND CHOICES
Stig Kanger in Memoriam, D. F0llesdal 885
Stig Ranger s Theory of Rights, L. Lindahl 889
Non-Binary Choice and Preference: A Tribute to Stig Kanger, A. Sen 913
INTERSECTIONAL SYMPOSIUM: GAME THEORY
DeBayesing Game Theory, K. Binmore 927
Normative Validity and Meaning of von Neumann-Morgenstern Util¬
ities, J. C. Harsanyi 947
Contributed Papers 961
Name Index 977
|
| any_adam_object | 1 |
| author2 | Prawitz, Dag 1936- |
| author2_role | edt |
| author2_variant | d p dp |
| author_GND | (DE-588)122972317 |
| author_facet | Prawitz, Dag 1936- |
| building | Verbundindex |
| bvnumber | BV025068771 |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)832229291 (DE-599)BVBBV025068771 |
| dewey-full | 501 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 501 - Philosophy and theory |
| dewey-raw | 501 |
| dewey-search | 501 |
| dewey-sort | 3501 |
| dewey-tens | 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01545nam a2200337 cb4500</leader><controlfield tag="001">BV025068771</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s1994 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444893415</subfield><subfield code="9">0-444-89341-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832229291</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025068771</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-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">501</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="245" ind1="1" ind2="0"><subfield code="a">Logic, methodology and philosophy of science IX</subfield><subfield code="b">proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991</subfield><subfield code="c">ed. by Dag Prawitz ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 989 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">134</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">Prawitz, Dag</subfield><subfield code="d">1936-</subfield><subfield code="0">(DE-588)122972317</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Congress of Logic, Methodology and Philosophy of Science</subfield><subfield code="n">9</subfield><subfield code="d">1991</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)3018369-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">134</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">134</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=019724656&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-019724656</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV025068771 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:26:30Z |
| institution | BVB |
| institution_GND | (DE-588)3018369-8 |
| isbn | 0444893415 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019724656 |
| oclc_num | 832229291 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XIV, 989 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Elsevier |
| 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 IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 ed. by Dag Prawitz ... Amsterdam [u.a.] Elsevier 1994 XIV, 989 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 134 (DE-588)1071861417 Konferenzschrift gnd-content Prawitz, Dag 1936- (DE-588)122972317 edt International Congress of Logic, Methodology and Philosophy of Science 9 1991 Uppsala Sonstige (DE-588)3018369-8 oth Studies in logic and the foundations of mathematics 134 (DE-604)BV000893472 134 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019724656&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 Studies in logic and the foundations of mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 |
| title_auth | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 |
| title_exact_search | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 |
| title_full | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 ed. by Dag Prawitz ... |
| title_fullStr | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 ed. by Dag Prawitz ... |
| title_full_unstemmed | Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 ed. by Dag Prawitz ... |
| title_short | Logic, methodology and philosophy of science IX |
| title_sort | logic methodology and philosophy of science ix proceedings of the ninth international congress of logic methodology and philosophy of science uppsala sweden august 7 14 1991 |
| title_sub | proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019724656&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT prawitzdag logicmethodologyandphilosophyofscienceixproceedingsoftheninthinternationalcongressoflogicmethodologyandphilosophyofscienceuppsalaswedenaugust7141991 AT internationalcongressoflogicmethodologyandphilosophyofscienceuppsala logicmethodologyandphilosophyofscienceixproceedingsoftheninthinternationalcongressoflogicmethodologyandphilosophyofscienceuppsalaswedenaugust7141991 |