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

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

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

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

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

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

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

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

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

مدیریت خدمات پرتقاضای شهری و برنامه ریزی برای ارائه آنها بصورت الکترونیک در قالب مراکز و مجتمع های چند عملکردی و متمرکز که سازمان های مختلف(اعم از دولتی و غیر دولتی) بخشی از خدمات خود را در آن ارائه می دهند، راهکاری در جهت خدمات رسانی الکترونیک شهری است. این استراتژی به ویژه برای کلانشهرهایی مانند تهران که با انباشتگی جمعیت و عملکردهای شهری و به تبع آن چالش آلودگی زیست بوم مواجه اند، گامی به سو...