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

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

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

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

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

در این پایان نامه، ما نخست مفاهیم mt-تابع،$tau$-تابع و$0^tau$-متر را معرفی نموده، سپس با به کارگیری این مفاهیم، قضایای نقطه ثابت جدیدی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی اثبات می کنیم. سپس رده ی نگاشت های مستعد مجموعه-مقدار را معرفی نموده و قضایای نقطه ثابت جدیدی که گسترش هایی از قضیه نقطه ثابت کنان و قضیه نقطه ثابت جاترجی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی در فضاهای متری کامل ه...

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

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

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

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