مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...

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

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

چکیده: قاعده ی «البینه علی المدعِی و الیمین علی من أنکر» بیانگر آن است که هر کسی در جریان دادرسی مدعی امری گردد، باید ادعای خود را به اثبات برساند. در دعاوی حقوقی چنین تکلیفی ابتدائاً متوجه مدعی (خواهان) است و چنانچه دفاع مدعی علیه (خوانده) به صورت ادعا مطرح شود، تکلیف از دوش خواهان برداشته شده و بر عهده وی قرار خواهد گرفت؛ که از این وضعیت به « انقلاب دعوا » تعبیر می شود. اما در دعاوی کیفری راجع...

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

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

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

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