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

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

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

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

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

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

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

امروزه مدیربت پسماندها و مواد زائد شهرها جهت آسایش شهروندان و حفظ سلامتی و رفاه آنان و حفظ محیط زیست امری ضروری به شمار می‌رود. هدف تحقیق حاضر یافتن محل مناسب برای دفن مواد زائد و پسماندهای شهری در شهر ماکو با استفاده از روش فازی و منطق بولین با استفاده از سیستم اطلاعات جغرافیایی (GIS) می‌باشد. بدین منظور از لایه‌های متعددی از جمله نقشه توپوگرافی، نقشه شیب، نقشه آبهای زیرزمینی، نقشه راهها،نقشه ...

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

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