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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 114
ساختار نحوی و سمانتیکی منطق ربط
نویسنده:
سکینه تولمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
منطق ربط شاخه‌ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می‌کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می‌شود. در این پایان‌نامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال‌های ربطی و غیر ربطی را نشان داده‌ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را ساده‌تر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداخته‌ایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده می‌کند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگی‌های فراوانی دارد که پاره‌ای از این پیچیدگی‌ها را در قالب مثال‌های گوناگون نشان داده‌ایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده‌، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان داده‌ایم.
مشخصات اثر
معرفی منطق های ربط
نویسنده:
مریم امیر ماهانی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
چکیده :
در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات ‏نابهنجار مورد نیاز است، بیان می کنیم.‏ مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می ‏پردازیم
مشخصات اثر
منطق فازی ربطی: رویکردی گزاره‌ای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در استدلال‌های علمی و حتی در استدلال‌های روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلال‌هايي سر و کار داريم که تقريبی‌اند و تا يک درجه خاصی درست هستند. در اين پايان‌نامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزاره‌ای و غيرکلاسيک منطق‌هايي ساخته می‌شوند که استدلال آن‌ها هم فازی است و هم ربطی، و منطق‌های فازی ربطی نام دارند. منطق‌های فازی ربطی FB، NB را با راهکار فازی‌سازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطق‌های پايه هستند. منطق‌هاي فازی ربطی قوی‌تر، گسترش اين منطق‌ها هستند.
مشخصات اثر
ملاصدرا منطق، اخلاق و کلام
نویسنده:
همایش جهانی حكیم ملاصدرا
نوع منبع :
کتاب , مجموعه مقالات , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF فهرست
وضعیت نشر :
تهران: بنياد حکمت اسلامي صدرا,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
چکیده :
مجموعه مقالات همایش جهانی حکیم ملاصدرا جلد نهم- ملاصدرا ـ منطق، اخلاق و کلام این کتاب جلد نهم از مجموعه مقالات همایش جهانی حکیم صدرالمتألهین شیرازی است. در این جلد مقالات مقوله منطق و فلسفه منطق (شامل ۱۱ مقاله) و مقالات مقوله فلسفه اخلاق (شامل ۱۶ مقاله) و ۶ مقاله از مقالات مقوله کلام و فلسفه دین آمده است. مقالات این کتاب در مجموع ۳۳ مقاله است که از میان آنها ۱۴ مقاله از انگلیسی، یک مقاله از زبان فرانسه و دو مقاله از عربی به فارسی ترجمه شده است. عناوین برخی از مقالات و نویسندگان آن عبارتند از: ـ‌ ملاصدرا و تحول قضایا به حملی موجب کلی ضروری: احد فرامرز قراملکی ـ‌ منطق زمان و نظریه اقتران شرطی ابن‌سینا: لطف‌الله نبوی ـ‌ نگاهی گذرا به نگاشته‌های منطقی از آغاز تا عصر ملاصدرا: محسن برزگر ـ‌ حقیقت چیست؟: پال هورویچ ـ اصول تربیتی فلاسفه و متکلمین اسلامی و مقایسه آنها با علوم تربیتی: علی قائمی امیری ـ ‌اهمیت عقاید دینی در تصمیمگیری پزشکی در مورد پایان زندگی: هانس مارتین زاس ـ ملاحظاتی درباره مفهوم قلب از نظر ملاصدرا: پل بالانفه ـ ‌زیست اخلاق و ژنتیک انسانی: لودگر هونفلدر ـ‌ پلورالیسم و وحی از منظر صدرالمتألهین شیرازی و پل‌تیلیش: اعلاء تورانی این کتاب بهمراه شرح مختصری از نویسندگان مقالات در ۵۱۴ صفحه از سوی بنیاد حکمت اسلامی صدرا منتشر شده است.
مشخصات اثر
کاربردهای سمانتیک‌های چندارزشی در منطق‌های ربط
نویسنده:
فاطمه میرطاهری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
اندرسون و بلنپ در سال 1975 در کتاب Entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین مقدم و تالی که نمی توانند قضایای منطقهای E و R باشند، دو روش کلی معرفی میشود، از طرف دیگر تعریف پذیری «ضرورت» در منطق E و تعریف ناپذیری «ضرورت» در منطقهای T و R نیز اثبات شده و برای ااثبات استقلال اصول موضوعه منطقهای ربط نیز یک روش کلی معرفی میشود که در اثبات تمامی موارد فوق و چند مطلب دیگر هم از ماتریسهای چندارزشی استفاده میشود.
مشخصات اثر
منطق تکلیف و کاربرد آن در دستگاه‌های هنجاری
نویسنده:
ابوتراب پورحقانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
دستگاه هنجاری اولین ساختار اجتماعی است که توسط بشر ایجاد شده است. ابتدایی ترین دستگاه هنجاری خانواده و بزرگترین آن جامعه است دستگاه هنجاری بر پایه هنجارها و مجوز ها استوار است .در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است با ارائه دو مقاله دیگر این منطق به عنوان توسیعی از منطق تکلیف کامل گردید. در این منطق با استفاده از یک قید در استنتاج ها جلوی تولید پارادوکسها گرفته می شود. در این منطق وظایف را به صورت زوجهای مرتب نشان می دهیم که درایه اول اشاره به وضعیتی است که اتفاق افتاده است و درایه دوم مربوط به وظیفه یا مجوزی است که در آن وضعیت وجود دارد. این منطق قاعده محور بوده و شامل هیچ اصل موضوعی نیست. یکی از دیگر مباحث مطرح در منطق تکلیف موضوع دستگاه های هنجاری است. یک دستگاه هنجاری، دستگاهی که بر اساس وظایف پایه گذاری شده است. مثال بارز این نوع دستگاه ها، حکومت یک کشور می باشد. در هر دستگاه هنجاری هر کسی وظیفه ای بر عهده دارد که باید انجام دهد. برای این دستگاه ها مدل های مختلفی در منطق تکلیف ارائه شده است. یکی از این مدلها بر اساس منطق ورودی/خروجی ارائه شده است. در این مدل هنجارهای اساسی و رویه ای و روابط محسوبی مدل شده است. این مدل سازگار با مباحث علوم کامپیوتر می باشد.
مشخصات اثر
تحلیل رابطه منطقی بین منطق تکلیف مدرن و منطق موجهات
نویسنده:
مریم عزتی گوشلوندانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
بحث درباره رابطه منطق‌ها یکی از مباحث نوپا در منطق معاصر است و علاوه بر فهم فلسفیِ صِرف، دلایل کاربردی و روش‌شناختی بسیاری برای لزوم پرداختن بدان وجود دارد. آبشخور اصلی مساله ارتباط بین منطق‌ها، در دوران مدرن، رساله‌ای درباره طبیعت انسانی هیوم است. او بر این باور بود که از چیزی که است (یا نیست) ـ یعنی گزاره‌‌ای توصیفی ـ نمی‌توان به‌طور منطقی چیزی که باید باشد (یا نباید باشد) ـ‌ یعنی گزاره‌ای هنجاری ـ را استنتاج کرد. از آن‌جایی که گزاره‌های توصیفی مربوط به منطق موجهات و گزاره‌های هنجاری مربوط به منطق تکلیف می‌شوند این بررسی مستلزم تبیین، تحلیل و واکاوی رابطه بین منطق‌های موجهات و تکلیف و اصول پل متصل‌کننده آن‌دو است. هادسن، بلک، سرل، هِر، شورز... به این موضوع توجه داشتند و هریک نظرات خاص خود را درباره آن ارایه نموده‌اند. در این تحقیق به رابطه میان منطق و اخلاق پرداخته شده، دو منطق موجهات و تکلیف به طور اجمالی معرفی شده‌اند و یک نظام موجهاتی‌ـ‌تکلیفی توسط فیشر معرفی شده است و در پایان رابطه بین منطق موجهات و منطق تکلیف از دیدگاه شورز مورد بررسی منطقی قرار گرفته است. با توجه به تحلیل منطقی شورز، اگر هم استنتاجی از مقدمات توصیفی به نتایج هنجاری به‌طور منطقی قابل ترسیم باشد، نتایج به‌دست آمده از لحاظ اخلاقی کم اهمیت هستند و با وجود اعتبار منطقی، از نظر عرفی معقول، به نظر نمی‌رسند.
مشخصات اثر
منطق عملی تکلیف، جبرهای بول اتمیک و تحمل‌پذیری خطا
نویسنده:
فاطمه احمدی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (DPL ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (CTL) توسیع داده می شود. در سیستم های تحمل پذیر خطا، بعد از یک نقض باید اعمالی اجرا شود تا آن نقض را جبران کند که در منطق تکلیف استدلال CTD نامیده می شود. رویکرد ما در این پایان نامه برای مواجهه با چنین جملاتی، استفاده از چندین نسخه ی مجوز می باشد که به این ترتیب توسیع سودمند دیگری از DPL حاصل می شود. در این پایان نامه همچنین با طرح سناریوهایی از ساختارهای ارائه شده مانند شام فیلسوفان و سیستم قطار، چگونگی کاربرد آنها را برای مشخص کردن سیستم های محاسبه در عمل نیز نشان می دهیم.
مشخصات اثر
کاربرد ایده جهانهای ممکن در منطق و ادبیات داستانی
نویسنده:
سمیه فریدونی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالت‏شناسی صوری برای منطق گزاره‏های ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعه‏ها، بوده است. این ایده سپس، در شاخه‏های دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشته‏های دیگر مانند فلسفه زبان و هنر و حتی هوش مصنوعی، نیز مورد توجه قرار گرفت و پژوهشگران این رشته‏ها ...
مشخصات اثر
طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید
نویسنده:
علیرضا دارابی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام‌های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام‌های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق‌دانان سینوی و مبتنی بر کاربرد معمول زبان طبیعی صورت پذیرفته است. بر پایه این بررسی، سه روایت متمایز از قواعد منطق شرطی لزومی سینوی قابل تشخیص است. دو روایت از این سه را می‌توان بر مبنای ترکیبی از منطق ربط، منطق زمان، منطق مرتبه دوم و مبتنی بر پیش‌فرض حقیقی بودن لزومی‌های به کار رفته در شرطی سینوی صورت‌بندی نمود. روایت سوم در نظام‌های موجود در منطق جدید قابل صورت‌بندی نیست.
مشخصات اثر
  • تعداد رکورد ها : 114