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

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

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

آیات قران در صورتی تفسیر صحیح و دقیقی می باند که در بستر تاریخی خود مطالعه شوند چنان که در صورت غفلت از این ضرورت آیات قران تفاسیر متفاوت یا متناقضی پیدا می کنند یکی از آیاتی که مفسران به سبب نادیده گرفتن بستر تاریخی نزولش تفاسیری متفاوت و احیانا متناقض از آن به دست داده اند ایه مس است نویسنده این مقاله از رهگذر تبیین بستر تاریخی نزول این آیه بر آنست که مراد از لایمسه الا المطهرون ( واقعه /79) ...

هدف: پژوهش حاضر با هدف مقایسه فهرستنویسی توصیفی کتاب های فارسی کتابخانه ملی جمهوری اسلامی ایران در سال های 1384 – 1388 و تعیین میزان انطباق آن با قوانین فهرستنویسی انگلوآمریکن انجام شده است. روش پژوهش: این پژوهش با استفاده از روش پیمایشی مقایسه­ای و تحلیل محتوا انجام گرفته است. محتوای اطلاعات کتابشناختی لوح­فشرده کتابشناسی ملی با اصل کتاب ها مقایسه و اطلاعات به دست آمده  به وسیله سیاهه وارسی مح...

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

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

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

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

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