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

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

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

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

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

هدف این مقاله معرفی نظریه شاخص های عددی با تاکید بر رویکرد اقتصادی و کاربرد آن در اقتصاد رفاه از بعد مصرف‏کننده می باشد. در این راستا شاخص درست هزینه زندگی با استفاده از سیستم معادلات تقاضای تقریباً ایده‏آل خطی برای خانوار شهری و روستایی در ایران مورد محاسبه قرارگرفت. نتایج نشان می دهد شاخص درست هزینه زندگی طی دوره 86-1376 برای خانوار متوسط شهری کوچک‏تر از خانوار متوسط روستایی و در واقع خانوار ر...

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

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

مقدمه: هدف از این مطالعه توصیف توافق بین قند ناشتای مختل (ifg=impaired fasting glucose) و تحمل گلوکز غیرطبیعی با در نظر گرفتن معیارهای قدیم و جدید تعریف ifg است. همچنین اثر اضافه شدن داده های بالینی نیز بر این توافق مورد ارزیابی قرار گرفت.روش ها: در یک مطالعه از نوع توصیفی و مقطعی، 8766 مرد و زن بالای 20 سال از جمعیت شهری تهران مورد مطالعه قرار گرفتند. بعد از خروج افراد با سابقه دیابت قبلی و یا...

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