Logic, methodology and philosophy of science: proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 3 Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland [u.a.]
1968
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
23 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 553 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV009376512 | ||
| 003 | DE-604 | ||
| 005 | 20090305 | ||
| 007 | t | ||
| 008 | 940401s1968 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)634326821 | ||
| 035 | |a (DE-599)BVBBV009376512 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-29T |a DE-384 |a DE-703 |a DE-355 |a DE-19 |a DE-824 |a DE-91 |a DE-188 | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science |b proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science |n 3 |p Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967 |c ed. by B. van Rootselaar ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland [u.a.] |c 1968 | |
| 300 | |a XII, 553 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 23 | |
| 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 Rootselaar, Bob van |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 3 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 23 |w (DE-604)BV000893472 |9 23 | |
| 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=006223279&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006223279 | ||
Datensatz im Suchindex
| _version_ | 1804123786272833536 |
|---|---|
| adam_text | CONTENTS
Preface xi
List of donors xm
Speech at the opening session on August 25, A. Heyting .... 1
Speech at the closing session on September 2, A. Heyting .... 4
In Memoriam A. I. Malcev, Yu. L. Ershov 5
1. MATHEMATICAL LOGIC
Infinitary properties of models generated from indiscernibles,
C. C. Chang 9
Two complete algebraic theories of logic, W. Craig 23
Numbered fields, Yu. L. Ershov 31
Models with orderings, H. J. Keisler 35
Recursion theory as a branch of model theory, R. Montague ... 63
Craig s interpolation theorem in some extended systems of logic,
A. Mostowski 87
Formalization principle, G. Takeuti 105
2. FOUNDATIONS OF MATHEMATICAL THEORIES
Autonomous transfinite progressions and the extent of predicative
mathematics, S. Feferman 121
Constructive functions in The Foundations of Intuitionistic
Mathematics , S. C. Kleene 137
Functions, ordinals, species, G. Kreisel 145
Formal systems of intuitionistic analysis I, J. My hi II 161
On simple type theory with extensionality, K. Schutte 179
Constructive reasoning, W. W.Tait 185
The theory of choice sequences, A. S. Troelstra 201
3. AUTOMATA AND PROGRAMMING LANGUAGES
Problems in the theory of programming languages, J. W. De Bakker 227
VIII CONTENTS
Computable and uncomputable elements of syntax, H. Hiz . . . 239
On the notion of a computer, Z. Pawlak 255
4. PHILOSOPHY OF LOGIC AND MATHEMATICS
Interpretation of quantifiers, D. Follesdal 271
An approach to constructive mathematical logic, A. A. Markov . . 283
5. GENERAL PROBLEMS OF METHODOLOGY AND
PHILOSOPHY OF SCIENCE
A self correcting observation language, Mary B. Hesse 297
The varieties of information and scientific explanation, J. Hintikka . 311
Epistemology without a knowing subject, K. R. Popper 333
6. METHODOLOGY AND PHILOSOPHY OF
PHYSICAL SCIENCES
Things, structures and phenomena in quantum physics, B. D Espagnat 377
What do physical models tell us? E. McMullin 385
The origin of the universe, D. W. Sciama 397
7. METHODOLOGY AND PHILOSOPHY OF
BIOLOGICAL SCIENCES
A unified approach to biological and social organisms, N. Rashevsky 403
8. METHODOLOGY AND PHILOSOPHY OF
PSYCHOLOGICAL SCIENCES
Some thoughts on the use of models in psychology, B. A. Farrell . 415
Perception as a function of behaviour, J. G. Taylor 431
9. METHODOLOGY AND PHILOSOPHY OF SOCIAL SCIENCES
On judging the plausibility of theories, H. A. Simon 439
10. METHODOLOGY AND PHILOSOPHY OF LINGUISTICS
The logic of questions, /. J. Katz 463
Existence, location, possession and transitivity, /. Lyons .... 495
CONTENTS IX
11. HISTORY OF LOGIC, METHODOLOGY AND
PHILOSOPHY OF SCIENCE
Leibniz on possible worlds, B. Mates 507
Garigesa on the concept of universal property (Kevalanvayin),
B. K. Matilal 531
Scientific program of the congress 543
Author index 554
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009376512 |
| ctrlnum | (OCoLC)634326821 (DE-599)BVBBV009376512 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01717nam a2200337 cc4500</leader><controlfield tag="001">BV009376512</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090305 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940401s1968 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634326821</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009376512</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-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</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">3</subfield><subfield code="p">Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967</subfield><subfield code="c">ed. by B. van Rootselaar ...</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">1968</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 553 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">23</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">Rootselaar, Bob van</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">3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">23</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">23</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=006223279&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-006223279</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009376512 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:35:18Z |
| institution | BVB |
| institution_GND | (DE-588)12395-X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006223279 |
| oclc_num | 634326821 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-384 DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-824 DE-91 DE-BY-TUM DE-188 |
| owner_facet | DE-29 DE-29T DE-384 DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-824 DE-91 DE-BY-TUM DE-188 |
| physical | XII, 553 S. graph. Darst. |
| publishDate | 1968 |
| publishDateSearch | 1968 |
| publishDateSort | 1968 |
| 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 3 Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967 ed. by B. van Rootselaar ... Amsterdam [u.a.] North-Holland [u.a.] 1968 XII, 553 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 23 Studies in logic and the foundations of mathematics ... (DE-588)1071861417 Konferenzschrift gnd-content Rootselaar, Bob van Sonstige oth International Congress of Logic, Methodology and Philosophy of Science Sonstige (DE-588)12395-X oth (DE-604)BV000037394 3 Studies in logic and the foundations of mathematics 23 (DE-604)BV000893472 23 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006223279&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 3 Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967 ed. by B. van Rootselaar ... |
| title_fullStr | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 3 Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967 ed. by B. van Rootselaar ... |
| title_full_unstemmed | Logic, methodology and philosophy of science proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science 3 Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967 ed. by B. van Rootselaar ... |
| 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 third international congress for logic methodology and philosophy of science amsterdam 1967 |
| 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=006223279&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 rootselaarbobvan logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience3 AT internationalcongressoflogicmethodologyandphilosophyofscience logicmethodologyandphilosophyofscienceproceedingsoftheinternationalcongressoflogicmethodologyandphilosophyofscience3 |