منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخه‌ای از ریاضیات است که به پیوند ریاضی و منطق می‌پردازد. ریشه‌های پیدایش این منطق به کارهای...

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

دانش مورد نیاز است، منطق فازی می‌کوشد آن‌ها را به صورتی منظم، منطقی و به کمک یک مدل ریاضی بایکدیگر هماهنگ گرداند. پس از ۱۹۶۵، منطق فازی بیش از بیست سال...

در نظر می‌گیرد و این فرضیه را با روابط ریاضی می‌آزماید و محاسبه می‌کند. در نتیجه یک نظریه از میان این دو نظریه، رد و باطل می‌شود. (در مثال ما، مهبانگ...

ریمانی و نظریه اعداد. نظریه مجموعه‌ها و منطق ریاضی به منظور تببین بنیان‌های ریاضیات توسعه یافته‌اند. منطق ریاضی شامل مطالعهٔ منطق و کاربردهای منطق صوری به...

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

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

منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد. استدلال کل به جزء هنگامی است که در استدلال از یک نظریه...

احتمالات بیزی نظریه تصمیم‌ها نظریه احتمالات نظریه بازی‌ها نظریه اطلاعات فرایندهای تصادفی متغیرهای تصادفی فرایند وینر منطق احتمالاتی دانش منطق فازی Kendall's...

حوزه دانش منطق ابن سینا با ابداع دو نظریه «قیاس اقترانی شرطی» و «موجهات زمانی» از منطق ارسطویی پا فراتر نهاد در طرح نوینی از منطق موسوم به منطق سینوی را...

«واقعیت» را نشان می‌دهد ناشی از نفهمیدن منطق زبان است که برای فهمیدن اش باید به این نگاه کنیم که هر مفهوم ریاضی در کجا به کار می‌رود و اینکه بگوییم چه...

جبری ست پس موضوع این نظریه به جبر مربوط می‌شود و از طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار می‌دهد. اساتید...

و تفکر است. آثار ارسطو متنوع و شامل جمیع معارف و علوم یونانی (جز ریاضی) و اصولاً منطق، علوم طبیعی، الهیات و اخلاقیات افلاطون می‌شده است که از آن جمله باید...

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

متمایز گفته می‌شود. مفهوم مجموعه با وجود سادگی آن از مفاهیم پایه‌ای ریاضی است. نظریه مجموعه‌ها در اواخر سده ۱۹ مطرح شد و اکنون یکی از بخش‌های اصلی ریاضیات...

در این مقاله فهرستی از اکثر نمادهای ریاضیاتی تهیه شده. نمادهای ریاضی برای ابراز عملی روی مفاهیم ریاضیاتی یا بیان رابطهٔ آنها استفاده می‌شوند. در هنگام...

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

قضیهٔ خودکار در منطق مرتبه اول انجام شده‌است. منطق مرتبه اول، نظریه‌های فرامنطقی زیادی را برآورده می‌کند، و این کار قابلیت تحلیل در نظریه برهان را برای...

دیفرانسیل و نظریه بازی‌ها نمونه‌هایی از مدل‌سازی ریاضی برای حل مسائل جهان به‌شمار می‌روند؛ اگرچه مدل‌سازی محدود به موارد یادشده نیست. مدل ریاضی، گاه شامل...

Forbes Nash Jr.؛ ۱۳ ژوئن ۱۹۲۸ – ۲۳ مهٔ ۲۰۱۵) ریاضی‌دان آمریکایی بود. او مشارکت برجسته‌ای در زمینهٔ نظریه بازی، هندسه دیفرانسیل و معادله دیفرانسیل با مشتقات...

دهند، اما نظریه مجموعه‌ها اغلب در مورد اشیاء مرتبط با ریاضی به کار می‌رود. زبان نظریه مجموعه‌ها را می‌توان در تعریف تقریباً همه‌ی اشیاء ریاضی به کار برد...

در مدل تئوری، دیاگرام (Diagram) یا نگارهٔ یک ساختار، مفهومی ساده و در عین حال قوی برای اثبات ویژگی‌های مفید یک تئوری است. برای مثال، ویژگی ادغام (amalgamation...

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

برگزیده ویرایش اخلاق کانتی یک نظریهٔ اخلاقیِ وظیفه‌گرا است که ایمانوئل کانت تدوین و معرّفیش کرده است. بر مبنای این نظریه، که در نتیجهٔ عقل‌گرایی عصر روشنگری...

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

به هم باشد دو کلمه متضاد مثل : دور و نزدیک ، شروع و پایان ، پارادوکس در منطق به «حکم» یا احکامی ظاهراً صحیح. ویلیام کواین پارادوکس‌های منطقی را به چهار...

در منطق ریاضی، یک لیترال، یک اتم (به انگلیسی: atom) یا شیء منطقی یا نقیض آن است. این مفهوم بیشتر در تبدیل فرم نرمال اشتراکی توسط نظریه برهان یا نظریه پروف...

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

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

Mathison Turing) ‏(۲۳ ژوئن ۱۹۱۲ – ۷ ژوئن ۱۹۵۴) ریاضی‌دان، دانشمند رایانه، منطق‌دان، فیلسوف، زیست-ریاضی‌دان و رمزنگار انگلیسی بود. تورینگ را پدر علوم کامپیوتر...

می‌گردد. نظریه ریاضی (معروف به «نظریه رسمی») به استفاده از ریاضیات در ساختن نظریه‌های اجتماعی اشاره دارد. هدف جامعه‌شناسی ریاضی ارائه نظریه جامعه‌شناختی...