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

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه s , p است p به معنای p بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

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

چکیده در این مطالعه از روش سری زمانی فازی برای پیش بینی شاخص کل بورس اوراق بهادار تهران (تپیکس) در سالهای 78 الی 88 استفاده شده است . به این صورت که داده های هرسال به دو بخش آموزشی و آزمایشی تقسیم شده و در هر سال از این روش برای پیش بینی داده های آزمایشی استفاده گردیده است . به منظور سنجش کارایی روش پیشنهادی ، این روش با روش آرما بر اساس متدلوژی باکس _جنکینز مورد مقایسه قرار گرفته است ، همچنین...

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

شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...

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

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