تحلیل دلالت شناسانه ی منطق شهودی I (مقاله علمی وزارت علوم)

چکیده

از زمان انتشار مقاله ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه ی منطق شهودی I ، در سال 1965، تمام آنچه پیش از آن در دلالت شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل های بث تحت سایه ی تنقیح و پالودگی اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله ی وی آمده است.