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

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

در قلمروی اخلاق، از طرفی مناقشات فراوانی در جریان است، و از طرفی، رسیدن به اجماع نهایت اهمیّت را دارد. هری جی. گنسلر سعی می­کند با الگوبرداری از منطق صوری، اصولی صوری­ را در اخلاق بازشناسد و طرحی را برای عقلانیّت اخلاقی پی افکند تا اخلاق را بر عقلانیّت مبتنی سازد و راهی به سوی این اجماع باز کند. به نظر می­رسد که این تلاش، در عین سودمندی، قرین توفیق نیست: اولاً، دعوی استنتاج قاعدة زرّین بر اساس اصولی...

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

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

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

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

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

در طول تاریخ قرآن ترجمه های انگلیسی متفاوتی را به خود دیده است. تمام این ترجمه ها مورد تآیید مراجع رده بالای دین اسلام (روحانیت) قرار گرفته اند. با این وجود در حالیکه تمام آنها مورد تآیید قرار گرفته اند مجموعه واژگانی که در این ترجمه ها به کار رفته کاملا فرق می کند. وجود این تفاوت ممکن است در اثر چیزی که ضیاحسنی (1994) آن را درجات سختی (degrees of difficulties) می نامد رخ دهد. روشی که مترجم برا...