# لزوم بازنگری در تدوین احکام

<span lang="FA" style="mso-bidi-language: FA;">اما چیزهایی هست که برای همه ما هم واضح است اما در علوم کلاسیک تدوین نشده است. </span><span lang="AR-SA" style="mso-ascii-font-family: Noor_Lotus; mso-hansi-font-family: Noor_Lotus;">مهم این است که از واضحات فاصله نگیریم، ولی همان واضحاتی <span style="mso-spacerun: yes;"> </span>را که همه قبول دارند، یک دسته بندی جدید بکنیم، نظم جدید به آن بدهیم. این مانعی ندارد؛ یعنی بستر بحث را همه قبول داریم، در نظمش با همدیگر اختلاف پیدا می کنیم. </span>

### **<span lang="FA">تنظیر: تواتر در منطق</span>**

<span lang="FA" style="mso-bidi-language: FA;">مثال تواتررا <span style="mso-spacerun: yes;"> </span>عرض کرده ام. درباره تواتر در منطق می گویند یا متواتر هست و قطعی و بدیهی، یا نیست. ببینید در منطق ارسطو صفر و یک است، اگر متواتر است من البدیهیات<span style="mso-spacerun: yes;"> </span>و قطعی است، اگر هم متواتر نیست خلاص، قطعی نیست، بدیهی هم نیست، و حال آن که تواتر خودش چیزی نیست که بگوییم یا قطعی هست یا نیست؛ لذا بعدی ها که دقت کردند گفتند: در منطق دو ارزشی با صفر و یک</span>[<sup><span lang="AR-SA"><span dir="LTR" style="mso-special-character: footnote;"><span style="font-size: 14.0pt; font-family: IRLotus; mso-fareast-font-family: IRLotus; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">\[1\]</span></span></span></sup>](#_ftn1) <span lang="FA" style="mso-bidi-language: FA;">- با دو ارزش صدق- نمی شود تواتر را تبیین کرد، خود تواتر تحققش و اطمینانش به یقین ریاضی نیست که یقین 100 درصد بشود، اصلاً سنخ یقین در تواتر، یقین ریاضی نیست که حالا بحث هایش را دیگران الحمدلله انجام دادند[<span class="MsoFootnoteReference"><span dir="LTR" style="mso-special-character: footnote;"><span style="font-size: 14.0pt; font-family: IRLotus; mso-fareast-font-family: IRLotus; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: FA;">\[2\]</span></span></span>](#_ftn2). ما در زمان خوبی هستیم خیلی از حرف هایی که باید زده شود، زده شده است.</span>

### **<span lang="FA">تشکیک در احکام</span>**

<span lang="FA" style="mso-bidi-language: FA;">واقعا هم باید شکرش کنیم که شما می گویید که ما احکام خمسه تکلیفیه داریم،</span>

#### **<span lang="FA">مکروه؛ اشد کراهه</span>**

<span lang="FA" style="mso-bidi-language: FA;"><span style="mso-spacerun: yes;"> </span>اما وقتی در محدوده کراهت می آیید، اجماع فقها، مسلمین، همه بر این است که کراهت قابل شدت و ضعف است یعنی یک أشدّ کراهةً داریم خب این ها دیگر پذیرفتند که الحمدلله این خیلی خوب است اگر یک طوری در کلاس فقه بود الان این میخش کوفته شده بود، خب<span style="mso-spacerun: yes;"> </span>ما این حرف ها سرمان نمی شود یا مکروه هست یا نیست، دیگر کراهت شدیدتر است یعنی چه؟ </span>

#### **<span lang="FA">شدت در استحباب و وجوب</span>**

<span lang="FA" style="mso-bidi-language: FA;">در استحبابش هم همین است، در وجوب هم در آن واجب هم باز اجماع مسلمین است.</span>

#### **<span lang="FA">حرام؛ کبیره</span>**

<span lang="FA" style="mso-bidi-language: FA;"><span style="mso-spacerun: yes;"> </span>حرامی جزء کبائر است. دو تا آیه شریفه است من خیالم می<span style="mso-spacerun: yes;"> </span>رسد یکی از آن عمود های مهم استنباط است: **«إن تجتنبوا کبائر ما تنهون عنه نکفر عنکم سیئاتکم»[<sup><span dir="LTR" style="mso-special-character: footnote;">**<span style="font-size: 14.0pt; font-family: IRLotus; mso-fareast-font-family: IRLotus; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: FA;">\[3\]</span>**</span></sup>](#_ftn3)** خیلی مضمون قریبی است یک چیزی دارد، یک لوازمی آیه شریفه دارد که باید در فرمایشات معصومین ببینید. یکی دیگر آیه شریفه **«الذین یجتنبون کبائر الاثم والفواحش الا اللمم»[<sup><span dir="LTR" style="mso-special-character: footnote;">**<span style="font-size: 14.0pt; font-family: IRLotus; mso-fareast-font-family: IRLotus; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: FA;">\[4\]</span>**</span></sup>](#_ftn4)** این آیه هم خیلی مضمون است یعنی آیات شریفه چیزهایی هست که اگر ما از کنار این آیات رد بشویم بعدا دیگر همین یک چیزهایی می شود که ...</span>

<div id="bkmrk-" style="text-align: justify;">---

</div>[<span class="MsoFootnoteReference"><span dir="LTR"><span style="mso-special-character: footnote;"><span style="font-size: 12.0pt; font-family: IRBadr; mso-fareast-font-family: IRBadr; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">\[1\]</span></span></span></span>](#_ftnref1) **<span lang="AR-SA">منطق دو ارزشی</span>**

<span lang="FA" style="mso-bidi-language: FA;">منطق دو ارزشی : در این منطق که از آن به منطق کلاسیک یا منطق ارسطویی تعبیر می شود،ارزش گزاره ها همواره یا راست است یا دروغ و حالت سومی وجود ندارد.</span>

<span lang="FA" style="mso-bidi-language: FA;">بر این اساس هیچ گزاره ایی نمی تواند در یک زمان هم درست و هم نادرست باشد.(اصل محال<span style="mso-spacerun: yes;"> </span>بودن ارتفاع نقیضین) و به علاوه هیچ گزاره ایی هم نمی تواند در آن واحد نه درست باشد و نه نادرست(اصل محال بودن ارتفاع نقیضین).</span><span lang="AR-SA">(سایت تنویر)</span>

<span lang="AR-SA">منطق کلاسیک اشاره به گونه‌هایی از </span>[<span lang="AR-SA">منطق صوری</span>](https://fa.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B5%D9%88%D8%B1%DB%8C "منطق صوری")<span lang="AR-SA"> دارد که بیش از همه انواع دیگر مورد مطالعه قرار گرفته‌اند و به‌کار می‌روند. این گونه‌های منطق در مجموعه‌ای از ویژگی‌ها با یکدیگر اشتراک دارند، از جمله: </span>

<span lang="AR-SA">قاعدهٔ استحاله اجتماع نقیضین: یک </span>[<span lang="AR-SA">گزاره</span>](https://fa.wikipedia.org/wiki/%DA%AF%D8%B2%D8%A7%D8%B1%D9%87_(%D9%85%D9%86%D8%B7%D9%82) "گزاره (منطق)")<span lang="AR-SA"> نمی‌تواند هم اثبات شود هم رد.</span>

<span lang="AR-SA">قاعدهٔ استحاله ارتفاع نقیضین: مدعی بر اینست که یک گزاره نمی‌تواند هم اثبات نشود و هم رد نشود.</span>

<span lang="AR-SA">قاعدهٔ اصل طرد شق وسط یا طرد شق ثالث: یک گزاره یا اثبات می‌شود یا رد، حالت سومی ندارد (که البته اخیراً دانشمندان بر روی گزاره‌های دو ارزشی تحقیق‌ها و پیشرفت‌هایی داشته‌اند).(سایت ویکی پدیا)</span>

<span lang="AR-SA">توسعه منطق تا قرن بیستم، چه از دید ریاضی و چه از نگاه فلسفی با این عقیده همراه بوده است که ارزش هر گزاره یا راست است و یا دروغ است و نه هر دو. این موضوع را در منطق به اصلِ «دو ارزشی بودن»(</span><span dir="LTR">principle of bivalence</span><span lang="AR-SA">)</span><span lang="FA" style="mso-bidi-language: FA;"> می‌شناسند و البته با اصل طرد شق ثالث فرق دارد. اصل طرد شق ثالث سومین اصل از اصول سه گانه تفکر است که افلاطون و شاگردش ارسطو </span><span lang="FA" style="font-family: IRLotus; mso-ascii-font-family: IRBadr; mso-hansi-font-family: IRBadr; mso-bidi-language: FA;">آن‌ها</span><span lang="FA" style="mso-bidi-language: FA;"> را بیان </span><span lang="FA" style="font-family: IRLotus; mso-ascii-font-family: IRBadr; mso-hansi-font-family: IRBadr; mso-bidi-language: FA;">کرده‌اند</span><span lang="FA" style="mso-bidi-language: FA;">، </span><span lang="FA" style="font-family: IRLotus; mso-ascii-font-family: IRBadr; mso-hansi-font-family: IRBadr; mso-bidi-language: FA;">می‌باشد</span><span lang="FA" style="mso-bidi-language: FA;">. </span><span lang="FA" style="font-family: IRLotus; mso-ascii-font-family: IRBadr; mso-hansi-font-family: IRBadr; mso-bidi-language: FA;">صورت‌بندی</span><span lang="FA" style="mso-bidi-language: FA;"> منطقی این اصول که تا حدودی نشان دهنده روش تفکر و استنتاج یکسان اکثریت انسان هاست، به این شکل است:</span>

<span lang="FA" style="mso-bidi-language: FA;">١.اصل این همانی: هر چیزی برابر خودش است</span>

<span lang="FA" style="mso-bidi-language: FA;">٢. اصل امتناع تناقض: </span><span lang="FA" style="font-family: IRLotus; mso-ascii-font-family: IRBadr; mso-hansi-font-family: IRBadr; mso-bidi-language: FA;">گزاره‌های</span><span lang="FA" style="mso-bidi-language: FA;"> متناقض در آن واحد با همدیگر ارزش راست ندارند.</span>

<span lang="FA" style="mso-bidi-language: FA;">٣. اصل طرد شق ثالث: از هر دو گزاره متناقض، یکی راست و یکی دروغ است و شق ثالثی متصور نیست.(مجله منطق پژوهی، مقاله </span>[<span lang="FA" style="mso-bidi-language: FA;">تأملی بر منطق‌های چندارزشی گزاره ای،</span>](https://logicalstudy.ihcs.ac.ir/article_6502_f465c507a1fc8010494783ae7143121c.pdf)<span lang="FA" style="mso-bidi-language: FA;"> ص ۶٢)</span>

**<span lang="FA" style="mso-bidi-language: FA;">منطق چندارزشی</span>**

<span lang="AR-SA">به طور کلی منطق چندارزشی، حوزه ای از منطق ریاضی است که درآن علاوه بر ارزش های پذیرفته شده در منطق دو ارزشی یعنی «صدق» و «کذب»، معانی دیگری از صدق نیز پذیرفته می شود ، به گونه ای که «صدق» و «کذب» سنتی، تنها موارد خاصی از این ارزش ها به حساب می آیند. اما گاهی منظور از منطق چندارزشی، منطقی است که اولاً شامل اصل طرد شق ثالث نمی شود و ثانیاً دارای عملکردهای موجه هم نیست.</span>

<span lang="AR-SA">نخستین منطق چند ارزشی، منطق سه ارزشی بود که در سال ۱۹۲۰ توسط لوکاسیه ویچ طراحی شد. یان لوکاسیه ویچ در ۲۱ دسامبر ۱۸۷۸ در شهر «لووف» لهستان به دنیا آمد و در ۱۳</span> <span lang="AR-SA">نوامبر ۱۹۵۶ در دوبلین وفات یافت. وی پایه گذار تحقیقات ریاضی و منطق در لهستان و یکی از پیشگامان مکتب لووف- ورشو است</span><span dir="LTR">.</span>

<span lang="AR-SA"><span style="mso-spacerun: yes;"> </span>او به عنوان ارزش سوم صدق گزاره، ارزشی را به کار گرفت که با واژه هایی از قبیل «امکان</span><span lang="AR-SA" style="font-family: 'Arial',sans-serif;"> </span><span lang="AR-SA" style="font-family: IRLotus;">پذیراست»</span><span lang="AR-SA"> و «خنثی است»، نشان داده می شد،چنان که درباره هر گزاره ای بتوان گفت: «این گزاره یا صادق است ، یا کاذب و یا خنثی».لوکاسیه ویچ بر مبنای منطق سه ارزشی، نظامی از منطق موجهات را ساخت که در آن عملیات منطقی روی گزاره ها یی صورت می گیرد که دارای ارزش های «ممکن»</span><span lang="AR-SA" style="font-family: 'Arial',sans-serif;"> </span><span lang="AR-SA" style="font-family: IRLotus;">،</span> <span lang="AR-SA" style="font-family: IRLotus;">«غیر</span> <span lang="AR-SA" style="font-family: IRLotus;">ممکن»</span> <span lang="AR-SA" style="font-family: IRLotus;">و</span> <span lang="AR-SA" style="font-family: IRLotus;">غیره</span><span lang="AR-SA"> هستند</span><span dir="LTR">. </span><span lang="AR-SA">همانند منطق دو ارزشی،منطق سه ارزشی نیز دارای دو بخش منطق گزاره ها و منطق محمولها است. درسال ۱۹۵۴ ، لوکاسیه ویچ سیستم منطق ۴ ارزشی را ساخت و بالاخره در نهایت منطق دارای بی</span><span lang="AR-SA" style="font-family: 'Arial',sans-serif;"> </span><span lang="AR-SA" style="font-family: IRLotus;">نهایت</span> <span lang="AR-SA" style="font-family: IRLotus;">ارزش</span> <span lang="AR-SA" style="font-family: IRLotus;">را</span> <span lang="AR-SA" style="font-family: IRLotus;">طراحی</span> <span lang="AR-SA" style="font-family: IRLotus;">کرد</span><span lang="AR-SA">. </span><span lang="AR-SA" style="font-family: IRLotus;">در</span> <span lang="AR-SA" style="font-family: IRLotus;">حال</span> <span lang="AR-SA" style="font-family: IRLotus;">حاضر</span> <span lang="AR-SA" style="font-family: IRLotus;">منط</span><span lang="AR-SA">ق های چند ارزشی طراحی شده اند که در آنها هر گونه مجموعه متناهی یا نا متناهی از ارزش های صدق به گزاره ها نسبت داده می شود</span><span dir="LTR">.</span><span lang="AR-SA">(مقاله منطق چندارزشی، تاملی بر اصول مکتب منطقی لهستان، نشریه ایران فرهنگی، تاریخ ٢٠ مرداد ١٣٨٩ ) امکان دانلود مقاله در این </span>[<span lang="AR-SA">سایت</span>](https://parsmodir.com/mcdm/lukasiewicz.php)<span lang="AR-SA"> موجود است.</span>

<span lang="AR-SA">تاریخ تفصیلی و انواع منطق های چند ارزشی را می توان در مقاله </span>[<span lang="FA" style="mso-bidi-language: FA;">تأملی بر منطق‌های چندارزشی گزاره ای،</span>](https://logicalstudy.ihcs.ac.ir/article_6502_f465c507a1fc8010494783ae7143121c.pdf)<span lang="AR-SA">مشاهده کرد.</span>

**<span lang="AR-SA">منطق فازی</span>**

<span lang="AR-SA">منطق فازی (به </span>[<span lang="AR-SA">انگلیسی</span>](https://fa.wikipedia.org/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A7%D9%86%DA%AF%D9%84%DB%8C%D8%B3%DB%8C "زبان انگلیسی")<span lang="AR-SA">: fuzzy logic) شکلی از </span>[<span lang="AR-SA">منطق‌های چندارزشی</span>](https://fa.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82%E2%80%8C%D9%87%D8%A7%DB%8C_%DA%86%D9%86%D8%AF%D8%A7%D8%B1%D8%B2%D8%B4%DB%8C "منطق‌های چندارزشی")<span lang="AR-SA"> بوده که در آن </span>[<span lang="AR-SA">ارزش منطقی</span>](https://fa.wikipedia.org/wiki/%D8%A7%D8%B1%D8%B2%D8%B4_%D9%85%D9%86%D8%B7%D9%82%DB%8C "ارزش منطقی")<span lang="AR-SA"> متغیرها می‌تواند هر </span>[<span lang="AR-SA">عدد حقیقی</span>](https://fa.wikipedia.org/wiki/%D8%B9%D8%AF%D8%AF_%D8%AD%D9%82%DB%8C%D9%82%DB%8C "عدد حقیقی")<span lang="AR-SA"> بین ۰ و ۱ و خود آن‌ها باشد. این منطق به منظور به‌کارگیری مفهوم درستی جزئی به‌کارگیری می‌شود، به طوری که میزان درستی می‌تواند هر مقداری بین کاملاً درست و کاملاً غلط باشد. اصطلاح منطق فازی اولین بار در پی تنظیم </span>[<span lang="AR-SA">نظریهٔ مجموعه‌های فازی</span>](https://fa.wikipedia.org/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%81%D8%A7%D8%B2%DB%8C "مجموعه‌های فازی")<span lang="AR-SA"> به وسیلهٔ </span>[<span lang="AR-SA">لطفی زاده</span>](https://fa.wikipedia.org/wiki/%D8%AF%DA%A9%D8%AA%D8%B1_%D9%84%D8%B7%D9%81%DB%8C_%D8%B2%D8%A7%D8%AF%D9%87 "دکتر لطفی زاده")<span lang="AR-SA"> (۱۹۶۵ م) در صحنهٔ محاسبات نو ظاهر شد.واژهٔ فازی به معنای غیردقیق، ناواضح و مبهم (شناور) است. </span>

<span lang="AR-SA">کاربرد این منطق در علوم نرم‌افزاری را می‌توان به‌طور ساده این‌گونه تعریف کرد: منطق فازی از منطق ارزش‌های «صفر و یک» نرم‌افزارهای کلاسیک فراتر رفته و درگاهی جدید برای دنیای علوم نرم‌افزاری و رایانه‌ها می‌گشاید، زیرا فضای شناور و نامحدود بین اعداد </span>[<span lang="AR-SA">صفر</span>](https://fa.wikipedia.org/wiki/%D8%B5%D9%81%D8%B1 "صفر")<span lang="AR-SA"> و </span>[<span lang="AR-SA">یک</span>](https://fa.wikipedia.org/wiki/%DB%8C%DA%A9 "یک")<span lang="AR-SA"> را نیز در منطق و استدلال‌های خود به کار برده و به چالش می‌کشد. منطق فازی از فضای بین دو ارزش «برویم» یا «نرویم»، ارزش‌های جدید «شاید برویم» یا «می‌رویم اگر» یا حتی «احتمال دارد برویم» را استخراج کرده و به کار می‌گیرد. بدین ترتیب به عنوان مثال مدیر </span>[<span lang="AR-SA">بانک</span>](https://fa.wikipedia.org/wiki/%D8%A8%D8%A7%D9%86%DA%A9 "بانک")<span lang="AR-SA"> پس از بررسی رایانه‌ای </span>[<span lang="AR-SA">بیلان</span>](https://fa.wikipedia.org/wiki/%D8%A8%DB%8C%D9%84%D8%A7%D9%86 "بیلان")<span lang="AR-SA"> اقتصادی یک بازرگان می‌تواند فراتر از منطق «وام می‌دهیم» یا «وام نمی‌دهیم» رفته و بگوید: «وام می‌دهیم اگر…» یا «وام نمی‌دهیم ولی…». </span>

<span class="mw-headline"><span lang="AR-SA">تاریخچه</span></span>

<span lang="AR-SA">منطق فازی بیش از بیست سال پس از ۱۹۶۵ از درگاه دانشگاه‌ها به بیرون راه نیافت زیرا کمتر کسی معنای آن را درک کرده بود. در اواسط دهه ۸۰ میلادی قرن گذشته صنعتگران ژاپنی معنا و ارزش صنعتی این علم را دریافته و منطق فازی را به کار گرفتند. اولین پروژه آن‌ها طرح هدایت و کنترل تمام خودکار </span>[<span lang="AR-SA">قطار زیرزمینی</span>](https://fa.wikipedia.org/wiki/%D9%82%D8%B7%D8%A7%D8%B1_%D8%B2%DB%8C%D8%B1%D8%B2%D9%85%DB%8C%D9%86%DB%8C "قطار زیرزمینی")<span lang="AR-SA"> شهر </span>[<span lang="AR-SA">سندای</span>](https://fa.wikipedia.org/wiki/%D8%B3%D9%86%D8%AF%D8%A7%DB%8C "سندای")<span lang="AR-SA"> بود که توسط شرکت </span>[<span lang="AR-SA">هیتاچی</span>](https://fa.wikipedia.org/wiki/%D9%87%DB%8C%D8%AA%D8%A7%DA%86%DB%8C "هیتاچی")<span lang="AR-SA"> برنامه‌ریزی و ساخته شد. نتیجهٔ این طرح موفق و چشم‌گیر ژاپنی‌ها به‌طور ساده این‌گونه خلاصه می‌شود: آغاز حرکت نامحسوس (تکان‌های ضربه‌ای) قطار، شتاب‌گرفتن نامحسوس، ترمز و ایستادن نامحسوس و صرفه جویی در مصرف برق. از این پس منطق فازی بسیار سریع در تکنولوژی دستگاه‌های صوتی و تصویری ژاپنی‌ها راه یافت (از جمله نلرزیدن تصویر فیلم دیجیتال ضمن لرزیدن دست فیلم‌بردار). اروپایی‌ها بسیار دیر، یعنی در اواسط دههٔ ۱۹۹۰ میلادی، پس از خوابیدن موج بحث‌های علمی در رابطه با منطق فازی استفادهٔ صنعتی از آن را آغاز کردند.</span>

<span lang="AR-SA">دانش مورد نیاز برای بسیاری از مسائل مورد مطالعه به دو صورت متمایز ظاهر می‌شود: </span>

<span lang="AR-SA">۱. </span>[<span lang="AR-SA">دانش عینی</span>](https://fa.wikipedia.org/wiki/%D8%AF%D8%A7%D9%86%D8%B4_%D8%B5%D8%B1%DB%8C%D8%AD "دانش صریح")<span lang="AR-SA"> مثل مدل‌ها و معادلات و فرمول‌های ریاضی که از پیش تنظیم شده و برای حل و فصل مسائل معمولی فیزیک، شیمی، یا مهندسی مورد استفاده قرار می‌گیرد.</span>

<span lang="AR-SA">۲. </span>[<span lang="AR-SA">دانش شخصی</span>](https://fa.wikipedia.org/wiki/%D8%AF%D8%A7%D9%86%D8%B4_%D8%B6%D9%85%D9%86%DB%8C "دانش ضمنی")<span lang="AR-SA"> مثل دانستنی‌هایی که تا حدودی قابل توصیف و بیان زبان‌شناختی بوده، ولی امکان کمّی کردن آن‌ها با کمک ریاضیات سنتی معمولاً وجود ندارد. به این نوع دانش، </span>[<span lang="AR-SA">دانش ضمنی یا دانش تلویحی</span>](https://fa.wikipedia.org/wiki/%D8%AF%D8%A7%D9%86%D8%B4_%D8%B6%D9%85%D9%86%DB%8C "دانش ضمنی")<span lang="AR-SA"> گفته می‌شود.</span>

<span lang="AR-SA">از آن جا که در بسیاری از موارد هر دو نوع دانش مورد نیاز است، منطق فازی می‌کوشد آن‌ها را به صورتی منظم، منطقی و به کمک یک مدل ریاضی بایکدیگر هماهنگ گرداند. (سایت ویکی پدیا)</span>

<span lang="AR-SA">مدل‌ها و سیستم های فازی:</span>

<span lang="AR-SA">در زندگی روزانه ما کلمات و مفاهیمی به کار می‌روند که مراتب و درجات دارند و نسبی هستند و نمی‌توان به‌صورت منطق دو ارزشی که فقط حکم «هست و نیست» را صادر می‌کند، با آن‌ها رفتار کرد. مثلاً اگر چراغی به‌صورت کم نور روشن بود به‌طوری‌که نمی‌توان حکمِ‌ روشن بودنِ طبیعی را برای آن صادر کرد،‌ عرف عبارتِ«چراغ تا حدودی روشن است » یا عبارات مشابهی را برای انتقال موقعیت به کار می‌برد.</span>

<span lang="AR-SA">یعنی احساس ناخودآگاهی به فرد دست می‌دهد که نه می‌تواند حکم به خاموش بودن چراغ کند و نه می‌تواند حکم به روشن بودن آن بکند، یا مثلاً زیبایی یک تصویر،‌به احساس فردی که درباره آن قضاوت می‌کند و به میزان زیبایی که اشیایی که با آن مقایسه می‌شود، بستگی دارد. ممکن است این تصویر در دید ناظری که تابلوها و تصاویری با دقت و ظرافت برتری دیده است، زیبایی کمی داشته باشد و ممکن است در دید ناظری دیگر،‌زیبایی فراوان و خیره کننده داشته باشد.</span>

<span lang="AR-SA">مفاهیمی که دارای مراتب و درجات<span style="mso-spacerun: yes;"> </span>هستند همگی بسته به مبدأ سنجش و موقعیت‌های مربوط به آن‌ها تغییر و تحول دارند. یک مرد چهل ساله در یک اردو که شرکت‌کنندگان آن غالباً پیرمردان هستند، جوان تلقی می‌شود درحالی‌که همین فرد در میان فارغ التحصیلان دبیرستان دیگر حالت جوانی قبل را نخواهد داشت. مثالی که تبدیل به مبنای مفهومی برای این بحث شده است، مثال رنگ خاکستری است. رنگ خاکستری، سفید است یا سیاه؟ رنگ خاکستری،‌ تا حدودی سفید است و تتا حدودی سیاه است و هر چه میزان سیاهی افزایش یابد خاکستری پررنگ تر حاصل می‌شود. برای قضاوت درباره رنگ خاکستری در فضای سیاه و سفید، باید از درصد استفاده کرد: مثلاً ٢٠ درصد سفید و ٨٠درصد سیاه.</span>

<span lang="AR-SA">وقتی از دیدِ خرد و جزء گرا به دیدِ کلان و کل گرا منتقل می‌شویم و می‌خواهیم راجع به مجموعه‌ای حکم صادر کنیم،‌ مفهوم درصد، درجه، مرتبه،‌طیف،‌نسبتاً ، تا حدودی، کم‌وبیش و… به میان می‌آیند…</span>

<span lang="AR-SA">تلاش برای تبیین دقیق موقعیت‌های موجود در دنیای واقعی که به‌دلیل تشکیکی بودن، دارای مراتب و درجات هستند و منحصر به دو حالت بود و نبود نیستند، سبب تولد منطق و تفکری به نام «فازی» شد. تفکر فازی، به‌دنبال توصیف مجموعه‌ها و پدیده‌های غیرقطعی و نامشخص و طیف دار هستند.</span>

<span lang="AR-SA">منطق فازی با متغیرهای زبانی سر و کار دارد. دنیای ما بسیار پیچیده‌تر از آن است که بتوان پدیده‌های آن را با یک توصیف ساده و تعریف کاملاً مشخص، شناخت. …«درجات و مراتب» کلمات حیاتیِ تفکر فازی هستند. منطق فازی، جهان را آن گونه که هست به تصویر می‌کشد.(نگرش سیستمی به دین، ص ٢۴١-٢۴۴)</span>

<span lang="AR-SA">برخی تفاوت‌های عمده منطق فازی با منطق کلاسیک عبارت‌اند از :</span>

<span lang="AR-SA">در منطق فازی ارزش راستی یک گزاره، عددی بین ٠ و ١ است، ولی در منطق کلاسیک یا ٠ است یا ١.</span>

<span lang="AR-SA">در منطق فازی، محمول گزاره‌ها کاملاً مشخص و معین نیستند و دارای درجات هستند مانند بزرگ، بلند،‌ عجول و… ولی در منطق کلاسیک، محمول ها باید کاملاً معین باشند مانند بزرگ‌تر از ۵، ایستاده، فانی و…</span>

<span lang="AR-SA">در منطق فازی با سورهای نامعین مانند اکثر،‌اغلب،‌قلیل،‌به‌ندرت،‌خیلی زیادو… سرو کار داریم.</span>

<span lang="AR-SA">در منطق کلاسیک، تنها قیدی که معنای گزاره و ارزش آن را عوض می‌کند، قید نفی است؛ درحالی‌که در منطق فازی با قیدهای متعددی مانند خیلی،‌ نسبتاً کم،‌کم‌وبیش می‌توان معنی و ارزش گزاره را تغییر داد.</span>

<span lang="AR-SA">در منطق فازی،‌ با الگوهای فکری بشری که اغلب شهودی و احساسی است و در قالب کلمات غیردقیقی که نمی‌توان مرز مشخصی برای مفاهیم آن یافت،‌ سر و کار داریم مثلاً یک تپه شن که نمی‌توان به‌طور قطعی گفت که منظور چه مقدار شن است و چنانچه عدد دقیقی بدهیم ایا اگر یک دانه شن از آن عدد کمتر بود نمی‌توان عنوانِ «تپه شن» را به کار برد؟ (نگرش سیستمی به دین، پاورقی ص 244)</span>

<span lang="AR-SA">برای مطالعه بیشتر در این زمینه به مقاله </span>[<span lang="AR-SA">روش‌شناسی کاربرد منطق فازی در بینش اسلامی</span>](http://ensani.ir/file/download/article/20120413135043-1174-53.pdf)<span lang="AR-SA"> و ادامه همین مبحث در کتاب نگرش سیستمی به دین مراجعه فرمایید.</span>

[<span class="MsoFootnoteReference"><span dir="LTR"><span style="mso-special-character: footnote;"><span style="font-size: 12.0pt; font-family: IRBadr; mso-fareast-font-family: IRBadr; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">\[2\]</span></span></span></span>](#_ftnref2) <span lang="FA" style="mso-bidi-language: FA;">مرحوم شهید </span><span lang="AR-SA">صدر در این‌باره می‌فرمایند:</span>

<span lang="FA" style="mso-bidi-language: FA;"><span style="mso-spacerun: yes;"> </span>التواتر  
الخبر المتواتر من وسائل الإثبات الوجداني للدليل الشرعي، و قد عرف في المنطق بأنه إخبار جماعة كثيرين يمتنع تواطؤهم على الكذب.  
و بموجب هذا التعريف يمكن ان نستخلص، ان المنطق يفترض ان القضية المتواترة مستنتجة من مجموع مقدمتين:</span>

<span lang="FA" style="mso-bidi-language: FA;">إحداهما بمثابة الصغرى، و هي تواجد عدد كبير من المخبرين.</span>

<span lang="FA" style="mso-bidi-language: FA;">و الاخرى بمثابة الكبرى، و هي ان كل عدد من هذا القبيل يمتنع تواطؤهم على الكذب.</span>

<span lang="FA" style="mso-bidi-language: FA;">و هذه الكبرى يفترض المنطق انها عقلية و من القضايا الاولية في العقل، و من هنا عد المتواترات في القضايا الضرورية الست التي تنتهي‏</span> <span lang="FA" style="mso-bidi-language: FA;">اليها كل قضايا البرهان.</span>

<span lang="FA" style="mso-bidi-language: FA;">و هذا التفسير المنطقي للقضية المتواترة يشابه تماما تفسير المنطق نفسه للقضية التجريبية التي هي إحدى تلك القضايا الست، فانه يرى ان علية الحادثة الاولى للحادثة الثانية (التي ثبتت بالتجربة عن طريق اقتران الثانية بالاولى في عدد كبير من المرات) مستنتجة من مجموع مقدمتين:</span>

<span lang="FA" style="mso-bidi-language: FA;">إحداهما: بمثابة الصغرى، و هي اقتران الحادثة الثانية بالاولى في عدد كبير من المرات.</span>

<span lang="FA" style="mso-bidi-language: FA;">و الاخرى: بمثابة الكبرى و هي ان الاتفاق لا يكون دائميا، بمعنى انه يمتنع أن يكون هذا الاقتران في كل هذه المرات صدفة، لأن الصدفة لا تتكرر لهذه الدرجة، و هذه الكبرى يعتبرها المنطق قضية عقلية اولية، و لا يمكن في رأيه أن تكون ثابتة بالتجربة، لانها تشكل الكبرى لاثبات كل قضية تجريبية، فكيف يعقل ان تكون هي بنفسها قضية تجريبية؟</span>

<span lang="FA" style="mso-bidi-language: FA;">و اذا دققنا النظر، وجدنا ان الكبرى التي تعتمد عليها القضية المتواترة، مردها الى نفس الكبرى التي تعتمد عليها القضية التجريبية، لأن كذب المخبر، يعني افتراض مصلحة شخصية معينة دعته الى إخفاء الواقع، و كذب العدد الكبير من المخبرين، معناه افتراض ان مصلحة المخبر الأول في الإخفاء اقترنت صدفة بمصلحة المخبر الثاني في الاخفاء، و المصلحتان معا اقترنتا صدفة بمصلحة المخبر الثالث في الشي‏ء نفسه، و هكذا، على الرغم من اختلاف ظروفهم و احوالهم، فهذا يعني أيضا تكرر الصدفة مرات كثيرة.</span>

<span lang="FA" style="mso-bidi-language: FA;">و على هذا الأساس أرجع المنطق الاستدلال على القضية التجريبية</span> <span lang="FA" style="mso-bidi-language: FA;">و القضية المتواترة الى القياس المكون من المقدمتين المشار اليهما، و اعتقد بأن القضية المستدلة ليست باكبر من مقدماتها.</span>

**<span lang="FA" style="mso-bidi-language: FA;">و لكن الصحيح ان اليقين بالقضية التجريبية و المتواترة يقين موضوعي استقرائي، و ان الاعتقاد بها حصيلة تراكم القرائن الاحتمالية الكثيرة في مصب واحد،</span>**<span lang="FA" style="mso-bidi-language: FA;"> فإخبار كل مخبر قرينة احتمالية، و من المحتمل بطلانها، لإمكان وجود مصلحة تدعو المخبر الى الكذب، و كل اقتران بين حادثتين قرينة احتمالية على العلية بينهما، و من المحتمل بطلانها- أي القرينة- لامكان افتراض وجود علة اخرى غير منظورة هي السبب في وجود الحادثة الثانية، غير انها اقترنت بالحادثة الاولى صدفة، فاذا تكرر الخبر أو الاقتران، تعددت القرائن الاحتمالية و ازداد احتمال القضية المتواترة أو التجريبية، و تناقص احتمال نقيضها حتى يصبح قريبا من الصفر جدا، فيزول تلقائيا، لضآلته الشديدة. و نفس الكبرى التي افترضها المنطق القديم ليست في الحقيقة إلا قضية تجريبية أيضا.  
و من هنا نجد ان حصول اليقين بالقضية المتواترة و التجريبية يرتبط بكل ما له دخل في تقوية القرائن الاحتمالية نفسها، فكلما كانت كل قرينة احتمالية اقوى و أوضح، كان حصول اليقين من تجمع القرائن الاحتمالية أسرع.</span>

<span lang="AR-SA">و</span><span lang="FA" style="mso-bidi-language: FA;"> على هذا الأساس نلاحظ ان مفردات التواتر اذا كانت إخبارات يبعد في كل واحد منها احتمال الاستناد الى مصلحة شخصية تدعو الى الاخبار بصورة معينة- إما لوثاقة المخبر أو لظروف خارجية- حصل اليقين بسببها بصورة أسرع.</span>

<span lang="FA" style="mso-bidi-language: FA;">و كذلك الحال في الاقترانات المتكررة بين الحادثتين، فانه كلما</span> <span lang="FA" style="mso-bidi-language: FA;">كان احتمال وجود علة غير منظورة أضعف، كانت الدلالة الاحتمالية لكل اقتران على العلية أقوى، و بالتالي يكون اليقين بالعلية أسرع و أرسخ، و ليس ذلك إلا لأن اليقين في المتواترات و التجريبيات ناتج عن تراكم القرائن الاحتمالية و تجمع قيمها الاحتمالية المتعددة في مصب واحد، و ليس مشتقا من قضية عقلية اولية، كتلك الكبرى التي يفترضها المنطق</span><span lang="AR-SA">(</span><span lang="FA" style="mso-bidi-language: FA;">دروس في علم الأصول ( طبع انتشارات اسلامى )، ج‏2، ص: 13</span><span lang="AR-SA">۵-١٣٩)</span>

[<span class="MsoFootnoteReference"><span dir="LTR"><span style="mso-special-character: footnote;"><span style="font-size: 12.0pt; font-family: IRBadr; mso-fareast-font-family: IRBadr; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">\[3\]</span></span></span></span>](#_ftnref3) <span lang="AR-SA">سوره نساء، آیه۳۱</span>

[<span class="MsoFootnoteReference"><span dir="LTR"><span style="mso-special-character: footnote;"><span style="font-size: 12.0pt; font-family: IRBadr; mso-fareast-font-family: IRBadr; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">\[4\]</span></span></span></span>](#_ftnref4) <span lang="AR-SA">سوره نجم، آیه۳۲</span>

<div id="bkmrk--1" style="mso-element: footnote-list;"><div id="bkmrk--2" style="mso-element: footnote;"></div></div>