مفهوم «جهانهای ممکن»، که ظاهراً نخستین بار لایب نیتس آن را به کاربرد، در دوران اخیر به واسطة نقشی که در دلالت شناسی منطق موجهات داشته است، بدان توجه شده است. مهم ترین نظریاتی که در باب جهانهای ممکن وجود دارد، به دو دستة کلّی فعلیت گرایی و امکان گرایی تقسیم می شوند که از هر یک روایتهای مختلفی ارائه شده است. در این جستار، روایتهای دیوید لویس و کریپکی از امکان گرایی و روایتهای رابرت استالنکر، رودریک...

هدف: هدف از این مقاله، بررسی نسبت آموزۀ قیاس‌ناپذیری کوهن با دیدگاه واقع‌گرایی در علم بود. روش: روش نیل به هدف ترسیم شده در این مقاله، عبارت از بررسی روایت‌های فرگه‌ و کریپکی- پاتنم از نظریۀ ارجاع‌گرایی و نیز تبیین تعبیرهای آموزۀ قیاس‌ناپذیری کوهن است. همچنین مناقشۀ کوهن و ذات‌گرایان مطرح و تحلیل می‌شود. یافته‌ها: مطابق بررسی‌ها و استدلال‌های ارائه شده در این مقاله، آموزۀ قیاس‌ناپذیری کوهن در خ...

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

رابرت مری هیو آدامز کوشش می کند با ارائۀ تقریری جدید از نظریۀ امر الهی از آن دفاع کند. وی بیان می کند که نه خوبی اخلاقی بلکه فقط الزام اخلاقی را می توان از طریق امر الهی توضیح داد. وی ابتدا با روش معناشناختی تحلیلی از معنای الزام اخلاقی به دست می دهد، سپس می کوشد با تعیین بهترین نامزدی که می تواند نقش معناشناختی الزام را ایفا کند ماهیت الزام اخلاقی را دریابد. از نظر آدامز مهم ترین نقشی که از تح...

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

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

بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین کننده الگوی درست کاربرد بوده و این الگو را تجویز می کند. مهم ترین استدلال هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری بودن معنا ارائه داده اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری بودن معنا را زیر سؤال برده و...

از تفاوت‌های مهم بین معرفت پیشینی و پسینی این است که ما در معارف پیشینی صرفاً به حمل محمول بر موضوع پی نمی‌‌بریم، بلکه به ضرورت و الزام این حمل نیز منتقل می‌شویم. کانت گزاره‌های متافیزیکی، علم‌الطبیعه و ریاضی را اساساً به جهت کشف ضرورت در آنها، پیشینی تلقّی می‌کند و در خصوص منشأ‌یابی برای کشف ضرورت در نحوۀ ارتباط اجزای گزاره، راه‌حلّ شهود را به میان می‌آورد. در این نوشتار، ابتدا به تعاریف معرفت پی...

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

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