Logic, Methodology and Philosophy of Science VIIIJ.E. Fenstad, I.T. Frolov, R. Hilpinen Logic, Methodology and Philosophy of Science VIII presents the results of recent research into the foundations of science. The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the Humanities. |
Contents
27 | |
47 | |
CHAPTER 1 FOUNDATIONS OF MATHEMATICAL REASONING | 91 |
CHAPTER 2 MODEL THEORY | 141 |
CHAPTER 3 FOUNDATIONS OF COMPUTING AND RECURSION THEORY | 177 |
CHAPTER 4 SET THEORY | 203 |
CHAPTER 5 GENERAL LOGIC | 245 |
CHAPTER 6 GENERAL METHODOLOGY OF SCIENCE | 317 |
CHAPTER 8 FOUNDATIONS OF PHYSICAL SCIENCES | 445 |
CHAPTER 9 FOUNDATIONS OF BIOLOGICAL SCIENCES | 479 |
CHAPTER 10 FOUNDATIONS OF PSYCHOLOGY AND COGNITIVE SCIENCES | 515 |
CHAPTER 11 FOUNDATIONS OF SOCIAL SCIENCES | 529 |
CHAPTER 12 FOUNDATIONS OF LINGUISTICS | 569 |
CHAPTER 13 HISTORY OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE | 607 |
Contributed Papers | 661 |
693 | |
Common terms and phrases
algebra altruism analysis anthropic principle application atomic axioms cladistic classical cognitive complete computational concept construction continuum hypothesis defined definition domain dynamical elements evolution evolutionary example exists fact finite formula Foundations function global modelling goal gravitational lensing Hence human hypothesis idea individual inductive interpretation J.E. Fenstad judgments language Leibniz Lemma Logic Logic Programming Mach Mach's mathematical means mechanics method Methodology and Philosophy modal modal logic module natural negation negation as failure notion object Philosophy of Science physical positive possible pragmatic principle probability problem Prolog proof propositional psychological egoism quantum quantum mechanics question rational reason recursive recursive set relation Science Publishers B.V. Science VIII scientists semantics sense sentences sequence situation social norms spacetime statement statistical strongly minimal structure subset Theorem theory tion translation true truth University Vasiliev