>
Fa   |   Ar   |   En
   تحلیل دلالت شناسانه‌ی منطق شهودی i  
   
نویسنده بگلری برزویه
منبع منطق پژوهي - 1397 - دوره : 9 - شماره : 1 - صفحه:49 -87
چکیده    از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیi، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئرهیتینگکولموگروف(bhk)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئرهیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخیفنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است.
کلیدواژه منطق شهودی، دلالت شناسی، سوئل کریپکی، آرند هیتینگ، اخبرتوس یان برآوئر
آدرس دانشگاه علامه طباطبایی, دانشکده ادبیات و زبان های خارجی, گروه فلسفه, ایران
پست الکترونیکی beglari.borzuya@gmail.com
 
   Translation of “Semantical Analysis of Intuitionistic Logic I Saul Kripke”  
   
Authors Beglari Borzuya
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved