ISBN:
9789401011389
Language:
English
Pages:
Online-Ressource (416p)
,
digital
Edition:
Springer eBook Collection. Humanities, Social Sciences and Law
Series Statement:
The University of Western Ontario Series in Philosophy of Science 9
Series Statement:
The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields 9
Parallel Title:
Erscheint auch als
Parallel Title:
Erscheint auch als
Parallel Title:
Erscheint auch als
Keywords:
Philosophy (General)
;
Science Philosophy
;
Logic
;
History
;
Science—Philosophy.
Abstract:
I/Mathematical Logic -- Constructions ‘by Finite’ -- Some Eastern Two Cardinal Theorems -- Functional Interpretation and Kripke Models -- Axioms for Intuitionistic Mathematics Incompatible with Classical Logic -- II/Foundations of Mathematical Theories -- Ineffability Properties of Cardinals II -- Non-Standard Analysis -- Some Purely Mathematical Results Inspired by Mathematical Logic -- Interpretability of Elementary Theories -- III/Category Theory -- Categorical Foundations and Foundations of Category Theory -- IV/Computability Theory -- Re Sets Higher Up (Dedicated to J. B. Rosser) -- Computable Numberings -- On the Basic Notions in the Theory of Induction -- Basic Concepts of Computer Science and Logic -- Structural Relations between Programs and Problems -- Algorithmic Logic, a Tool for Investigations of Programs -- V/Philosophy of Logic and Mathematics -- On a Semantical Language Hierarchy in a Constructive Mathematical Logic -- VI/On The Concept of a Set -- Large Sets -- What is the Iterative Conception of Set? -- VII/Philosophy of Logic -- Do-it-yourself Semantics for Classical Sequent Calculi, including Ramified Type Theory -- Some Philosophical Problems of Hintikka’s Possible Worlds Semantics -- Index of Names.
Abstract:
The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science.
DOI:
10.1007/978-94-010-1138-9
URL:
Volltext
(lizenzpflichtig)
Permalink
