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

دو اصل مهمی که تشکیل دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم ارزی؛ راه حل های مطرح شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته بندی هستند: نخست ، راه حل هایی که بر رد یا اصلاح معیار نیکو مبتنی اند؛ دوم، راه حل هایی که بر رد یا اصلاح شرط هم ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته ایم. ...

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

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

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

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

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

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

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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