«اعتقاد» به‌عنوان گرایشی روان‌شناختی به صدق یک قضیه، به اعتباری، دارای دو وجه است: (1) از یک‌سو اعتقاد به یک قضیه با خود پیامدها و لوازمی عملی را به‌همراه می‌آورد. هنگامی که ما واجد یک اعتقاد می‌شویم مقارن با آن گرایش‌های روان‌شناختی دیگری هم در ما پیدا می‌شوند. یک اعتقاد نه تنها می‌تواند رفتاری از ما را تغییر دهد، بلکه بیش از آن زندگی ما را تحت‌تأثیر خود قرار دهد. ما این وجه از اعتقاد را وجه «...

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

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

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

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

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

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

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