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

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

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

در مقاله ای با عنوان «صورت بندی برهان صدیقین ابن‏سینا در نجات بر پایه منطق محمولات مرتبه اول»، صورت بندی­ای از برهان صدیقین ابن‏سینا در کتاب نجات ارائه شده بود. اکنون با تأملی دوباره بر صورت بندی آن مقاله ، درصدد بیان آن هستیم که فرض­های این صورت بندی به همراه دو فرض وحدت واجب و وجود حداقل یک موجود ممکن، منجر به تناقض می شود. ضمن بررسی سه راه حل ممکن برای حل تناقض، یعنی تغییر تعریف سلسله علی تا...

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

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

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

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

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