Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, U ... and the Foundations of Mathematics, V. 134)

by Dag Prawitz, Brian Skyrms, Dag Westerstahl

Contains the invited lectures from the August 1991 congress, covering a wide range of issues in the field of logic, methodology, and philosophy of science. The volume is divided into 15 major proof theory and categorical logic; model theory, set theory, and formal systems; recursion theory and constructivism; logic and computer science; philosophical logic; methodology; probability, induction, and decision theory; history of logic, methodology, and philosophy of science; ethics of science and technology; foundations of logic, mathematics, and computer science; foundations of physical sciences; foundations of cognitive science and AI; foundations of linguistics; and foundations of social sciences. Annotation copyright Book News, Inc. Portland, Or.

Hardcover

First published January 1, 1994