دانلود کتاب Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
کتاب مقالاتی درباره منطق ریاضی و فلسفی: مجموعه مقالات چهارمین سمپوزیوم منطق اسکاندیناوی و اولین کنفرانس منطق شوروی-فنلاند، Jyväskylä، فنلاند، 29 ژوئن تا 6 ژوئیه 1976 نسخه زبان اصلی
دانلود کتاب مقالاتی درباره منطق ریاضی و فلسفی: مجموعه مقالات چهارمین سمپوزیوم منطق اسکاندیناوی و اولین کنفرانس منطق شوروی-فنلاند، Jyväskylä، فنلاند، 29 ژوئن تا 6 ژوئیه 1976 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
نام کتاب : Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
ویرایش : 1
عنوان ترجمه شده به فارسی : مقالاتی درباره منطق ریاضی و فلسفی: مجموعه مقالات چهارمین سمپوزیوم منطق اسکاندیناوی و اولین کنفرانس منطق شوروی-فنلاند، Jyväskylä، فنلاند، 29 ژوئن تا 6 ژوئیه 1976
سری : Synthese Library 122
نویسندگان : G. Kreisel (auth.), Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen (eds.)
ناشر : Springer Netherlands
سال نشر : 1978
تعداد صفحات : 458
ISBN (شابک) : 9789400998278 , 9789400998254
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
چهارمین سمپوزیوم منطق اسکاندیناوی و اولین کنفرانس منطق شوروی-فنلاند در 29 ژوئن تا 6 ژوئیه 1976 در JyvaskyIa فنلاند برگزار شد. کنفرانس ها توسط کمیته ای متشکل از ویراستاران جلد حاضر سازماندهی شدند. کنفرانس ها توسط وزارت آموزش فنلاند، آکادمی فنلاند، و بخش منطق، روش شناسی و فلسفه علم اتحادیه بین المللی تاریخ علم حمایت مالی شدند. انجمن فلسفی فنلاند و جشنواره تابستانی Jyvaskyla کمک های ارزشمندی در زمینه های مختلف عملی کردند. 35 مقاله از نویسندگانی به نمایندگی از 10 کشور در دو نشست ارائه شد. از آن 24 مقاله در اینجا ظاهر می شود. The Editors v TABLE OF Contents Preface v Part 1/ Proof Theory GEORG KREISEL / برخی از حقایق از نظریه براهین و برخی داستان های تخیلی از نظریه اثبات عمومی 3 DAG PRAWITZ / اثبات ها و معنی و کامل بودن ثابت های منطقی A.SMIRVNO 25. / تئوری کمی و محاسبه tff-calculi 41 LARS SVENONIUS/دو نوع بسط حساب بازگشتی اولیه 49 DIRK VAN DALEN و R. STATMAN / برابری در حضور جدایی 95 PART II / INFINITARY LANGJUAGES LANGUAGES / INFINITARY LANGUAGESVAN DALEN and R. STATMAN -و- چهارم 119 MAARET KAR TTUNEN / زبانهای بی نهایت N oo~.
فهرست مطالب :
Front Matter....Pages i-viii
Front Matter....Pages 1-1
Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory....Pages 3-23
Proofs and the Meaning and Completeness of the Logical Constants....Pages 25-40
Theory of Quantification and ‰-Calculi....Pages 41-47
Two Kinds of Extensions of Primitive Recursive Arithmetic....Pages 49-94
Equality in the Presence of Apartness....Pages 95-116
Front Matter....Pages 117-117
Game-Theoretical Semantics and Back-and-Forth....Pages 119-151
Infinitary Languages N ∞λ and Generalized Partial Isomorphisms....Pages 153-168
Front Matter....Pages 169-169
Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets....Pages 171-195
Hierarchies of Model Theoretic Definability—an Approach to Second Order Logics....Pages 197-225
Open Problems in the Theory of Ultrafilters....Pages 227-247
Front Matter....Pages 249-249
The Reals Cannot be Characterized Topologically with Strictly Local Properties and Countability Axioms....Pages 251-257
On the Expressive Power of the Language Using the Henkin Quantifier....Pages 259-265
Remarks on Free Quantifier Variables....Pages 267-272
Front Matter....Pages 273-273
Recursion in 3 E and a Splitting Theorem....Pages 275-285
Retracts of Post’s Numbering and Effectivization of Quantifiers....Pages 287-292
Front Matter....Pages 293-293
Quantifiers in Natural Languages: Some Logical Problems, I....Pages 295-314
Models for Natural Languages....Pages 315-340
Backwards-Looking Operators in Tense Logic and in Natural Language....Pages 341-367
Front Matter....Pages 369-369
Paradoxes in a Semantic Perspective....Pages 371-385
Hintikka’s Possible Worlds and Rigid Designators....Pages 387-399
Front Matter....Pages 369-369
On the Content Analysis of Two Normative Notions....Pages 401-404
Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence....Pages 405-411
Front Matter....Pages 413-413
On Distance from the Truth as a True Distance....Pages 415-435
Truthlikeness in First-Order Languages....Pages 437-458
Back Matter....Pages 459-473
توضیحاتی در مورد کتاب به زبان اصلی :
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~.
پست ها تصادفی