مرثیه دربردارنده احساسات و عواطف دردناک شاعر است. سوزش درونی شاعر به خاطر فقدان عزیزان یا مصائب اجتماعی، افول ارزش‌ها و... در قالب مرثیه خودنمایی می‌کند و می‌توان گفت مرثیه‌ها در گستره ی ادبیات غنائی جایگاه خاصی دارد. ازجمله شاعرانی که مرثیه‌های قابل‌بحث دارد متنبی (303-354) است. وی اندوه خود را بر مصائب روزگار و فقدان عزیزان با سوزوگداز بیان کرده است. در مطالعه مرثیه‌های او این سؤال مطرح است ک...

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

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

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

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

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

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

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

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