جستجوي پيشرفته | کتابخانه مجازی الفبا

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

فارسی | العربیه | English

در تلگرام به ما بپیوندید

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

مرور > مرور کلید واژه ها

4. اصطلاحنامه سایر موضوعات

اصطلاحنامه منطق

منطق جدید

منطق غیر کلاسیک (منطق های توسعه یافته)

منطق فازی

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

تعداد رکورد ها : 16

عنوان :

بررسی ساختار نحوی و معنایی نظام های منطق فازی مبتنی بر تقریر پیتر هایک

نویسنده:

هدیه یعقوبی بجمعه

نوع منبع :

رساله تحصیلی

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

کلیدواژه‌های اصلی :

ساختار نحوی , ساختار معنایی , قضیه تمامیت , قضیه صحت , منطق جبری , منطق جدید , منطق کلاسیک , منطق فازی

چکیده :

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

مشخصات اثر

عنوان :

استدلال تقریبی معکوس و نقش عملگرهای استلزام

نویسنده:

خاطره آذرانداز

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

کرمان: دانشگاه آزاد اسلامی واحد کرمان,

کلیدواژه‌های اصلی :

استلزام منطقی , مجموعه های فازی , علم ریاضی , منطق ریاضی , نظریه مجموعه های فازی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق فازی , استدلال تقریبی معکوس

چکیده :

نظریه مجموعه‌های فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینه‌های مختلف پیدا کرده است . مجموعه‌های فازی نظریه‌ای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیم‌گیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس می‌پردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t هم‌نرمها و عملگرهای مربوط به مجموعه‌های فازی می‌پردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه می‌نماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح می‌شود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی می‌شود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی می‌کنند در فصل سوم مفصلا به آنها می‌پردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی می‌شوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست می‌آورند بررسی شده‌اند.

مشخصات اثر

عنوان :

منطق فازی ربطی: رویکردی گزاره‌ای

نویسنده:

سیداحمد میرصانعی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

کلیدواژه‌های اصلی :

منطق ربط , فراسازگاری (منطق) , منطق ریاضی , منطق نمادی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق گزاره ها , منطق فازی , قوانین دمورگان

چکیده :

در استدلال‌های علمی و حتی در استدلال‌های روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلال‌هايي سر و کار داريم که تقريبی‌اند و تا يک درجه خاصی درست هستند. در اين پايان‌نامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزاره‌ای و غيرکلاسيک منطق‌هايي ساخته می‌شوند که استدلال آن‌ها هم فازی است و هم ربطی، و منطق‌های فازی ربطی نام دارند. منطق‌های فازی ربطی FB، NB را با راهکار فازی‌سازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطق‌های پايه هستند. منطق‌هاي فازی ربطی قوی‌تر، گسترش اين منطق‌ها هستند.

مشخصات اثر

عنوان :

واژه‌نامه‌ی توصیفی منطق: انگلیسی به فارسی

نویسنده:

ض‍ی‍ا، موحد

نوع منبع :

کتابشناسی(نمایه کتاب)

مشخصات اثر

عنوان :

فرهنگ نامه منطق

نویسنده:

نرگس نیمروزی

نوع منبع :

کتابشناسی(نمایه کتاب)

مشخصات اثر

عنوان :

ماهیت تشکیکی مفاهیم اخلاقی و نقش آن در تفسیر گزاره‌های اخلاقی

نویسنده:

محمد عالم‌زاده نوری

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF چکیده

کلیدواژه‌های اصلی :

اصطلاحنامه فلسفه اخلاق , مفاهیم اخلاقی (فلسفه اخلاق) , گزاره اخلاقی (وابسته)(فلسفه اخلاق) , 1- قرآن کریم (متون اسلامی مرجع) , تفسیر گزاره های اخلاقی

کلیدواژه‌های فرعی :

احکام اخلاقی , منطق فازی , تشکیک در مفاهیم , فلسفه اخلاق اسلامی , منطق قدیم , منطق فازی , علیت فازی در گزاره اخلاقی , مناسبات عرفی میان موضوعات و احکام اخلاقی ,

فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :

علامه طباطبایی: سید محمدحسین طباطبایی

چکیده :

عمدة مفاهیم اخلاقی کمالات وجودی هستند و کمالات وجودی مانند خود وجود مشکک و ذات مراتب (فازی) هستند. ماهیت تشکیکی مفاهیم اخلاقی، مهم‌ترین ویژگی دانش اخلاق است که باید در تفسیر گزارة اخلاقی لحاظ شود؛ به این صورت که نباید انتظار داشت متن اخلاقی تنها بر یک سطح ثابت از معنا دلالت کند. موضوع و محمول در گزاره‌های اخلاقی هر کدام سطوح متعددی دارند. نسبت میان این‌چنین موضوع و این‌چنین محمولی نیز تنها یک سطح ندارد، بلکه نوعی تناسب و تناظر یک به یک میان آن سطوح را ارائه می‌دهد؛ یعنی نسبت‌های متعددی میان سطوح متوالی موضوع و محمول بیان می‌کند. این استظهار بر اساس فهم ظاهریِ عرفی و ارتکازِ مقامِ تخاطب شکل می‌گیرد و از باب رعایت «مناسبات عرفی میان حکم و موضوع» است. بدون این نگاه فازی در تفسیر بسیاری از آیات و روایات دچار تکلف می‌گردیم و دفاع از بسیاری متون اخلاقی دشوار است. این مقاله در صدد ارائة یک روش تفسیری برای گزاره اخلاقی است و ذیل مقولة فقه‌الاخلاق می‌گنجد. دستاورد این مقاله گرچه کاملاً عرفی و ارتکازی است، از دید نوع مفسران و شارحان حدیث مخفی مانده است. البته اشاره‌ها و مؤیداتی برای آن در کلمات برخی از آنان دیده می‌شود.

صفحات :

از صفحه 125 تا 157

مشخصات اثر

تعداد رکورد ها : 16

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}