منطق صوری (به انگلیسی: Formal logic) شاخه‌ای از منطق است که طرز صحیح صورت‌بندی اندیشه را به نحو کلی بیان می‌کند به گونه‌ای که با به‌کار بردن آن صورت‌ها،...

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

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

قلمرو و مرزهای منطق صوری کتابی از ریچارد جفری با ترجمهٔ پرویز پیر است که در سال ۱۳۶۶ منتشر و در مراسم کتاب سال جمهوری اسلامی ایران به‌عنوان کتاب برگزیده...

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

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

در منطق صوری، منظور از دستگاه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع. منطق گزاره‌ها...

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

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

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

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

منطق کلاسیک (به انگلیسی: Classical logic) اشاره به گونه‌هایی از منطق صوری دارد که بیش از همۀ انواع دیگر مورد مطالعه قرار گرفته‌اند و به‌کار می‌روند. این...

مؤلف دکتر بهروز مینایی، مهدی منوچهرزاده، چاپ پنجم، ص.8، محمد خوانساری، منطق صوری، 0 - 015 - 416 - 964 Wikipedia contributors, "Syllogism," Wikipedia, The...

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

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

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

که اسناد چیزی به چیز دیگر نباشد. مانند تصور ماه، خورشید و …. تصور، در منطق صوری در مقابل تصدیق قرار داردکه به معنای روش درست درک و شناسایی قضایا می‌باشد...

بطور معمول این عنوان را در مقابل زبان‌های ساختگی مثلِ منطقِ صوری به کار می‌بَرند. هدفِ منطق از نگاهِ بسیاری از متفکرها، بازسازی ساختار زبان طبیعی است...

باشد، نتیجه حتماً سالبه است. منطق کاربردی، سید علی اصغر خندان، قم، مهر، مؤسسه فرهنگی طه، ۱۳۷۹ خوانساری، محمد، منطق صوری، انتشارات آگاه، چاپ سی و یکم،...

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

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

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

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

استدلال معتبر یا یک صدق منطقی را شناخت؟ کدام نظامهای صوری، منطق محسوب میگردند و چرا؟ این رشته با منطق، فلسفه زبان و معرفت شناسی پیوندی نزدیک دارد. برخی از...

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

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

منطقی» و نیز کتاب «منطق صوری» اهمیت منطق در علوم امروز و فوایدی که منطق به لحاظ دقت و صورت‌بندی دقیق در سایر علوم دارد را نشان داد. منطق صوری در واقع یکی از...

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

Rock, Irvin (۱۹۸۳)، The Logic of Perception, MIT Press, Cambridge, MA منطق صوری، انتشارات دانشگاه تهران (۱۷۳۳) محمد خوانساری تجربه گرایی همسو با عقل‌گرایی...

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

موضوع، بُنداشت، بُن قانون یا آکسیوم (به فرانسوی: Axiome) در فلسفه، ریاضیات، منطق و فیزیک، گزاره‌ای است که بدونِ اثبات و به شکل پیش‌فرض پذیرفته می‌شود و از...