تحلیل دلالت شناسانه‌ی منطق شهودی | کتابخانه مجازی الفبا

تحلیل دلالت شناسانه‌ی منطق شهودی | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
تحلیل دلالت شناسانه‌ی منطق شهودی
کتابخانه مجازی الفبا
بهار و تابستان 1397
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
تحلیل دلالت شناسانه‌ی منطق شهودی
ویرایش اثر
وضعیت نشر :
تهران ، منطق پژوهی ، بهار و تابستان 1397
چکیده :
از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیi، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(bhk)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است when saul kripke published semantical analysis of intuitionistic logic i in 1965, all previous matters, brouwer–heyting–kolmogorov interpretation (bhk interpretation), topological interpretation, beth models, were effected by its clarity and perspicuity and then it became the standard, easy to understand and quite useable semintics for intuition logic of the brouwer-heyting. since then very much research, books and papers was done in to clarify, understand and facilitate the paper. kripke wrote this paper while he was at the end of the decade of fertile thinking in modal logic and its semantical analysis and publishing very creative 6 papers that completely changed the insight of modal logic. in semantical analysis of intuitionistic logic i, for designing an analysis for semantcs of intuitionistic logic he used his own method in modal logic and cohn’s, american mathematician, notion of forcing. in this essay we are going to investigate the historiography and then translation it to persian.
منابع دیجیتالی مرتبط :
متن نسخه PDF
نویسنده :
برزویه بگلری
زبان :
فارسی
منبع اصلی :
http://logicalstudy.ihcs.ac.ir/article_3373.html
جنس منبع:
متن
پایگاه :
ب:پایگاه مقالات (منطق پژوهی- سال 1397- دوره 9- شماره 2- از صفحه 53 تا 93)
یادداشت :
نوع منبع :
مقاله
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال