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

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

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

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

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

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

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

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

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