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

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

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

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

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

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

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

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

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

یادداشت مدیر اجرایی*           چکیده در فلسفه اسلامی با تکیه بر معارف اسلامی، اصل تضاد در عالم آفرینش آن هم در نظام عَرضی عالم طبیعت پذیرفته شده است. مدّعای ما این است که عقل و دین مشمول قاعده تضاد نیستند، بلکه متعاضد و با یکدیگر هماهنگند. اگر در مقام اثبات، تعارضی پیش بیاید، چه باید کرد؟ آیا باید عقل را تخطئه کنیم یا به تأویل مسأله دینی روی آوریم و البته نتیجه تخطئه عقل، جمود بر ظواهر دینی است ک...