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

Note: Front Cover -- Logic, Methodology and Philosophy of Science -- Copyright Page -- Contents -- Preface -- SECTION I MATHEMATICAL LOGIC -- Symposiuam on Decision Problems -- Chapter 1 On a Decision Method in Restricted Second Order Arithmetic -- Chapter 2 The Undecidability of Exponential Diophantine Equations -- Chapter 3 On a Theorem of Cobham Concerning Undecidable Theories -- Symposiuam on the Notion of Recursiveness -- Chapter 4 The Theory of Hierarchies -- Chapter 5 Turing-Machine Computable Functionals of Finite Types I -- Chapter 6 Recursive Equivalence Types and Combinatorial Functions -- Chapter 7 Some Applications of Degrees -- SECTION II FOUNDATIONS OF MATHEMATICAL THEORIES -- Chapter 8 Recent Developments in Model Theory -- Symposium on Foundations of Set Theory -- Chapter 9 Some Applications of the Theory of Models to Set Theory -- Chapter 10 On The Principles of Reflection in Axiomatic Set Theory -- Chapter 11 Two Contributions to The Foundations of Set Theory -- Chapter 12 Quine's Individuals -- Chapter 13 Typical Ambiguity -- Chapter 14 Some Problems and Results Relevant to the Foundations of Set Theory -- Chapter 15 Common Extension in Equational Classes -- Symposium on Metamathematics of Algebra and Geometry -- Chapter 16 Metamathematics and Algebra: an Example -- Chapter 17 Diophantine Equations and Non-Standard Models of Arithmetic -- Chapter 18 On Completeness and Decidability and Some Non-Definable Notions of Elementary Hyperbolic Geometry -- Chapter 19 New Foundations of Absolute Geometry -- SECTION III PHILOSOPHY OF LOGIC AND MATHEMATICS -- Chapter 20 Remarks About Formalization and Models -- Chapter 21 Mathematics and Logic -- Chapter 22 Nominalistic Analysis of Mathematical Language -- Chapter 23 After Thirty Years -- Chapter 24 Foundations of Intuitionistic Logic. , SECTION IV GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE -- Chapter 25 Praxiological Sentences and How They are Proved -- Symposium on Models in the Empiricl Sciences -- Chapter 26 Models in the Empirical Sciences -- Chapter 27 On the Structural Form of Interdependent Systems -- Chapter 28 What Theories are Not -- Chapter 29 Models of Data -- Chapter 30 Determinism and Indeterminism in a New "level" Conception of Matter -- Symposium on Theoretical and Empirical Aspects of Science -- Chapter 31 The Controversy: Deductivism Versus Inductivism -- Chapter 32 The Theoretical and the Empirical Aspects of Science -- Chapter 33 Some Comments on Truth and the Growth of Knowledge -- Chapter 34 Abstraction in Natural Science -- SECTION V FOUNDATIONS OF PROBABILITY AND INDUCTION -- Chapter 35 The Aim of Inductive Logic -- Symposium on Current Views of Subjective Probability -- Chapter 36 Subjective Probability as the Measure of a Non-Measurable Set -- Chapter 37 Remarks on the Epistemology of Subjective Probability -- SECTION VI METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES -- Symposium on the Role of Mathematics in the Formulution of Physical Theories -- Chapter 38 Analyse Mathématique du "Principe de Continuité" en Physique -- Chapter 39 Is the Mathematical Explanation of Physical Data Unique? -- Chapter 40 The Pernicious Influence of Mathematics on Science -- Chapter 41 Curved Empty Space-Time as the Building Material of the Physical World: an Assessment -- SECTION VII METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL AND PSYCHOLOGICAL SCIENCES -- Chapter 42 The Scientific Status of Psychoanalysis -- Symposium on Alternative Approaches to the Theoy of Choice -- Chapter 43 A Stochastic Model for the Act of Choice -- Chapter 44 Response Strengths and Choice Probability: A Consideration of two Combination Rules. , Chapter 45 Theories of Choice and the Stimulus-Response Framework -- Chapter 46 A Descriptive Approach to the Dynamics of Choice Behavior -- Chapter 47 "Brain-Computer" Approach to the Theory of Choice -- SECTION VIII METHODOLOGY AND PHILOSOPHY OF SOCIAL SCIENCES -- Chapter 48 Models for the Analysis of Balance of Power in Society -- Chapter 49 Philosophy of Science and Empirical Social Research -- Symposium on Macro- and Microeconomics -- Chapter 50 Microeconomics and Macroeconomics -- Chapter 51 Résultats et Directions de Recherche Dans la Théorie De l'Agrégation -- Chapter 52 Three Models of Economic Growth -- Chapter 53 Alternative Approaches to the Aggregation Problem -- SECTION IX METHODOLOGY AND PHILOSOPHY OF LINGUISTICS -- Chapter 54 Explanatory Models in Linguistics -- Smposium on Models in Linguistics -- Chapter 55 Some Recent Results in Theoretical Linguistics -- Chapter 56 Models in Linguistics and Models in General -- Chapter 57 Lists in Grammars -- Chapter 58 Criteria for a Model of Language -- SECTION X METHODOLOGY AND PHILOSOPHY OF HISTORICAL SCIENCES -- Chapter 59 Scientific Method and the Work of the Historian -- Chapter 60 The Historian's Problem of Selection -- SECTION XI HISTORY OF LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE -- Chapter 61 Remarks on the Role of Quantity, Quality, and Relations in the History of Logic, Methodology and Philosophy of Science -- Chapter 62 The Main Trends in the Foundations of Geometry in the 19th Century -- Chapter 63 Modality de Dicto and de Re -- Chapter 64 Contraposition in Indian Logic -- Chapter 65. Program of the Proceedings.

