منطق معنایی (Intensional logic) شاخه‌ای است از منطق ریاضی که در ابتدا برای بیان معانی در زبان‌های طبیعی پیشنهاد گردید. منطق معنایی - دائرةالمعارف فلسفهٔ...

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

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

وب معنایی یک جنبش مشترک است که توسط w3c رهبری می‌شود که فرمت‌های رایج داده را روی شبکه گسترده جهانی ترویج می‌کند. با تشویق به گنجاندن محتوای معنایی در...

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

هنری سخن می‌افزاید. صنایع ادبی، دو دسته است: تناسب‌هایی آوایی و تناسب‌های معنایی. به آن دسته از آرایه‌های ادبی که از تناسب‌های آوایی و لفظی میان واژه‌ها...

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

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

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

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

شبکه معنایی (به انگلیسی: semantic network) یا شبکه قاب (به انگلیسی: frame network) یک نوع پایگاه دانش است که «روابط معنایی بین مفاهیم» را در یک شبکه نمایش...