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

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

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

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

در نوشتار حاضر، به این پرسش می‌پردازیم که «آیا ممکن است خداوند از رنج و درد موجودات، بخصوص انسان، به‌واسطۀ شرور در عالم اندوهگین نشود؟». به‌نظر می‌رسد پاسخ مثبت به این پرسش مستلزم ناسازگاری میان کمال اخلاقی و علم مطلق خداوند با تأثرناپذیری او باشد، زیرا علم در این‌گونه موارد یعنی فهم حالت‌های افراد که در اینجا همان رنج کشیدن بشر از شرور است. بنابراین اگر خدا رنج نمی‏کشد، چگونه رنج بشر را درک می...

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

چکیده ندارد.

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

در این مقاله به بررسی برداشت ربطی از منطق رواقی پرداخته شده است. برای این منظور ابتدا دو دیدگاه اصلی در مورد گزاره های شرطی در منطق رواقی مورد بررسی قرار گرفته است. بر اساس دیدگاه نخست که بکر و اگلی بر آن تاکید دارند، شرطیِ به کار رفته در نظام نحوی منطق رواقی، شرطی فیلونی است؛ در حالی که مطابق دیدگاه دوم که افرادی مانند استوپر، بارنز و نازینیوسکی آن را مطرح ساخته‎اند، این شرطی، شرطیِ ربطی است. دی...

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