ساختار نحوی و معنایی و ملاحظات فلسفی در منطق کوانتومی

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