بر پایه نظریه­ معناشناسی پیش­ فرض (default semantics)، زمان مفهومی است ادغامی(merger)که برخاسته از ترکیب منابع معنایی همچون واژگان و ساخت دستوری، پیش­ فرض ­های شناختی (cognitive defaults)و استنتاج آگاهانه با تکیه بر عوامل بافتی (consciouspragmatic inference) می ­باشد. سخنگویان هنگام مواجه شدن با یک فعل خاص، یا آن را جزء پیش ­فرض ­های شناختی خود خواهند یافت و به سرعت و بدون نیاز به پردازش ذهنی س...

جدول داده ـ ستانده متقارن در ایران توسط بانک مرکزی و مرکز آمار محاسبه می شود. بانک مرکزی به منظور جلوگیری از ظهور درایه منفی، پیچیدگی حذف آنها و همچنین برقراری تراز مجدد جدول، همواره از فرض تکنولوژی بخش طرفداری می کند. درحالی که مرکز آمار ایران، ابتدا از فرض تکنولوژی بخش طرفداری کرده، اما پس از آن، عبارت «عمدتاً فرض تکنولوژی کالا با انجام تعدیلاتی براساس فرض تکنولوژی مختلط» را مبنای محاسبه جدول ...

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

در یک سیستم لجستیک، تصمیماتی نظیر مکان‌یابی انبارها، مسیریابی وسایل نقلیه و تخصیص مسیرها به این وسایل نقلیه باید به‎طور همزمان اخذ شوند. در واقع این‎گونه مسایل، به دنبال یافتن مکان و تعداد مناسب تسهیلات و نیز مسیرهای توزیع توسط وسایل نقلیه هستند. این مسئله به‎دلیل پیچیدگی و حجم بالای محاسبات جزء مسایل بهینه‌یابی ترکیبی و NP-hard قرار می‌گیرد. به‎دست آوردن حل بهینه برای مسئله مورد نظر در ابعاد ب...

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

بسیاری از فیلسوفان پیش از ملاصدرا وجود را اعتباری و معقول دوم می‌دانستند؛ به این معنی که دارای مابإزای عینی و بالذات نیست. اگر در نظریة اصالت وجود، وجود عین تحقق و خارجی بودن است، مفهوم وجود ضرورتاً دارای مصداق یا مابإزای عینی خواهد بود و به همین دلیل نمی‌تواند اعتباری و معقول دوم به معنای پیش گفته باشد. در واقع بین اصیل بودن، منشأ آثار بودن و خارجی بودن وجود و نحوة دلالت مفهوم وجود به امور که م...

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

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