Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - Softcover

Softcover

ISBN 10: 9401704880 ISBN 13: 9789401704885

Publisher: Springer, 2014

Synopsis

Editorial. President's Address. Section 1: Proof Theory and Categorical Logic. Proof-Theoretical Aspects of Self-Referential Truth; A. Cantini. Free Lattices, Communication and Money Games; A. Joyal. On Methods for Proving Lower Bounds in Propositional Logic; J. Krajícek. On Bounded Set Theory; V.Yu. Sazonov. Section 2: Model Theory, Set Theory and Formal Systems. Infinitary Logic in Finite Model Theory; Ph.G. Kolaitis. Decision Problems for Second-Order Linear Logic; P.D. Lincoln, et al. Comparing the Continuum with the First Two Uncountable Cardinals; S. Todorcevic. Section 3: Recursion Theory and Constructivism. Church's Thesis and Hume's Problem; K.T. Kelly, O. Schulte. The Logic of Functional Recursion; Y.N. Moschovakis. From Higher Order Terms to Circuits; H. Schwichtenberg, K. Stroetman. Computability and Enumerability; R. Soare. Mechanistic Theories in Cognitive Science: The Import of Turing's Thesis; G. Tamburrini. Section 5: Philosophical Logic. Conjoining and Disjoining on Different Levels; E. Casari. Logical Consequence: A Turn in Style; K. Dosen. Applying Normative Rules with Restraint; S.O. Hansson, D. Makinson. Section 10: Philosophy of Logic, Mathematics and Computer Science. What Can We Do `In Principle'? Ch.D. Parsons. Causation, Action, and Counterfactuals; J. Pearl. Symposium 1: Logic and Philosophy of Science: Current Interfaces. Logic and Philosophy of Science: Current Interfaces; T.A.F. Kuipers. Reliable Belief Revision; K.T. Kelly, et al. Explanatory Translation: Beyond Functionalism and Reductionism; V. Rantala. Abductive Reasoning: Logic, VisualThinking, and Coherence; P. Thagard, C. Shelley. Can the Laws of Nature (Physics) be Complete? P. Weingartner. Symposium 4: Logic in Central and Eastern Europe. Logic in Central and Eastern Europe; P. Hájek. Logic in Czechoslovakia and Hungary; L. Bukovský. Mathematical Logic in the Former Soviet Union: Brief History and Current Trends; V.A. Uspensky. Logic in Central and Eastern Europe: Balkan Region; D. Vakarelov. The Postwar Panorama of Logic in Poland; R. Wójcicki. Closing Address. Structure and Perspective: Philosophical Perplexity and Paradox; B.C. van Fraassen. Table of Contents Volume II.

Edition details

• Publisher: Springer
• Publication date: 2014
• ISBN 10: 9401704880
• ISBN 13: 9789401704885
• Binding: Paperback
• Language: English