دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Stig Kanger سری: Stockholm studies in philosophy ناشر: Stockholm: Almquist & Wiksell سال نشر: 1957 تعداد صفحات: 56 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
در صورت تبدیل فایل کتاب Provability in Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قابلیت ارائه در منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
بیشتر تحقیقات موجود در این مقاله برای دوره ای در منطق انجام شده است که من در ترم بهار سال 1955 در دانشگاه استکهلم ارائه کردم. قصد من در آن زمان ارائه تکنیکی برای اثبات منطقی بود که تسلط بر آن آسان تر از آنچه که معمولاً در کتاب های درسی منطق با آن مواجه می شود، بود. بنابراین، ممکن است این مقاله دارای نوعی هدف آموزشی تلقی شود. امید است که این هدف تحت الشعاع ویژگی فنی نمایشگاه من قرار نگیرد. پروفسور آندرس ودبرگ از دانشگاه استکهلم با مهربانی پیش نویس اولیه این مقاله را خوانده است و من به خاطر نقد ارزشمند او بسیار مدیون او هستم. آقای رابرت میلر اجباراً متن را با توجه به استفاده صحیح انگلیسی خوانده است. این جزوه رو تقدیم میکنم به همسرم. بدون کمک و تشویق او هرگز نوشته نمی شد – در هر صورت، هرگز برای مطبوعات آماده نمی شد. در این مقاله من یک روش اثبات «نوع جنتزن» را توضیح خواهم داد که از این نظر مؤثر است و نیاز به سادگی را تأمین می کند. من کامل بودن آن را با استدلال هایی که از برخی جهات جدید هستند و متضمن چرخش جدیدی به مفهوم اعتبار است اثبات خواهم کرد. منطق ابتدایی را می توان با مفاهیم مودال مختلف گسترش داد. چنین توسعهای مشکلات شناختهشدهای را در ارتباط با تفسیر منطق مودال منتج به وجود آورده است – در واقع، هنوز تفسیری کاملاً رضایتبخش یافت نشده است. در بخشهای آخر قصد دارم تفسیر جدیدی ارائه کنم که پایهای قابل قبول برای منطق مودال به دست میدهد. من مقاله را با چند نظر در مورد اثبات پذیری در منطق مدی به پایان می برم.
Most of the investigations contained in this essay were made for a course in logic, which I gave during the spring term of 1955 at the University of Stockholm. My intention at that time was to present a technique of logical proof that would be easier to master than those usually encountered in textbooks on logic. Thus, the essay may be regarded as having a kind of pedagogical aim. It is hoped that this aim is not overshadowed by the technical character of my exposition. Professor Anders Wedberg of the University of Stockholm has kindly read an early draft of the essay, and I am greatly indebted to him for his valuable criticism. Mr. Robert Miller has obligingly read the text with an eye to proper English usage. I dedicate this booklet to my wife. Without her aid and encouragement it would never have been written—in any event, it would never have been prepared for the press. In this essay I shall describe a 'Gentzen-type' proof procedure which is effective in this sense and which supplies the need for simplicity. I shall prove its completeness by means of arguments which are new in some respects and which involve a new turn to the notion of validity. Elementary logic may be extended with various modal notions. Such an extension has raised well-known difficulties connected with the interpretation of the resulting modal logic—in fact, a fully satisfactory interpretation is yet to be found. In the last sections I intend to give a new interpretation which yields an acceptable foundation for modal logic. I shall conclude the essay with a few comments on provability in modal logic.