مطالب در منطق جدید(ریاضی)

تاریخچه منطق فازی

  تاریخچه منطق فازی زمانی که در سال ۱۹۶۵ پروفسور لطفی زاده، استاد ایرانی الاصل دانشگاه برکلی، اولین مقاله خود را در زمینه فازی تحت عنوان مجموعه های فازی (FUZZY TEST) منتشر کرد، هیچ کس باور نداشت که این جرقه ای خواهد بود که دنیای ریاضیات را به طور کلی تغییر دهد. زمانی که در سال ۱۹۶۵ پروفسور لطفی زاده، …

مطالعه بیشتر »

حساب گزاره‌ها(منطق ریاضی)

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

مطالعه بیشتر »

بررسی برهان جهان خارج مور و مفهوم nonsense در نزد ویتگنشتاین با تکیه به رویکردهای منطقی و صوری

در این مقاله به تفصیل به انتقاد ویتگنشتاین به برهان جهان خارج مور پرداخته می¬شود. ویتگنشتاین مقدمات برهان مور، یعنی “من می¬دانم دستی در اینجا وجود دارد” زمانی که به دست خود اشاره می¬کند، را بی¬معنا یا nonsense می¬داند. اینکه منظور از nonsense چیست هسته انتقاد ویتگنشتاین است زیرا بدون داشتن درک روشنی از منظور ویتگنشتاین از nonsense نمی¬توان مقصود …

مطالعه بیشتر »

منطق جدید و الاهیات ( کاربرد سیستم های منطقی جدید در حل مسائل الاهیاتی) سید مجید ظهیری

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

مطالعه بیشتر »

آزمون اعتبار استدلال با استفاده از جداول ارزش

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

مطالعه بیشتر »

سه “قانون اندیشه”

سه “قانون اندیشه” The Three Laws of Thought برخی متفکران پیشین بعد از آنکه منطق را بعنوان “دانش قوانین فکر” تعریف کردند، در ادامه  گفتند دقیقاً سه قانون بنیادین برای فکر وجود دارد، قوانینی آنچنان بنیادی که رعایت آنها برای درست بکار بردن عقل هم لازم و هم کافی است. بطور سنتی، این سه اینگونه نامیده می‌شوند: اصل اینهمانی( principle …

مطالعه بیشتر »

هم‌ارزی منطقی

هم‌ارزی منطقی در اینجا نه یک رابط، بلکه یک رابطه مهم و بسیار مفید را معرفی می‌کنیم و آنگونه که خواهیم دید از رابط‌‌های تابع-ارزشی بررسیشده  پیشین پیچیده‌تر است. گزاره‌ها تا وقتی دارای ارزش یکسان هستند که بطورمادی هم‌ارز باشند. با توجه به آنکه دو گزاره هم‌ارز مادی هردو درست یا هردو نادرست هستند، بسادگی می‌توان دریافت آنها  مستلزم‌مادی یکدیگرند، …

مطالعه بیشتر »

برخی صور رایج استدلال

برخی صور رایج استدلال الف.  صورت‌های معتبر: برخی از صورت‌های معتبر استدلال بسیار رایج و بطور شهودی قابل درک هستند. اکنون در موقعیتی هستیم تا بتوانیم آنها را بطور دقیق مشخص نمائیم، آنگونه ‌که، هرجا این صورت‌ها بکاربرده شدند،  بتوان آنها را  متمایز کرد. این صورت‌ها نام‌های خاص خود را، که بطور گسترده نیز مورد استفاده قرار میگیرند، دارند و ما نیز از …

مطالعه بیشتر »

صوَر استدلال و ابطال با تمثیل منطقی

صوَر استدلال و ابطال با تمثیل منطقی/Arguments forms and refutation by analogy همانطور که گفتیم وظیفه منطق استنتاجی تمیز استدلال‌های معتبر از نامعتبر است. اگر مقدمات یک استدلال درست باشند (که در  فصل اول  توضیح داده شد)، نتیجه آن نیز باید درست باشد؛ و اگر نتیجه یک استدلال نادرست باشد، حداقل یکی از مقدمات آن نیز باید نادرست باشد. کوتاه …

مطالعه بیشتر »

گزاره‌های شرطی و استلزام مادیِ

گزاره‌های شرطی و استلزام مادیِ وقتی دو گزاره با قراردادن واژه “اگر” قبل از گزاره اول و واژه “آنگاه” بین آنها ترکیب شوند، گزاره حاصل را یک شرطی (همچنین یک “فرضی”، یک “استلزام”) می‌نامند. در یک شرطی مؤلفه‌ای که بعد از “اگر” می آید مقدم (یا دال/مقدمه) و مؤلفه‌ای که پس از “آنگاه” می‌آید را تالی (یا مدلول/مؤخره) می‌نامند. برای …

مطالعه بیشتر »