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

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

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

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

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

از مقایسة نظریۀ معرفت شناختی ملاصدرا با نظریۀ معرفت شناختی فضیلت گرایانة معرفت شناسانی مانند زگزبسکی و پلانتینگا، می توان استنباط کرد که نظریة ملاصدرا جزو نظریه های معرفت شناختی مبتنی بر فضیلت قرار می گیرد. پلانتینگا به فضیلتمندی قوای مولد باور و زگزبسکی علاوه بر آن به تأثیر کارکرد قوای اخلاقی (فضایل اخلاقی) بر کارکرد قوای عقلانی در تولید معرفت توجه کرده است. در واقع هر یک از ایشان به وجهی از م...

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

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

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

نقض‌های گتیه به تعریف «باور صادق موجّه»، معرفت‌شناسان را بر آن داشت تا درصدد ارائه تعریفی جامع و مانع برآیند. در رویکرد نوینِ معرفت‌شناسی فضیلت‌محور، ادعا می‌شود که تنها اگر در فرآیند معرفت از فضایل عقلانی و معرفتی مدد گرفته شود، عامل معرفتی به حقیقت دست می‌یابد و معرفت یعنی: «باور برآمده از فعالیت فضایل عقلانی». این رویکردِ نوپا و سرایت دادن نظریه فضیلت به ساحت معرفت‌شناسی، با چالش‌های فراوانی رو...