این تحقیق سعی بر آن دارد تا با استفاده از نصوص قرآنی و سنت معتبر، حدود الهی را از دیدگان پنج مذهب بزرگ اسلامی مورد بررسی قرار دهد.

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

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

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

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

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

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

اعتماد عمومی به سلامت بازارهای مالی قدرت نقدشوندگی و کارآیی آنها را افزایش داده و رشد مستمر اقتصادی را به همراه دارد. میزان اعتماد عمومی به بازار سرمایه به شفافیت موجود در این بازار بستگی دارد. در چنین شرایطی دستکاری با ایجاد شرایطی غیرشفاف در روند عمومی قیمت مانعی بر سر راه فرآیند کشف قیمت بوده و با ایجاد تصویری غیر واقعی از فعالیت بازار در اذهان سرمایه گذاران اعتماد عمومی به بازار و در نتیجه ...

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

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