Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1975-1979  (2)
  • 1978  (2)
  • Hintikka, Jaakko
  • Hooker, Clifford Alan
  • Dordrecht : Springer  (2)
  • Berlin
  • 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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...