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

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

وجه یا وجوه اشتراک اثبات‌های ریاضیاتی کدامند؟ تاکنون پاسخ‌های مختلفی به این پرسش ارائه شده است. برخی اساساً منکر هر نوع اشتراک مفهومی بین اثبات‌ها هستند، و برخی دیگر قائل به دوگانگی یا چندگانگی مفهومی اثبات‌های ریاضی هستند. یعنی اثبات‌ها را در ذیل دو یا چند هسته مفهومی اساساً متمایز قرار می­دهند. در این مقاله نشان می‌دهم که اولاً اثبات‌های ریاضی و غیر ریاضی از یک مقوله‌ى واحد یعنی استدلال موفق...

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

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

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

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

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

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

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