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

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

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

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

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

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

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

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

پژوهش پیش رو با هدف بررسی و تحلیل میزان تمایل کشاورزان به مشارکت در پروژه‎های مدیریت خشکسالی در شهرستان طارم علیا، واقع در استان زنجان، انجام گرفته است. این پژوهش از نوع توصیفی ـ همبستگی است که به‎روش پیمایشی اجرا شده است. جامعه‎ی آماری این پژوهش، همه‎ی کشاورزان شهرستان طارم علیا بوده (12000=N) و روش نمونه‎گیری، تصادفی طبقه‎ای با انتساب متناسب است. حجم نمونه با استفاده از جدول کوکران برای جمعیّت...

احداث سدهای بزرگ به واسطه مزایای اجتماعی و منافع آن، هزینه های زیاد و مشکلاتی را نیز به همراه داشته که در پاره‏ای از موارد جبران ناپذیر هستند. هدف از این پژوهش بررسی پیامدهای سد شهدا (سلیمانشاه)، بر روستای جوبکبود علیا واقع در شهرستان سنقروکلیایی می باشد که با رویکرد کیفی و بهره گیری از تحلیل محتوا انجام پذیرفت. جامعه مورد مطالعه پژوهش کشاورزان روستای جوبکبود علیا می باشند که با روش نمونه گیری ...