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

جای خوشبختی است که بروز سرطان، در زنان حامله، پدیده ای نسبتاً نادر است. زیرا این حالت هم برای پزشک و هم برای بیمار مأیوس کننده می باشد. شاید بتوان گفت در هیچ جای دیگر در علوم پزشکی چنین امر،نامطلوبی وجود ندارد. ارتباط نزدیک بین درمان و مرگ وجود دارد. شیوع سرطان همراه با حاملگی در ۱ در ۱۰۰۰ مورد است که از این میان ۱ در هر ۱ . ۱۸ مورد از آن بدخیمی های همراه با حاملگی است. 

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

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

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

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

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

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

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

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