Note: Front Cover -- Problem in the Philosopy of Science -- Copyright Page -- CONTENTS -- Preface -- CHAPTER 1. SCEPTICISM, THEOLOGY AND THE SCIENTIFIC REVOLUTION IN THE SEVENTEENTH CENTURY -- Discussion -- Science and theology in the seventeenth century -- The greater danger - science or biblical criticism? -- Reply -- CHAPTER 2. THEORIES OF DEMARCATION BETWEEN SCIENCE AND METAPHYSICS -- Discussion -- Refutation by observation and refutation by theory -- Empiricism, refutability, rationality -- On a demarcation dispute -- Remarks on the problems of demarcation and of rationality -- Reply -- CHAPTER 3. THE MATURATION OF SCIENCE -- Discussion -- Science and philosophy of science -- Non-apparent depth, depth, and pseudo-depth -- Maturity, depth and objectivity in science -- Reply -- CHAPTER 4. SCIENTIFIC METHODOLOGY AND THE CAUSAL THEORY OF PERCEPTION -- Discussion -- Comment on Maxwell's paper -- Is there an epistemological problem of perception? -- Are all our common sense judgements false? -- Secondary qualities and the causal theory of per- ception -- Reply -- CHAPTER 5. A BUDGET OF PARADOXES IN PHYSICS -- Discussion -- Comment on Yourgrau's paper -- On so-called paradoxes in physics -- Reply -- CHAPTER 6. FORMAL LOGIC AND THE DEVELOPMENT OF KNOWLEDGE -- Discussion -- Definability in enlarged universes -- Revolutionary changes, non-translatability, and crucial experiments -- Reply -- CHAPTER 7. EPISTEMOLOGY AND EXPERIMENT: THE CASE OF MICHAEL FARADAY -- Discussion -- Faraday and mathematics -- The various funotions of experiment -- Mathematics, observation, and physical thought -- Reply -- CHAPTER 8. THE GENERAL THEORY OF RELATIVITY - CASE STUDY IN THE UNFOLDING OF NEW PHYSICAL CONCEPTS -- Discussion -- Principle of covariance or principle of impotence? -- Material frames and imperceptible "observables" -- Reply. , CHAPTER 9. THE INFLUENCE OF EPISTEMOLOGICAL ANALYSIS ON SCIENTIFIC RESEARCH: 'LENGTH' AND 'TIME' IN THE SPECIAL THEORY OF RELATIVITY -- Discussion -- On an argument of Professor Juhos -- The nonoperational nature of theoretical concepts -- Reply -- CHAPTER 10. INFORMATION PROCESSING AND CHOICE BEHAVIOR -- Discussion -- Bayesian theory and randomization - resolution of a paradox -- Randomization in sample design -- Reply -- CHAPTER 11. INDIVIDUALISTIC AND FUNCTIONALISTIC EXPLANATIONS IN THE LIGHT OF GAME THEORY: THE EXAMPLE OF SOCIAL STATUS -- Discussion -- A note on individualistic explanations -- Reply -- CHAPTER 12. THE PRESENT STATE OF THEORY IN SOCIOLOGY -- Discussion -- Reward values as explanatory variables in social theories -- Reply -- CHAPTER 13. THE NEW IDEALISM - CAUSE AND MEANING IN THE SOCIAL SCIENCES -- Discussion -- The very idea of a social science -- Anthropomorphism in social science -- Reply -- CHAPTER 14. ANTI-DUALIST OUTLOOK AND SOCIAL ENQUIRY -- Discussion -- Interactionism - could experiments decide? -- Dr. Wisdom on the mind-body problem: a comment -- Reply.

