Logic, Methodology and Philosophy of Science III (eBook)

Lev D. Beklemishev (Autor)

eBook Download: PDF

2000 | 1. Auflage
553 Seiten
Elsevier Science (Verlag)
978-0-08-095771-5 (ISBN)

Infos

Provability, Computability and Reflection

---

Logic, Methodology and Philosophy of Science III

Inhalt

Front Cover 1
Logic, Methodology and Philosophy of Science III 6
Copyright Page 7
CONTENTS 8
Preface 12
List of donors 14
Speech at the opening session on August 25 16
Speech at the closing session on September 2 19
In Memoriam A. I. Malcev 20
Section 1. MATHEMATICAL LOGIC 22
Chapter 1. Infinitary properties of models generated from indiscernibles 24
Chapter 2. Two complete algebraic theories of logic 38
Chapter 3. Numbered fields 46
Chapter 4. Models with orderings 50
Chapter 5. Recursion theory as a branch of model theory 78
Chapter 6. Craig's interpolation theorem in some extended systems of logic 102
Chapter 7. Formalization principle 120
Section 2. FOUNDATIONS OF MATHEMATICAL THEORIES 134
Chapter 8. Autonomous transfinite progressions and the extent of predicative mathematics 136
Chapter 9. Constructive functions in "The Foundations of Intuitionistic Mathematics" 152
Chapter 10. Functions, ordinals, species 160
Chapter 11. Formal systems of intuitionistic analysis 176
Chapter 12. On simple type theory with extensionality 194
Chapter 13. Constructive reasoning 200
Chapter 14. The theory of choice sequences 216
Section 3. AUTOMATA AND PROGRAMMING LANGUAGES 240
Chapter 15. Problems in the theory of programming languages 242
Chapter 16. Computable and uncomputable elements of syntax 254
Chapter 17. On the notion of a computer 270
Section 4. PHILOSOPHY OF LOGIC AND MATHEMATICS 284
Chapter 18. Interpretation of quantifiers 286
Chapter 19. An approach to constructive mathematical logic 298
Section 5. GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE 310
Chapter 20. A self-correcting observation language 312
Chapter 21. The varieties of information and scientific explanation 326
Chapter 22. Epistemology without a knowing subject 348
Section 6. METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES 390
Chapter 23. Things, structures and phenomena in quantum physics 392
Chapter 24. What do physical models tell us? 400
Chapter 25. The origin of the universe 412
Section 7. METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL SCIENCES 416
Chapter 26. A unified approach to biological and social organisms 418
Section 8. METHODOLOGY AND PHILOSOPHY OF PSYCHOLOGICAL SCIENCES 428
Chapter 27. Some thoughts on the use of models in psychology 430
Chapter 28. Perception as a function of behaviour 446
Section 9. METHODOLOGY AND PHILOSOPHY OF SOCIAL SCIENCES 452
Chapter 29. On judging the plausibility of theories 454
Section 10. METHODOLOGY AND PHILOSOPHY OF LINGUISTICS 476
Chapter 30. The logic of questions 478
Chapter 31. Existence, location, possession and transitivity 510
Section 11. HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE 520
Chapter 32. Leibniz on possible worlds 522
Chapter 33. Gangesa on the concept of universal property 546
Scientific program of the congress 558
Author index 569

Produkt-Details

• Erscheint lt. Verlag: 1.4.2000
• Sprache: englisch
• Themenwelt: Informatik ► Software Entwicklung ► User Interfaces (HCI)
• Themenwelt: Informatik ► Theorie / Studium ► Algorithmen
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Themenwelt: Naturwissenschaften
• Themenwelt: Technik
• ISBN-10: 0-08-095771-4 / 0080957714
• ISBN-13: 978-0-08-095771-5 / 9780080957715