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

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

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

 احمد فؤاد نجم، شاعر معاصر مصری یکی از چهره­های برجستۀ شعر پایداری است که همواره در شعرش، دردهای جامعۀ عربی ‌ویژه دردهای مردم مصر را بازگو کرده است. این شاعر مبارز و انقلابی به سبب اشعار انتقادی­اش، بارها به زندان افتاد؛ اما هرگز از عقاید انقلابی و ادب پایداری دست نکشید. در این پژوهش، تلاش شده است تا جلوه­های ادب پایداری در شعر وی از نظر شکلی و محتوایی بررسی شود. یافته اساسی این جستار نیز در ای...

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

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

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

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

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