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

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

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

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

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

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

قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

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

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

برای پایش دوره های خشک از یک مدل پایش فازی در منطق فازی بر اساس شاخص جدیدی به نام شاخص تبخیر و تعرق و بارندگی استاندارد شده (sepi) استفاده شده است. در این مدل دو تابع عضویت فازی شاخص spiو sei که عملاً نشان دهنده تاثیر کمبود بارندگی و افزایش درجه حرارت بر وقوع دوره های خشک بودند، بعنوان ورودی سیستم استنتاج فازی می باشد. خروجی مدل تابع عضویت sepi می باشد که از ترکیب دو شاخص spi و seiبر اساس پایگاه...