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

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

ما در این مقاله ضمن بررسی انتقادات مشهورتر کواین به منطق موجهات، تلاش می‌کنیم نشان دهیم که سوای ابعاد سمنتیکی مخالفت کواین با منطق موجهات، می‌توان دیدگاه او در معرفت‌شناسی را به‌مثابة لایه‌ای عمیق‌تر برای رد و طرد منطق موجهات در‌نظر گرفت، گرچه خود کواین تصریحی به این نحوة انتقاد از منطق موجهات نکرده است. در این میان اشاراتی به نظرات کریپکی، که یکی از جدی‌ترین مدافعین منطق موجهات است می‌کنیم و ب...

یکی از ادله واقع گرایان برای اثبات وجود کلی ها در جهان خارج، برهانِ «ارجاع به مجردات» (abstract reference) است. طبق این برهان، جملات صادق بسیاری در زبان وجود دارند که ظاهرا درباره کلی ها سخن می گویند. به عقیده واقع گرایان، صدق این گونه جملات قابل تبیین نخواهد بود مگر آنکه کلی ها در جهان خارج وجود داشته باشند. کارنپ بر اساس نظریه «درجات زبانِ» خود، این برهان را مورد نقد قرار داده و استدلال می کند ...

یکی از ادله واقع گرایان برای اثبات وجود کلی ها در جهان خارج، برهانِ «ارجاع به مجردات» (abstract reference) است. طبق این برهان، جملات صادق بسیاری در زبان وجود دارند که ظاهرا دربارة کلی ها سخن می‌گویند. به عقیدة واقع گرایان، صدق این گونه جملات قابل تبیین نخواهد بود مگر آنکه کلی ها در جهان خارج وجود داشته باشند. کارنپ بر اساس نظریة «درجات زبانِ» خود، این برهان را مورد نقد قرار داده و استدلال می‌کند ...

در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای ‎sra‎ و پرو...

این جستار در پی آن است که ساخت بند موصولی در زبان فارسی را بر اساس چارچوب نظریه نقش و ارجاع مورد بررسی قرار دهد. نظریه نقش و ارجاع نظریه­ای ساختاری- نقشی است که توجه خود را به تعامل میان نحو، معنی شناسی و کاربردشناسی در نظام­های دستوری زبان­های بشری معطوف می­کند. هدف از نگارش این مقاله، از یک سو، تبیین ویژگی­های نحوی، معنایی و کاربردشناختی بندهای موصولیِ زبان فارسی در چارچوب نظریه نقش و ارجاع، و...

نظریة ارجاع به بررسی روابط و خوانش بینامتنی و فرامتنی در متن‌ها می‌پردازد. این‌ نظریه، آثار ادبی مخاطب را به دیگر متن‌ها و فرامتن‌ها ارجاع می‌دهد و مخاطب می‌تواند براساس آن، متن‌ها را با ارجاع به مصداق‌های عینی و بیرونی، یا با ارجاع به متن‌های دیگر درک و دریافت کند. پژوهش حاضر تمثیل‌های صائب را ازمنظر این نظریه بررسی می‌کند؛ چراکه صائب در هر تمثیلی،‌ مخاطب را به یک متن یا فرامتن ارجاع می‌دهد. ن...

چکیده ندارد.

ما در این مقاله ضمن بررسی انتقادات مشهورتر کواین به منطق موجهات، تلاش می کنیم نشان دهیم که سوای ابعاد سمنتیکی مخالفت کواین با منطق موجهات، می توان دیدگاه او در معرفت شناسی را به مثابه لایه ای عمیق تر برای رد و طرد منطق موجهات در نظر گرفت، گرچه خود کواین تصریحی به این نحوه انتقاد از منطق موجهات نکرده است. در این میان اشاراتی به نظرات کریپکی، که یکی از جدی ترین مدافعین منطق موجهات است می کنیم و ب...