Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1975-1979  (5)
  • Hintikka, Jaakko  (5)
  • Dordrecht : Springer  (5)
  • Berlin
  • Science—Philosophy.  (5)
  • 1
    ISBN: 9789400998254
    Language: English
    Pages: Online-Ressource (488p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 122
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; Science—Philosophy.
    Abstract: I Proof Theory -- Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory -- Proofs and the Meaning and Completeness of the Logical Constants -- Theory of Quantification and ‰-calculi -- Two Kinds of Extensions of Primitive Recursive Arithmetic -- Equality in the Presence of Apartness -- II Infinitary Languages -- Game-Theoretical Semantics and Back-and-Forth -- Infinitary Languages N?? and Generalized Partial Isomorphisms -- III Set Theory and Model Theory -- Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets -- Hierarchies of Model Theoretic Definability — An Approach to Second Order Logics -- Open Problems in the Theory of Ultrafilters -- IV Generalized Quantifiers -- The Reals Cannot Be Characterized Topologically with Strictly Local Properties and Countability Axioms -- On the Expressive Power of the Language Using the Henkin Quantifier -- Remarks on Free Quantifier Variables -- V Recursion Theory -- Recursion in 3E and a Splitting Theorem -- Retracts of Post’s Numbering and Effectivization of Quantifiers -- VI Logic and Natural Language -- Quantifiers in Natural Languages: Some Logical Problems, I -- Models for Natural Languages -- Backwards-Looking Operators in Tense Logic and in Natural Language -- VII Philosophical Logic -- Paradoxes in a Semantic Perspective -- Hintikka’s Possible Worlds and Rigid Designators -- On the Content Analysis of Two Normative Notions -- Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence -- VIII Truthlikeness -- On Distance From the Truth as a True Distance -- Truthlikeness in First-Order Languages -- Index of Names.
    Abstract: The Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R. STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    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.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    ISBN: 9789401011419
    Language: English
    Pages: Online-Ressource (444p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science 10
    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 10
    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/Foundations of The Physical Sciences -- Genesis and Observership -- The Methodology of Physics and Topology -- Axiomatics and the Search for the Foundations of Physics -- II/The Interpretation of Quantum Mechanics -- What is Philosophically Interesting about Quantum Mechanics? -- Completeness and Realism in Quantum Mechanics -- III/Foundations of biology -- The Ontological Status of Species as Evolutionary Units -- Theories and Observations of Developmental Biology -- Organic Determinism and Teleology in Biological Research -- Explicit and Implicit Semantic Content of the Genetic Information -- IV/Foundations of Psychology -- Consciousness and the Brain -- Causality and Action -- Methodological Aspects of Analysis of Activity -- V/The Status of Learning Theories -- A Survey of Contemporary Learning Theories -- Conditioning as the Perception of Causal Relations -- Leanable Functions -- VI/Foundations of The Social Sciences -- The Methodology of Social Knowledge and the Problem of the Integration of the Sciences -- VII/Justice and Social Change -- Welfare Inequalities and Rawlsian Axiomatics -- Nonlinear Social Welfare Functions: A Rejoinder to Prof. Sen -- Non Linear Social Welfare Functions: A Reply to Prof. Harsanyi -- The Measurement of Social Inequality -- VIII/Rationality in Social Sciences -- Advances in Understanding Rational Behavior -- Towards a Unified Decision Theory: A Non-Bayesian Approach -- On the Rationale of the Bayesian Approach: Comments on Prof. Watkins’s Paper -- The Dual Function of Rationality -- 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 weIl, 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.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISBN: 9789401708371
    Language: English
    Pages: Online-Ressource (X, 324 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science, A Series of Books on Philosophy of Science, Methodology, and Epistemology Published in Connection with the University of Western Ontario Philosophy of Science Programme 11
    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 11
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; History ; Science—Philosophy.
    Abstract: I / Problems in the Methodology of Science -- Methodology and Systematic Philosophy -- Identity by Sense in Empirical Sciences -- Towards a General Semantics of Empirical Theories -- II / Identifiability Problems -- Identifiability and the Status of Theoretical Terms -- Definability and Identifiability: Certain Problems and Hypotheses -- On Identifiability in Extended Domains -- Prediction and Identifiability -- III / Foundations of Probability and Induction -- An Argument for Comparative Probability -- On the Truthlikeness of Generalizations -- A Third Dogma of Empiricism -- Causal Thinking in Judgment under Uncertainty -- IV / The Concept of Randomness -- A Survey of the Theory of Random Sequences -- Mises Redux -- V / Foundational Problems in Linguistics -- Foundations of Philosophical Pragmatics -- On Problems of Speech Act Theory -- VI / The Prospects of Transformational Grammar -- Transformations and Categories in Syntax -- Consequence of Speaking -- Formal Properties of Phonological Rules -- 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.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISBN: 9789401717809
    Language: English
    Pages: Online-Ressource (X, 338 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science, A Series of Books on Philosophy of Science, Methodology, and Epistemology Published in Connection with the University of Western Ontario Philosophy of Science Programme 12
    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 12
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; History ; Science—Philosophy.
    Abstract: I / History of Logic, Methodology and Philosophy of Science -- The Sources of Modern Methodology -- Difficulties in the Historiography of Science -- Logical, Ontological and Methodological Aspects of Scientific Revolutions -- The Origins of Traditional Grammar -- Galileo and the Justification of Experiments -- Leibnizian Space-Times and Leibnizian Algebras -- Changing Concepts of the a Priori -- Competing and Complementary Patterns of Explanation in Social Science -- Subjectivity, Objectivity and Ontological Commitment in the Empirical Sciences -- Genealogy of Science and Theory of Knowledge -- II / Historical Perspectives on the Concept of Matter -- Evolution of the Concept of Matter in Science and Philosophy -- Material Causality -- III / Theory Change -- Describing Revolutionary Scientific Change: a Formal Approach -- Accidental (‘Non-Substantial’) Theory Change and Theory Dislodgment -- Theory-Change as Structure-Change: Comments on the Sneed Formalism -- IV / Programme of the 5th Congress (Appendix) -- Programme of the Fifth International Congress of Logic, Methodology and Philosophy of Science -- 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.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...