جستجوي پيشرفته | کتابخانه مجازی الفبا

چکیده ندارد.

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

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