Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1975-1979  (12)
  • Hintikka, Jaakko  (7)
  • Victoria and Albert Museum  (5)
  • Dordrecht : Springer  (7)
  • London  (5)
Language
Year
  • 1
    Journal/Serial
    Journal/Serial
    London
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Journal/Serial
    Journal/Serial
    London
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Journal/Serial
    Journal/Serial
    London ; 1.1947 -
    Language: English
    Dates of Publication: 1.1947 -
    DDC: 020
    Keywords: Monografische Reihe
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    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 ...
  • 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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    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 ...
  • 9
    Journal/Serial
    Journal/Serial
    London ; 1.1949 - 30.1975
    Language: Undetermined
    Dates of Publication: 1.1949 - 30.1975
    Subsequent Title: Forts. Victoria and Albert Museum Monograph / Victoria and Albert Museum
    DDC: 910
    Keywords: Monografische Reihe
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401017091
    Language: English
    Pages: Online-Ressource (380p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 21
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 21
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Linguistics Philosophy ; Logic ; Language and languages—Philosophy.
    Abstract: Editorial Introduction -- Quine’s Philosophy of Science -- An Introduction to ‘Translation and Meaning’, Chapter Two of Word and Object -- Beginning with Ordinary Things -- Quine’s Empirical Assumptions -- Behavioral Criteria of Radical Translation -- Conventionalism and the Indeterminacy of Translation -- Singular Terms and Predication -- Vacuous Names -- Quine’s Syntactical Insights -- On Saying That -- Quine on Modality -- Some Problems about Belief -- Quantifying In -- Logic with Platonism -- On the Consistency of a Slight (?) Modification of Quine’s New Foundations -- Replies -- Publications of W. V. Quine.
    Abstract: It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im­ portance of Quine's philosophy and in the value of the papers com­ menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401017114
    Language: English
    Pages: Online-Ressource (229p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 23
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 23
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: I. Methodological Orientation -- Epistemic Logic and the Methods of Philosophical Analysis -- II. The Logic of Existence -- Existential Presuppositions and Their Elimination -- On the Logic of the Ontological Argument: Some Elementary Remarks -- III. The Semantics of Modality -- Modality and Quantification -- The Modes of Modality -- Semantics for Propositional Attitudes -- Existential Presuppositions and Uniqueness Presuppositions -- IV. Conceptual Analyses -- On the Logic of Perception -- Deontic Logic and Its Philosophical Morals -- Note on the Origin of the Different Essays -- Index of Names -- Index of Subjects.
    Abstract: The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con­ tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Journal/Serial
    Journal/Serial
    London ; 1.1949 - 30.1975
    Language: Undetermined
    Dates of Publication: 1.1949 - 30.1975
    Subsequent Title: Forts. Victoria and Albert Museum Monograph / Victoria and Albert Museum
    DDC: 910
    Keywords: Monografische Reihe
    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...