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

در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...

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

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

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

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

  تحلیل رفتار رأی‌دهی روسیه در شورای امنیت نیازمند فهم منطق تصمیم گیری در سیاست خارجی می‌باشد. گذار از عقلانیت ایدئولوژیک عصر شوروی و رأی‌دهی وتویی به عنوان منطق رفتاری مسلط کرملین در شورای امنیت به عملگرایی واقع بینانه عصر پساشوروی و رفتار رأی‌دهی ائتلافی، غیرائتلافی و موازنه‌گرا، فهم گشت و بازگشت رأی‌دهی مسکو در شورای امنیت سازمان ملل را به معمای اصلی نگاشته جاری تبدیل ساخته است. </e...

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

ادبیات کهن فارسی به دلیل وسعت دامنه و عمق محتوا مسائل پژوهش نشدۀ فراوانی دارد. یکی از قالب های ادبی در متون گذشتۀ فارسی، ساختار داستان مینی مال و داستان بلند است. در این پژوهش، چارچوب ساختاری دو اثر از عطار (مصیبت نامه و منطق الطیر) را براساس دو الگوی لباو و والتسکی (1967) و گریماس (1966) بررسی کرده ایم. فرضیة نگارندگان این است که ساختار داستان های مصیبت نامه به دلیل اینکه به قصه و حکایت شبیه ا...

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...