نتایج جستجو

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

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

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

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

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

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

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

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

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

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

استشهاد به امثله جمهور مقبول تر. روح‌الله عالمی (۱۳۸۹)، منطق، تهران: شرکت چاپ و نشر کتاب‌های درسی محمد خوانساری، منطق صوری، شابک 0 - 015 - 416 - 964...

فلسفهٔ منطق شاخه‌ای از فلسفه است که به بررسی مسائل فلسفی ناشی از منطق می‌پردازد. سؤالاتی از قبیل اینکه: اعتبار یک استدلال به چه معناست؟ مراد از استنتاج...

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

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

صورت قطعی از نتیجه حمایت می‌کنند. در منطق کلاسیک استدلال استقرایی را استدلال از جزء به کل تعریف می‌کردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع...

صوری است را قضیه متا می‌گویند.[نیازمند منبع] مقالات اصلی: صرف (منطق) و معناشناسی صوری (منطق) مفهوم قضیه صوری اساساً نحوی است و در تضاد با مفهوم گزاره حقیقی...

نَتیجه منطقی (به انگلیسی: Logical consequence) یا پیامد منطقی مفهومی در علم منطق است. این مفهوم رابطه‌ای را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد...

دامنهٔ منطق ریاضی قرار می‌دهد. اساتید مختلف چند تعریف از گستره و موضوع بحث این نظریه بیان می‌کنند: فرا ریاضیاتِ دستگاه‌های جبری جبر جهانی + منطق مرتبه...

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

قیاس اقترانی یا باهمشماری نوعی از استدلال قیاسی در منطق است. در این نوع استدلال، نتیجه یا نقیض آن در مقدمات استدلال وجود ندارد. در این نوع قیاس، کوچک‌ترین...