فلسفه منطق
تلقی معناشناختی و دلالت شناختی از سمانتیک در آثار تارسکی

سعید پوردانش

دوره 13، شماره 2 ، بهمن 1401، ، صفحه 211-235

https://doi.org/10.30465/lsj.2023.44118.1422

چکیده
  آلفرد تارسکی از بنیانگذاران اصلی سمانتیک به مثابه‌ی دلالت‌شناسی است. وی دلالت‌شناسی را در دهه‌ی 30 پی‌افکند و این تلقی امروزه تلقی غالب در سمانتیک منطقی به شمار می‌رود. اما اگر به آثار دهه‌ی 20 وی بازگردیم در نگاه اول به نظر می‌رسد که هیچ گونه نگرش سمانتیکی در کارهای وی وجود ندارد. تفسیر رایج در مورد کارهای تارسکی در دهه‌ی 20 آن‌ ...  بیشتر

تحلیل دلالت شناسانه‌ی منطق شهودی I

برزویه بگلری

دوره 9، شماره 1 ، فروردین 1397، ، صفحه 53-93

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