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

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

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

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

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

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

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

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

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