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

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

در زبان روسی به واژه ای که به تنهایی و یا به کمک دیگر واژه های دیگر بتوانند نقش گزاره را ایفا نماید‘ شبه گزاره می گویند. واژه های شبه گزاره در زبان روسی کلماتی هستند که نهاد واقعی جمله را معمولاً در حالت به ای قرار میدهند. در این گونه جملات‘ در صورتیکه فعل همراه با شبه گزاره ‘ بکار رفته باشد‘ تحت تأثیر خاصیت نحوی شبه گزاره‘ فعل جمله به صورت مصدر بیان می شود. در زبان روسی شبه واژه می تواند قید وی...

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

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

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

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

در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیل­پذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه می­کند بررسی می­کنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیل­پذیری است. گیرسون تخیل­پذیری را بر اساسِ تصور تحلیل می­کند. گیرسون با پذیرشِ شباهت­هایِ برخی از مولفه­های شرح­اش با مدل یبلو (1993)، ادعا می­کند که از چند جهت بحث را پیش برده است. یکی از این پیشرفت­ها از نظر گیرسون این ا...