اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی منطق کلاسیک...

محاسبه‌پذیری توانایی حل یک مسئله به روشی مؤثر است؛ که یک موضوع کلیدی در زمینه نظریه محاسبه پذیری در منطق ریاضی و نظریه محاسبات در علوم کامپیوتر است. محاسبه‌پذیری...

است! بخش عمده‌ای از نظریهٔ شماره پذیری، بر نتیجهٔ مسئلهٔ halting، استوار است. نظریهٔ شماره پذیری، با یک شاخه از منطق ریاضی به نام نظریهٔ بازگشت، در ارتباط...

گزاره (به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جمله‌ای است خبری که می‌تواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد...

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

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

برای طبیعت ارائه کند. علم ریاضیات با استفاده از انتزاع و منطق از مفاهیمی چون شمردن، محاسبه و اندازه‌گیری و مطالعهٔ نظام‌مند شکل‌ها و حرکات اشیای فیزیکی...

(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم می‌کنند. این نام‌گذاری...

منطق فازی یا «منطق تشکیک» (به انگلیسی: fuzzy logic) شکلی از منطق‌های چندارزشی بوده که در آن ارزش منطقی متغیرها می‌تواند هر عدد حقیقی بین ۰ و ۱ و خود آن‌ها...

منطق مرتبه‌اول (به انگلیسی: First-order logic) مجموعه‌ای از سیستم‌های صوری است که به آن منطق محمولات یا منطق گزاره‌ای (Predicate logic)، منطق سوری (به...

پزشک، ریاضی‌دان، اخترشناس، فیزیک‌دان، شیمی‌دان، جغرافی‌دان، زمین‌شناس، شاعر، منطق‌دان، فیلسوف، موسیقی‌دان و دولت‌مرد ایرانی و از مشهورترین و تأثیرگذارترینِ...