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

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

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

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

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

امام خمینی (ره) راهبری انقلاب اسلامی 1357 را به عهده داشت. او در بافت گفتمانیِ مواجهة تاریخی متجددین و متدینین با «سنت» با فراتر رفتن از جهت‌گیری‌های «نفی سنت» و «بازگشت به سنت» از یک سو و «تکرار سنت» از سوی دیگر، جهت‌گیری «احیای سنت» را پایه‌ریزی و تقویت کرد. وی همچنین از دوگانة توسعه‌ای «سنت-تجدد» فراتر رفته و ضمن «نادیده‌انگاری مثبت» غرب، منطق نقد درونی سنت را مورد توجه قرار داده است. بر اساس...

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

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

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