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

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

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

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

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

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

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

روند قیمت های نسبی حامل های انرژی به ازای شاخص بهای عوامل تولید در اقتصاد ایران با بسیاری از کشورهای صنعتی و حتی صادرکننده انرژی همسویی ندارد. این روند ناشی از اعمال قیمت های حمایتی دولت در بازار حامل های انرژی بوده که سبب جانشینی حامل های انرژی به جای سایر نهاده های اولیه تولید (کار و سرمایه) گردیده است. اعمال قیمت های حمایتی که با پرداخت یارانه برای حامل های انرژی هرچند با هدف تقویت روند رشد ...

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

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