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 chapters: 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.