چکیده: خونجی در تقسیم بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره ی موجبه ی کلیه بر اساس تقسیم بندی خونجی، صورت بندی شده است. در این پایان نامه 72 گزاره ی جزئیه نزد خونجی صورت بندی شده اند. خونجی 12 گزاره را از مجموع 72 گزاره ی جزئیه، همیشه صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه ی جزئیه و 6 گزاره ی دیگر سالبه ی جزئیه اند. در فصل ...

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

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

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

از نظر منطقدانان مسلمان، سور در منطق حملی کمیت افراد موضوع را نشان می دهد؛ لذا بر سر موضوع می آید. در این صورت اگر بر سر محمول ظاهر شود نوعی انحراف در گزاره ایجاد می­شود؛ چنین گزاره ای «قضیه منحرفه» نامیده می شود. در منطق جدید، در مقابل، ویژگی اصلی یک محمول کلی و غیر اشباع بودن آن است؛ و از آنجایی که محمول دارای متغیر آزاد(= شناسه) است می تواند مسور گردد و گزاره به دست آمده کاملا خوش ساخت است. ...

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

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

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