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

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

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

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

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

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

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

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

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

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