Note: Front Cover -- A Deductive Theory of Space and Time -- Copyright Page -- Contents -- PART ONE: FOUNDATION -- Chapter I. What is a Deductive Theory? -- 1 Deductive Physical Theory -- 2 Deductive Abstract Theory -- 3 Definitions -- 4 Theorems -- 5 Symbolic Logic and Deductive Theories -- Chapter II. Objective Universe -- 1 Introduction -- 2 Observers -- 3 Sensations -- 4 Subjective Entities -- 5 Objectivity -- Chapter III. Particles -- 1 Parts -- 2 Connection and Separation -- 3 Particles -- Chapter IV. Events -- 1 Introduction -- 2 Appearance and Disappearance Events -- 3 Coincidence of Events -- 4 Time Order -- Chapter V. Signals -- 1 Change, Coincidence and Dissociation -- 2 World Lines -- 3 Signal Relation -- 4 First Signals -- PART TWO: SPACE-TIME GEOMETRY -- Chapter VI. Clocks and Time Intervals -- 1 Introduction -- 2 Clocks -- 3 Relative Instability -- 4 Standard Clocks -- 5 Time Metric -- 6 Comparison of Time Intervals -- Chapter VII. Length Measurement and Space Geodesics -- 1 Introduction -- 2 Length Measuring Instruments -- 3 Distance -- 4 Rigidity -- 5 Congruence -- 6 Space Geodesics -- 7 Linear Length Measuring Instruments -- 8 Space Metric -- Chapter VIII. Geodesic Geometry -- 1 Introduction -- 2 Linear Order -- 3 Linear Order and Space Geodesics -- 4 Collinearity -- 5 The Side Relation -- 6 Congruence -- Chapter IX. Space Geometry -- 1 Non-Collinearity -- 2 Coplanarity -- 3 Perpendicularity -- 4 Parallel Displacement -- 5 Dimensions -- 6 Geodesic Space Coordinates -- Chapter X . Space-Time Geometry -- 1 Introduction -- 2 The Fundamental Space-Time Relation -- 3 Neighborhood -- 4 First-Signal Speed -- 5 Metric Coefficients -- 6 Equations of a Space Geodesic -- 7 Free Trajectories -- 8 Inertial Systems -- 9 Concluding Remarks -- APPENDICES / SYMBOLIC LOGIC AND SET THEORY -- Introduction to Appendix -- Appendix A. Foundation. , 1 Concepts -- 2 Interpretations -- 3 Punctuation -- 4 Free and Bound Variables -- 5 Definitions -- 6 Axioms -- 7 Postulates of Classification -- 8 Postulates about True Formulas -- 9 Application of Symbolic Logic -- Appendix B. Logical Theorems -- 1 Rules of Inference -- 2 Propositions -- 3 Quantifiers -- 4 Descriptions -- 5 Identity -- 6 Set or Class Relations -- 7 Relations -- References -- Symbols -- 1 Latin -- 2 German -- 3 Greek -- 4 Miscellaneous -- 5 Logical -- Conventions -- Abbreviations -- Index.