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

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

هدف این پژوهش مقایسه ی مسائل جنسی و ثبات ازدواج در زوجین با ازدواج سنتی و غیر سنتی بود . جامعه ی آماری را کلیه ی زوجین 22 تا 45 ساله ی شهر شیراز که مدت ازدواجشان کمتر از 15 سال بود تشکیل می دادند . نمونه ی پژوهش شامل 291 نفر ( 177 نفر ازدواج سنتی و 144 نفر ازدواج غیر سنتی ) بود که به روش نمونه گیری خوشه ای چند مرحله ای انتخاب شدند . از مقیاس های چند وجهی مسائل جنسی ( msq ) فیشر و والترز و شاخص ...

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

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

شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...

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

یکی از مسائلی که هیدگر از همان سال‌های اوّلیّة تحصیل دانشگاهی خود و بعد از آن در سال‌های تدریس به آن پرداخته است مسألة منطق است. البته هر کجا او از منطق سخن می‌گوید منظورش منطق فرادادی (سنّتی) است و نه منطق ریاضى- سمبلیک که اصطلاحاً به آن منطق جدید مى‏گویند. آنچه او دربارة منطق جدید گفته و نوشته است بسیار کم و غالباً همراه با توصیفاتی منفى است. در منطق فرادادی (سنّتی) نیز او به دنبال دستیابی به روش‏ه...

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