|
" Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976. "
Hintikka, Jaakko
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
774166
|
| Doc. No
|
:
|
b594160
|
| Main Entry
|
:
|
Hintikka, Jaakko
|
| Title & Author
|
:
|
Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976.\ Hintikka, Jaakko
|
| Publication Statement
|
:
|
Springer Verlag, 2013
|
| ISBN
|
:
|
9400998252
|
|
|
:
|
: 9789400998254
|
| Contents
|
:
|
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 0/00-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.
|
| LC Classification
|
:
|
B67.H568 2013
|
| Added Entry
|
:
|
Hintikka, Jaakko
|
|
|
:
|
Niiniluoto, I.
|
|
|
:
|
Saarinen, E.
|
| |