Title | Essays on Mathematical and Philosophical Logic [electronic resource] : Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvรคskylรค, Finland, June 29-July 6, 1976 / edited by Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen |
---|---|
Imprint | Dordrecht : Springer Netherlands, 1979 |
Connect to | http://dx.doi.org/10.1007/978-94-009-9825-4 |
Descript | VIII, 473 p. online resource |
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