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

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

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

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

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

در این مقاله، پردازنده ضرب عددی خم بیضوی کارآمد در میدان باینری gf(2163) طراحی و با استفاده از کدهای قابل سنتز vhdl پیاده سازی شده است. طراحی معماری های جدید و کارآمد برای واحدهای محاسبات میدان و به ویژه واحد محاسباتی ضرب میدان منجر به کاهش طول مسیر بحرانی پردازنده شد. همچنین استفاده از اجرای موازی عملیات ضرب میدان در الگوریتم ضرب عددی lopez-dahab و جدا نمودن مسیر جمع دو نقطه از کلید باعث بهبود...

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

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

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

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