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

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

همواره آزمون و وارسی جزء پیچیده ترین و هزینه برترین گام های توسعه سیستم های نرم افزاری به شمار می آیند. با پدیدار گشتن سیستم های نرم افزاری نوین که بیشتر از پیش، بر پویایی، انعطاف پذ یری، خودمختاری، اندازه پذیری و توزیع شدگیشان افزوده شده است، پیچیدگی و هزینه آزمون و وارسی نیز افزون تر گشته است. در این میان، سیستم های با معماری خدمت گرا، به ویژه خدمت های وبی، با آنکه توانسته اند با بهره گیری از...

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

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

الف. موضوع و طرح مسئله: زبان همچون تمامی نظامها، دارای لایه های مختلف ساختاری است که کارکردی مخصوص به خود دارند و افزون بر این، در تعامل با یکدیگرند. دستیابی به الگوهای عملکرد این نظامهای درون زبانی برای درک کارکرد زبان و ایجاد امکان مدلسازی آن حائز اهمیّت است، به ویژه الگوهایی که بتوانند عملکرد سطوح مختلف را فارغ از نظام یک زبان خاص توضیح دهند. ریاضیات به عنوان علمی که روابط و مفاهیم پیچیده را...

در مقاله ی حاضر، پس از مرور انواع کانونی سازی روایی و ابزارهای کلامیِ آن از نظر روایت پژوهان سنتی، با رده-شناسی تازه ای از اقسام کانونی سازی تحت عنوان «کانونی سازی فرضی» نیز آشنا خواهیم شد. منظور از کانونی سازی فرضی، امکان دریافت تجربه ای ادراکی مفهومی است از موضعی که کانونی ساز هرگز در آن حضور نداشته است. توصیف (و سپس تبیین) این نوع کانونی سازی نیازمند بهره گیری از دیدگاه های زبان شناختی و فلسف...