از دیدگاه فخر رازی مسئله ماهیت‏داشتن خداوند مبتنی بر بحث اشتراک لفظی یا معنوی وجود است. بر این اساس او دیدگاه اشعری در مورد تفاوت ماهوی و وجودی واجب و ممکن را با براهین اشتراک معنوی وجود ابطال می‏کند؛ چراکه این دیدگاه مبتنی بر اشتراک لفظی وجود است. انتقادات فخر رازی به برهان ماهیت‏نداشتن خداوند و استدلال‏های او در اثبات ماهیت‏داشتن واجب‎الوجود، ناشی از مغالطه میان احکام ماهیت با وجود، ذهن با خا...

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

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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

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

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

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

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