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

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

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

ابتدا مشبکه و نیم مشبکه مدولار متعامد را تعریف کرده و سپس قضایایی برای تصحیح در شناخت انها بیان کردیم

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

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

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

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

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

  در این مقاله به بررسی برداشت ربطی از منطق رواقی پرداخته شده است. برای این منظور ابتدا دو دیدگاه اصلی در مورد گزاره‌های شرطی در منطق رواقی مورد بررسی قرار گرفته است. بر اساس دیدگاه نخست که بکر و اگلی بر آن تاکید دارند، شرطیِ به کار رفته در نظام نحوی منطق رواقی، شرطی فیلونی است؛ در حالی که مطابق دیدگاه دوم که افرادی مانند استوپر، بارنز و نازینیوسکی آن را مطرح ساخته‎اند، این شرطی، شرطیِ ربطی است....