تفاوت بین منطق کلاسیک و منطق غیر کلاسیک چیست؟

منطق یک مفهوم اساسی است که زمینه های مختلفی را از ریاضیات و فلسفه گرفته تا علوم کامپیوتر و مهندسی زیربنایی می کند. من به عنوان یک تأمین کننده منطق ، من از دست اول شاهد کاربردهای متنوع و تفاوت های سیستم های منطقی مختلف بوده ام. در این وبلاگ ، من به تفاوت های بین منطق کلاسیک و منطق غیر کلاسیک می پردازم ، به بررسی ویژگی ها ، برنامه ها و پیامدهای آنها می پردازم.

منطق کلاسیک: پایه و اساس استدلال سنتی

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

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

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

قانون میانه مستثنی ادعا می کند که برای هر بیانیه ، یا بیانیه صحیح است یا نفی آن درست است. هیچ میانه ای وجود ندارد. به عنوان مثال ، اگر بیانیه ای داشته باشیم "باران می بارد" ، طبق قانون وسط محروم ، یا "باران می بارد" درست است یا "باران نمی بارد" درست است.

منطق کلاسیک همچنین از مجموعه ای از اتصالات منطقی مانند پیوستگی (و ، ∧) ، اختلال (یا ، ∨) ، نفی (نه ، ¬) ، پیامدهای (→) و هم ارزی (↔) استفاده می کند. این اتصال دهنده ها به ما امکان می دهند تا بیانیه های پیچیده ای را از موارد ساده تر بسازیم و ارزش های حقیقت آنها را بر اساس ارزش های حقیقت اجزای آنها ارزیابی کنیم.

در حوزه علوم کامپیوتر و مهندسی ، منطق کلاسیک به طور گسترده ای در طراحی مدار دیجیتال مورد استفاده قرار می گیرد. به عنوان مثال ، عملکرد دروازه های منطقی در واحد پردازش مرکزی رایانه (CPU) مبتنی بر اصول منطقی کلاسیک است. ما16802A Agilent 68 - آنالایزر منطق قابل حمل کانالبرای تجزیه و تحلیل سیگنال های دیجیتال در مدارهایی که مطابق با منطق کلاسیک کار می کنند ، طراحی شده است. این آنالایزرها با بررسی حالت های منطقی اجزای مختلف ، به مهندسان کمک می کنند و مدارها را بهینه می کنند.

منطق غیر کلاسیک: شکستن مرزهای سنتی

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

منطق شهودی

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

منطق معین

منطق معین با معرفی اپراتورهای معین مانند ضرورت (□) و امکان (◇) منطق کلاسیک را گسترش می دهد. این اپراتورها به ما این امکان را می دهند تا در مورد آنچه لزوماً درست یا احتمالاً صحیح است بیان کنیم. به عنوان مثال ، بیانیه "لزوماً این مورد است که همه لیسانس مجرد هستند" می توانند به عنوان "□ (همه لیسانس مجرد هستند)". منطق معین کاربردی در فلسفه ، هوش مصنوعی و زبانشناسی دارد. در هوش مصنوعی ، از منطق معین می توان برای نشان دادن دانش و اعتقادات عوامل استفاده کرد.

منطق فازی

منطق فازی برای رسیدگی به عدم اطمینان و مبهم طراحی شده است. در منطق کلاسیک ، بیانیه درست یا نادرست است. با این حال ، در بسیاری از موقعیت های واقعی - جهان ، حقیقت یک بیانیه چندان واضح نیست - بریده شده است. به عنوان مثال ، وقتی می گوییم "این سیب قرمز است" ، میزان قرمزی می تواند متفاوت باشد. منطق فازی به بیانیه ها اجازه می دهد تا مقادیر حقیقت را داشته باشند که از 0 (کاملاً نادرست) تا 1 (کاملاً صحیح) باشد. به عنوان مثال ، یک سیب که عمدتا قرمز است اما دارای برخی از تکه های سبز است ممکن است برای بیانیه "این سیب قرمز است" 0.8 ارزش حقیقت داشته باشد. منطق فازی به طور گسترده ای در سیستم های کنترل مانند کنترل ماشین های لباسشویی مورد استفاده قرار می گیرد ، جایی که می توان مقدار آب ، مواد شوینده و زمان شستشو را بر اساس میزان کثیف بودن لباس ها تنظیم کرد. ما16854a Agilent 136 - آنالایزر منطقی قابل حمل کانال با زمان بندی 2.5 گیگاهرتز در حافظه عمیقمی توان در تجزیه و تحلیل سیستمهایی که شامل منطق فازی هستند ، استفاده شود و به مهندسان کمک می کند تا رفتار این سیستم های پیچیده را درک کنند.

تفاوت های کلیدی بین منطق کلاسیک و غیر کلاسیک

ارزشهای حقیقت

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

قوانین منطقی

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

برنامه

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

پیامدهای تأمین کنندگان منطق

به عنوان یک تأمین کننده منطق ، درک تفاوت بین منطق کلاسیک و غیر کلاسیک برای ارائه محصولات و خدمات مناسب به مشتریان بسیار مهم است. سیستم های منطقی مختلف به انواع مختلفی از ابزارهای تجزیه و تحلیل نیاز دارند. ما16852a Agilent 68 - آنالایزر منطقی قابل حمل کانال با زمان بندی 2.5 گیگاهرتز در حافظه عمیقابزاری همه کاره است که می تواند در هر دو سیستم مبتنی بر منطق کلاسیک و غیر کلاسیک استفاده شود. این امکان را به مهندسان می دهد تا بدون توجه به اینکه سیستم اساسی از اصول منطقی کلاسیک یا غیر کلاسیک پیروی می کند ، زمان و حالت منطقی سیگنال ها را تجزیه و تحلیل کنند.

پایان

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

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

منابع

• هاک ، س. (1978). فلسفه منطق. انتشارات دانشگاه کمبریج.
• کشیش ، G. (2008). مقدمه ای برای منطق غیر کلاسیک: از IF به IS. انتشارات دانشگاه کمبریج.
• زاده ، لس آنجلس (1965). مجموعه های فازی. اطلاعات و کنترل ، 8 (3) ، 338 - 353.