Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991

Description

These proceedings cover a wide range of different issues in the field of logic, methodology and philosophy of science Content: Preface Pages v-vi Dag Prawitz, Brian Skyrms, Dag Westerståhl Appendix to the preface Pages vii-iix Contents Pages xi-xiv President's address Pages 1-5 L. Jonathan Cohen Logic and philosophy in the twentieth century Pages 9-25 Georg Henrik von Wright The witness function method and provably recursive functions of peano arithmetic Original Research Article Pages 29-68 Samuel R. Buss Some aspects of categorical logic Original Research Article Pages 69-89 J. Lambek Gentzen-type systems and Hilbert's epsilon substitution method. I Original Research Article Pages 91-122 G.E. Mints Admissible proof theory and beyond Original Research Article Pages 123-147 Michael Rathjen On the reducibility order between borel equivalence relations Original Research Article Pages 151-155 Alain Louveau The core model up to a woodin cardinal Original Research Article Pages 157-175 William Mitchell Lattice embeddings into the R.E. Degrees preserving 1 Original Research Article Pages 179-198 Klaus Ambos-Spies, Steffen Lempp, Manuel Lerman Contributions to the history of variations of weak density in the n-R.E. Degrees Original Research Article Pages 199-208 Marat M. Arslanov Rigidity and definability in the noncomputable universe Original Research Article Pages 209-235 S. Barry Cooper The impact of model theory on theoretical computer science Original Research Article Pages 239-262 J.A. Makowsky A decidable quantified defeasible logic Original Research Article Pages 263-284 Donald Nute Non-classical logic and ontological non-commitment, avoiding abstract objects through modal operators Original Research Article Pages 287-305 John P. Burgess Russellian propositions Original Research Article Pages 307-326 Judy Pelham, Alasdair Urquhart Accepting failure in dynamic logic Original Research Article Pages 327-349 Krister Segerberg Reliable methods Original Research Article Pages 353-381 Kevin T. Kelly Taking naturalism seriously Original Research Article Pages 383-407 Penelope Maddy Recent perspectives on simplicity and generalization Original Research Article Pages 409-424 Peter M. Williams Three levels of inductive inference Original Research Article Pages 427-449 Peter Gärdenfors When normal and extensive form decisions differ Original Research Article Pages 451-463 Teddy Seidenfeld Andrei markov and mathematical constructivism Original Research Article Pages 467-479 N.M. Nagorny Contributions to the history of the classical truth-definition Original Research Article Pages 481-495 Jan Woleński Notes on the value of science Original Research Article Pages 499-522 Lars Bergström Morality and human evolution Original Research Article Pages 523-536 Allan Gibbard Conceptual issues in ethics of science and technology Original Research Article Pages 537-551 Qiu Renzong A new paradox in type theory Original Research Article Pages 555-570 Thierry Coquand Taking formalism seriously Original Research Article Pages 571-577 Edward Nelson What is the philosophical basis of intuitionistic mathematics? Original Research Article Pages 579-594 Richard Tieszen Asymptotics, singularities and the reduction of theories Original Research Article Pages 597-607 Michael Berry Realism and quantum mechanics Original Research Article Pages 609-631 Hans Primas Some reflections on the structure of our knowledge in physics Original Research Article Pages 633-655 Howard Stein The limits of biology Original Research Article Pages 659-676 Gerhard Vollmer Cognitive science as reverse engineering several meanings of “Top-down” and “Bottom-up” Original Research Article Pages 679-689 Daniel C. Dennett Logic and the flow of information Original Research Article Pages 693-724 Johan van Benthem The ontology of phonology Original Research Article Pages 725-743 Sylvain Bromberger, Morris Halle Relational nouns Original Research Article Pages 745-759 M.J. Cresswell Reducing self-interest and improving the relevance of economic research Original Research Article Pages 763-788 Clive W.J. Granger A theory of inferred causation Original Research Article Pages 789-811 Judea Pearl, Thomas S. Verma Building causal graphs from statistical data in the presence of latent variables Original Research Article Pages 813-829 Peter Spirtes Coherent inference and prediction in statistics Original Research Article Pages 833-844 William D. Sudderth Carnap's voluntarism Original Research Article Pages 847-866 Richard Jeffrey The limits of vindication Original Research Article Pages 867-882 Hilary Putnam Stig kanger in memoriam Original Research Article Pages 885-888 Dagfinn Føllesdal Stig kanger's theory of rights Original Research Article Pages 889-911 Lars Lindahl Non-binary choice and preference: A tribute to stig kanger Original Research Article Pages 913-924 Amartya Sen DeBayesing game theory Original Research Article Pages 927-945 Ken Binmore Normative validity and meaning of von neumann-morgenstern utilities Original Research Article Pages 947-959 John C. Harsanyi Contributed papers Pages 961-976 Name index Pages 977-989