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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

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

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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می‌بود ... هیچ علمی کاملاً صوری نیست» (Frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسة اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه‌های سازگاری و استقلال برای این نظام، راه‌حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئلة خطوط موازی) ارائه داد. گوتلوب فرگه، پایه‌گذار منطق صوری جدید، مخالفت‌های بنیادینی با روی...

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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