مقدمه 1- بیان مسئله دادرسی چه از نوع قضائی چه از نوع داوری در ماده 33(1) از منشور سازمان ملل متحد از جمله طرقی برای حل و فصل مسالمت آمیز اختلافات بین المللی در نظر گرفته شده است. دادرسی به معنی دقیق کلمه تاریخ طولانی دارد. با این حال ، در شکل مدرن خویش به اواخر قرن هیجدهم – معاهده جی ، بین بریتانیای کبیر و ایالات متحده – بر می گردد. امروزه بیش از 120 مجموعه مختلف حل و فصل اختلاف وجود دارد. ای...

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

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

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

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

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

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

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