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

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

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

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

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

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

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

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

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

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