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

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

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

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

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

هنگام بررسی لاشه حشراتی که از مکان های مختلف در استان های مازندران، گیلان و تهران جمع آوری شده بود، پوشش قارچی در سطح بدن آن ها مشاهده گردید که پس از جداسازی و خالص کردن قارچ های مزبور گونه های beauveria brongniartii*  (از روی حشره کامل کفشدوزک هفت نقطه ای)، paecilomyces lilacinus**(از روی لاروهای ابریشم باف ناجور و حشره کامل سن گندم)،p. tenuipes* (از روی لارو و شفیره ابریشم باف ناجور)،p. farin...

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

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

بیماری باکتریایی آتشک اولین بار در ایران برروی گلابی از منطقه برغان کرج توسط نگارندگان گزارش شد. به دنبال آن بیماری روی سایر میزبانها درقزوین و در استان آذربایجان غربی نیز مشاهده گردید. در سال 1373 آلودگیهای پراکنده ونسبتا خسارت بار در باغهای کرج روی به ‘ گلابی وسیب بوجود آمد. حساسترین ارقام به ترتیب به ‘گلابی های پیوند شده بر روی به ‘ گلابی‘ سیب زرد لبنانی و قرمز لبنانی می باشد. بر اساس علائم ...

در این مقاله، روش کنترلی جدیدی برای فیلترهای اکتیو موازی (shunt-apf) ارائه شده است. با استفاده از روش کنترلی پیشنهادی که بر پایۀ استفاده از تئوری توان لحظه ای می باشد، جریان تزریقی توسط فیلتر اکتیو موازی قادر است مؤلفه های هارمونیکی، مؤلفۀ توان راکتیو و نامتعادلی جریان بار را جبران کند. در این روش، فیلتر اکتیو موازی به گونه ای عمل می کند که مجموعه بار و فیلتر اکتیو از سمت شبکه به صورت یک مقاومت...