یکی از پرسش های اساسی در منطق این است که چرا ارسطو به «منطقِ شرطی» نپرداخته است؟ او که به عنوان مدوّن منطق شناخته می شود چگونه ممکن است به این بحث مهم توجهی نداشته باشد؟ آیا این بی توجهی فقط یک غفلت است یا عمدی است و ارسطو دلیلی برای آن دارد؟ ما در این مقاله پس از بررسی منطق شرطی (قضایا و قیاس های شرطی) از دیدگاه رواقیون و بیان اهمیت آن نزد منطق دانان جدید، به مبانی نظری و فلسفی دو نظام منطق حملی...

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

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

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

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

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

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

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

لوئیس کرول در مقاله «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کننده استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی ک...

منطق طریق اولایی نوع خاصی از منطق صوری است که استدلال‌های آن، برخلاف منطق ارسطویی متعارف، دارای چهار حد است که به واسطة آن‌ها پس از مقایسة دو شخص، چیز یا کار با هم، حکم یکی به دیگری نیز نسبت داده می‌شود و یا از آن سلب می‌شود. این منطق را می‌توان، به ‌رغم باور آوی سیون، به‌وفور در آیات قرآن یافت؛ تا آن‌جا که می‌توان این صورت از منطق را منطق غالب در آیات قرآن قلمداد کرد. در تحقیق حاضر، پس از مقدم...