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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 7
درآمدی به منطق تکلیف
نویسنده:
ضیا موحد، فرشته نباتی
نوع منبع :
مقاله
منابع دیجیتالی :
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
چکیده :
این کتاب اصطلاح نامه‌ای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخه‌های آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاه‌های متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدول‌های متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزه‌های اصطلاحات، بهره‌گیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخل‌های توصیفی این اثر می‌باشد
 الگویی برای منطق خواست بر مبنای منطق‌های نیمه‌کلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در پی توسعه‌ی منطق جدید، «منطق کلاسیک» در مقوله‌هایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقوله‌ی «خواست»، الگو از «منطق‌های نیمه‌کلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزه‌های «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیک‌های ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطق‌های خواست» پرداختیم. به علاوه سیستم‌هایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظام‌هایی را پیشنهاد دادیم. در میان منطق‌ها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کرده‌ایم. در بیان ساختار معنایی «منطق‌های خواست نرمال» نیز از ایده‌ی «جهان‌های ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره برده‌ایم.
منطق تکلیف و کاربرد آن در دستگاه‌های هنجاری
نویسنده:
ابوتراب پورحقانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
دستگاه هنجاری اولین ساختار اجتماعی است که توسط بشر ایجاد شده است. ابتدایی ترین دستگاه هنجاری خانواده و بزرگترین آن جامعه است دستگاه هنجاری بر پایه هنجارها و مجوز ها استوار است .در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است با ارائه دو مقاله دیگر این منطق به عنوان توسیعی از منطق تکلیف کامل گردید. در این منطق با استفاده از یک قید در استنتاج ها جلوی تولید پارادوکسها گرفته می شود. در این منطق وظایف را به صورت زوجهای مرتب نشان می دهیم که درایه اول اشاره به وضعیتی است که اتفاق افتاده است و درایه دوم مربوط به وظیفه یا مجوزی است که در آن وضعیت وجود دارد. این منطق قاعده محور بوده و شامل هیچ اصل موضوعی نیست. یکی از دیگر مباحث مطرح در منطق تکلیف موضوع دستگاه های هنجاری است. یک دستگاه هنجاری، دستگاهی که بر اساس وظایف پایه گذاری شده است. مثال بارز این نوع دستگاه ها، حکومت یک کشور می باشد. در هر دستگاه هنجاری هر کسی وظیفه ای بر عهده دارد که باید انجام دهد. برای این دستگاه ها مدل های مختلفی در منطق تکلیف ارائه شده است. یکی از این مدلها بر اساس منطق ورودی/خروجی ارائه شده است. در این مدل هنجارهای اساسی و رویه ای و روابط محسوبی مدل شده است. این مدل سازگار با مباحث علوم کامپیوتر می باشد.
تحلیل رابطه منطقی بین منطق تکلیف مدرن و منطق موجهات
نویسنده:
مریم عزتی گوشلوندانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
بحث درباره رابطه منطق‌ها یکی از مباحث نوپا در منطق معاصر است و علاوه بر فهم فلسفیِ صِرف، دلایل کاربردی و روش‌شناختی بسیاری برای لزوم پرداختن بدان وجود دارد. آبشخور اصلی مساله ارتباط بین منطق‌ها، در دوران مدرن، رساله‌ای درباره طبیعت انسانی هیوم است. او بر این باور بود که از چیزی که است (یا نیست) ـ یعنی گزاره‌‌ای توصیفی ـ نمی‌توان به‌طور منطقی چیزی که باید باشد (یا نباید باشد) ـ‌ یعنی گزاره‌ای هنجاری ـ را استنتاج کرد. از آن‌جایی که گزاره‌های توصیفی مربوط به منطق موجهات و گزاره‌های هنجاری مربوط به منطق تکلیف می‌شوند این بررسی مستلزم تبیین، تحلیل و واکاوی رابطه بین منطق‌های موجهات و تکلیف و اصول پل متصل‌کننده آن‌دو است. هادسن، بلک، سرل، هِر، شورز... به این موضوع توجه داشتند و هریک نظرات خاص خود را درباره آن ارایه نموده‌اند. در این تحقیق به رابطه میان منطق و اخلاق پرداخته شده، دو منطق موجهات و تکلیف به طور اجمالی معرفی شده‌اند و یک نظام موجهاتی‌ـ‌تکلیفی توسط فیشر معرفی شده است و در پایان رابطه بین منطق موجهات و منطق تکلیف از دیدگاه شورز مورد بررسی منطقی قرار گرفته است. با توجه به تحلیل منطقی شورز، اگر هم استنتاجی از مقدمات توصیفی به نتایج هنجاری به‌طور منطقی قابل ترسیم باشد، نتایج به‌دست آمده از لحاظ اخلاقی کم اهمیت هستند و با وجود اعتبار منطقی، از نظر عرفی معقول، به نظر نمی‌رسند.
منطق عملی تکلیف، جبرهای بول اتمیک و تحمل‌پذیری خطا
نویسنده:
فاطمه احمدی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (DPL ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (CTL) توسیع داده می شود. در سیستم های تحمل پذیر خطا، بعد از یک نقض باید اعمالی اجرا شود تا آن نقض را جبران کند که در منطق تکلیف استدلال CTD نامیده می شود. رویکرد ما در این پایان نامه برای مواجهه با چنین جملاتی، استفاده از چندین نسخه ی مجوز می باشد که به این ترتیب توسیع سودمند دیگری از DPL حاصل می شود. در این پایان نامه همچنین با طرح سناریوهایی از ساختارهای ارائه شده مانند شام فیلسوفان و سیستم قطار، چگونگی کاربرد آنها را برای مشخص کردن سیستم های محاسبه در عمل نیز نشان می دهیم.
  • تعداد رکورد ها : 7