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

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