هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

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

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

مقدمه: وقتی از«رفاه اجتماعی» سخن به میان می‌آید؛ کمتر به ریشه‌ها و فلسفه رفاه توجه می‌شود و معمولاَ، نیازهای رفاهی از جنس نیازهای دست دوم و روبنایی تلقی می‌شوند و همین امر سبب می‌شود که به خصوص در مواقع بروز محدودیت‌های اقتصادی و سیاسی به راحتی از تأمین نیازهای رفاهی مردم صرف‌نظر شود. این درحالی است که مفاهیم بنیادین مربوط به رفاه اجتماعی در اغلب سنت‌های فکری دقیقاً همان مفاهیمی هستند که پایه‌ها...

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

در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های آن را بررسی می کنیم. در پایان، آخرین تحقیقات بر روی این تعمیم ها را مطرح می کنیم.