Logic, Methodology and Philosophy of Science IX : Proceedings: International Congress of Logic, Methodology, and Philosophy of Science (9th: 1991: Uppsala, Sweden)

, by International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy); Skyrms, Brian; Westerstahl, Dag; Prawitz, Dag

Write a Review

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9780444893413 | 0444893415
Cover: Hardcover
Copyright: 11/1/1994

eBook

Available Instantly

Online: 1825 Days

Downloadable: Lifetime Access

$82.07

Supplemental Materials

Preface
Appendix to the Preface
President's Address	p. 1
Logic and Philosophy in the 20th Century	p. 9
The Witness Function Method and Probably Recursive Functions of Peano Arithmetic	p. 29
Some Aspects of Categorical Logic	p. 69
Gentzen-Type Systems and Hilbert's Epsilon Substitution Method	p. 91
Admissible Proof Theory and Beyond	p. 123
On the Reducibility Order between Borel Equivalence Relations	p. 151
The Core Model up to a Woodin Cardinal	p. 157
Lattice Embeddings into the R. E. Degrees Preserving 1	p. 179
Contributions to the History of Variations of Weak Density in the n-	p. 199
Rigidity and Definability in the Noncomputable Universe	p. 209
The Impact of Model Theory on Theoretical Computer Science	p. 239
A Decidable Quantified Defeasible Logic	p. 263
Non-Classical Logic and Ontological Non-Commitment, Avoiding Abstract Objects through Modal Operators	p. 287
Russellian Propositions	p. 307
Accepting Failure in Dynamic Logic	p. 327
Reliable Methods	p. 353
Taking Naturalism Seriously	p. 383
Recent Perspectives on Simplicity and Generalization	p. 409
Three Levels of Inductive Inference	p. 427
When Normal and Extensive Form Decisions Differ	p. 451
Andrei Markov and Mathematical Constructivism	p. 467
Contributions to the History of the Classical Truth-Definition	p. 481
Notes on the Value of Science	p. 499
Morality and Human Evolution	p. 523
Conceptual Issues in Ethics of Science and Technology	p. 537
A New Paradox in Type Theory	p. 555
Taking Formalism Seriously	p. 571
What is the Philosophical Basis of Intuitionistic Mathematics?	p. 579
Asymptotics, Singularities and the Reduction of Theories	p. 597
Realism and Quantum Mechanics	p. 609
Some Reflections on the Structure of our Knowledge in Physics	p. 633
The Limits of Biology	p. 659
Cognitive Science as Reverse Engineering. Several Meanings of "Top-Down" and "Bottom-Up"	p. 679
Logic and the Flow of Information	p. 693
The Ontology of Phonology	p. 725
Relational Nouns	p. 745
Reducing Self-Interest and Improving the Relevance of Economic Research	p. 763
A Theory of Inferred Causation	p. 789
Building Causal Graphs from Statistical Data in the Presence of Latent Variables	p. 813
Coherent Inference and Prediction in Statistics	p. 833
Carnap's Voluntarism	p. 847
The Limits of Vindication	p. 867
Stig Kanger in Memoriam	p. 885
Stig Kanger's Theory of Rights	p. 889
Non-Binary Choice and Preference: A Tribute to Stig Kanger	p. 913
DeBayesing Game Theory	p. 927
Normative Validity and Meaning of von Neumann-Morgenstern Utilities	p. 947
Contributed Papers	p. 961
Name Index	p. 977
Table of Contents provided by Blackwell. All Rights Reserved.

Please wait while the item is added to your bag...

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

Logic, Methodology and Philosophy of Science IX : Proceedings: International Congress of Logic, Methodology, and Philosophy of Science (9th: 1991: Uppsala, Sweden)

Table of Contents

Supplemental Materials