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

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

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

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

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

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

پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

درکاربرد روزانه ما زبان طبیعی برای ارائه دانش و اطلاعات ، مقدار زیادی ابهام ، ایهام ، بی دقتی و یا فازی بودن وجود دارد. علی بلند قامت است . مثال ساده ای از این نوع می باشد. منطق دو ارزشی کلاسیک قادر به صوری کردن استدلالهایی که شامل چنین عبارتهایی هستند ، نمی باشد. در مقابل منطق فازی مدعی است که می تواند چنین استدلالهایی را( استدلالهای تقریبی) صوری نماید. دکتر لطفعلی عسکرزاده با معرفی مجموعه های...

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