Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 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: 9789400997899
    Language: English
    Pages: Online-Ressource (476p) , 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 13a
    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 13a
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Social sciences Philosophy ; Science—Philosophy. ; Philosophy and social sciences.
    Abstract: The ‘Tracing Procedure’ and a Theory of Rational Interaction -- Variety Among Hierarchies of Preference -- Conflict and Structure in Multi-Level Multiple Objective Decision-Making systems -- Inadequacies in the Decision Analysis Model of Rationality -- Counterfactuals and Two Kinds of Expected Utility -- Coordination Theory -- A Piagetian Approach to Decision and Game Theory -- Axiomatizing the Logic of Decision -- On Indeterminate Probabilities -- Irrelevance -- On a Decision Theoretic Method for Social Decisions -- Consensus and Comparison: A Theory of Social Rationality -- Conjoint Measurement: A Brief Survey -- The Minimax Theory and Expected-Utility Reasoning -- Newcomb’s Many Problems -- Newcomb’s Problem, Dominance and Expected Utility -- The Copernican Revelation -- Prolegomena to a Theory of Rational Motives -- Index of Names.
    Abstract: 1. INTRODUCTION In the Spring of 1975 we held an international workshop on the Foundations and Application of Decision Theory at the University of Western Ontario. To help structure the workshop into ordered and manageable sessions we distri­ buted the following statement of our goals to all invited participants. They in turn responded with useful revisions and suggested their own areas of interest. Since this procedure provided the eventual format of the sessions, we include it here as the most appropriate introduction to these collected papers result­ ing from the workshop. The reader can readily gauge the approximation to our mutual goals. 2. STATEMENT or OBJECTIVES AND RATIONALE (Attached to this statement is a bibliography; names of persons cited in the statement and writing in this century will be found referenced in the biblio­ graphy - certain 'classics' aside. ) 2. 1. Preamble We understand in the following the Theory of Decisions in a broader sense than is presently customary, construing it to embrace a general theory of deciSion-making, induding social, political and economic theory and applica­ tions. Thus, we subsume the Theory of Games under the head of Decision Theory, regarding it as a particularly clearly formulated version of part of the general theory of decision-making.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    ISBN: 9789401014380
    Language: English
    Pages: Online-Ressource (253p) , 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 6c
    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 6c
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Science—Philosophy.
    Abstract: The Statistics of Non-Boolean Event Structures -- Possibility and Probability -- Some Remarks on Hamiltonian Systems and Quantum Mechanics -- The Possibility Structure of Physical Systems -- Quantum Mechanical Physical Quantities as Random Variables -- On the Interference of Probabilities -- Classical and Quantum Probability and Set Theory -- Discussion -- A Generalized Measure and Probability Theory for the Physical Sciences -- Discussion -- Quantum Logic, Convexity, and a Necker-Cube Experiment -- On the Applicability of the Probability Concept to Quantum Theory -- Discussion -- A Mathematical Setting for Inductive Reasoning -- Discussion -- Classical Statistical Mechanics Versus Quantal Statistical Thermodynamics: A Study in Contrasts -- Discussion -- A Semantic Analysis of Niels Bohr’s Philosophy of Quantum Theory.
    Abstract: In May of 1973 we organized an international research colloquium on foundations of probability, statistics, and statistical theories of science at the University of Western Ontario. During the past four decades there have been striking formal advances in our understanding of logic, semantics and algebraic structure in probabilistic and statistical theories. These advances, which include the development of the relations between semantics and metamathematics, between logics and algebras and the algebraic-geometrical foundations of statistical theories (especially in the sciences), have led to striking new insights into the formal and conceptual structure of probability and statistical theory and their scientific applications in the form of scientific theory. The foundations of statistics are in a state of profound conflict. Fisher's objections to some aspects of Neyman-Pearson statistics have long been well known. More recently the emergence of Bayesian statistics as a radical alternative to standard views has made the conflict especially acute. In recent years the response of many practising statisticians to the conflict has been an eclectic approach to statistical inference. Many good statisticians have developed a kind of wisdom which enables them to know which problems are most appropriately handled by each of the methods available. The search for principles which would explain why each of the methods works where it does and fails where it does offers a fruitful approach to the controversy over foundations.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    ISBN: 9789401014366
    Language: English
    Pages: Online-Ressource (466p) , 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 6b
    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 6b
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Science—Philosophy.
    Abstract: The Poverty of Statisticism -- Discussion -- On the Equivalence of Standard Inference Procedures -- Discussion -- Empirical Probability, Objective Statistical Methods, and Scientific Inquiry -- Discussion -- Philosophy of Survey-Sampling Practice -- Discussion -- The Bayesian Influence, or How to Sweep Subjectivism Under the Carpet -- Confidence Intervals vs Bayesian Intervals -- Discussion -- On Tests of Significance -- Discussion -- Statistics and the Philosophers -- Discussion -- Statistical Knowledge and Statistical Inference -- Discussion -- Bayesian Statistics -- Discussion -- A Theory of Statistical Evidence -- Discussion -- Testing Theories and the Foundations of Statistics -- Discussion.
    Abstract: In May of 1973 we organized an international research colloquium on foundations of probability, statistics, and statistical theories of science at the University of Western Ontario. During the past four decades there have been striking formal advances in our understanding of logic, semantics and algebraic structure in probabilistic and statistical theories. These advances, which include the development of the relations between semantics and metamathematics, between logics and algebras and the algebraic-geometrical foundations of statistical theories (especially in the sciences), have led to striking new insights into the formal and conceptual structure of probability and statistical theory and their scientific applications in the form of scientific theory. The foundations of statistics are in a state of profound conflict. Fisher's objections to some aspects of Neyman-Pearson statistics have long been well known. More recently the emergence of Bayesian statistics as a radical alternative to standard views has made the conflict especially acute. In recent years the response of many practising statisticians to the conflict has been an eclectic approach to statistical inference. Many good statisticians have developed a kind of wisdom which enables them to know which problems are most appropriately handled by each of the methods available. The search for principles which would explain why each of the methods works where it does and fails where it does offers a fruitful approach to the controversy over foundations.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    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 ...
  • 10
    ISBN: 9789401018531
    Language: English
    Pages: Online-Ressource (319p) , 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 6a
    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 6a
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Science—Philosophy.
    Abstract: Prior Probabilities and Counterfactual Conditionals -- Incomplete Descriptions in the Language of Probability Theory -- A Computational Complexity Viewpoint on the Stability of Relative Frequency and on Stochastic Independence -- A Logic for Subjective Belief -- Discussion -- Rational Belief Change, Popper Functions and Counterfactuals -- Letter by Robert Stalnaker to W. L. Harper -- Ramsey Test Conditionals and Iterated Belief Change (A Response to Stalnaker) -- Toward an Optimization Procedure for Applying Minimum Change Principles in Probability Kinematics -- Simplicity -- Discussion -- Conditionalization, Observation, and Change of Preference -- Discussion -- Probabilities of Conditionals -- Discussion -- Letter by Stalnaker to Van Fraassen -- Letter by Van Fraassen to Stalnaker.
    Abstract: In May of 1973 we organized an international research colloquium on foundations of probability, statistics, and statistical theories of science at the University of Western Ontario. During the past four decades there have been striking formal advances in our understanding of logic, semantics and algebraic structure in probabilistic and statistical theories. These advances, which include the development of the relations between semantics and metamathematics, between logics and algebras and the algebraic-geometrical foundations of statistical theories (especially in the sciences), have led to striking new insights into the formal and conceptual structure of probability and statistical theory and their scientific applications in the form of scientific theory. The foundations of statistics are in a state of profound conflict. Fisher's objections to some aspects of Neyman-Pearson statistics have long been well known. More recently the emergence of Baysian statistics as a radical alternative to standard views has made the conflict especially acute. In recent years the response of many practising statisticians to the conflict has been an eclectic approach to statistical inference. Many good statisticians have developed a kind of wisdom which enables them to know which problems are most appropriately handled by each of the methods available. The search for principles which would explain why each of the methods works where it does and fails where it does offers a fruitful approach to the controversy over foundations.
    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: 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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...