On the Generalized Dynamical Systems

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" On the Generalized Dynamical Systems "
Abubakar- Abdullahi, Jemila Abdulraheem, A

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.