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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 38
طرحی نو از اصول و مبانی منطق و دو نظام منطقی غیر کلاسیک
نویسنده:
مرتضی حاج‌حسینی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه اصفهان,
از ارس‍طو ت‍ا گ‍ودل‌: م‍ج‍م‍وع‍ه‌ م‍ق‍ال‍ه‌ه‍ای‌ ف‍ل‍س‍ف‍ی‌ - م‍ن‍طق‍ی‌
نویسنده:
ض‍ی‍ا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب) , مجموعه مقالات
وضعیت نشر :
تهران: هرمس,
چکیده :
مقالات این مجموعه، برگزیده ای است از نوشته های فلسفی _ منطقی "ضیاء موحد" که در قالب چهار بخش تدوین شده است : 1_ فلسفه منطق و زبان، 2 _ نقد منطق سنتی، 3 _ معرفی دو فیلسوف قرن بیستم ("ای .جی . ایر" و "ویلارد وَن اورمن کواین")، 4 _ فلسفه ریاضی ("مسئله پیوستار کانتور چیست ؟/ کورت گودل" و "صدق ریاضی / پال بنا سراف". "مقاله های بخش اول، بیشتر جنبه توضیحی و تعلیمی دارند. مقاله "مفهوم صورت در منطق جدید" نقدی است بر پیشنهادی از مرحوم دکتر حائری یزدی که قضیه های جزئی را هم به قیاس قضیه های کلی تاویل به شرطی کرده بودند... در این مقاله نقص این تاویل و ایرادهای آن به تفصیل شرح داده شده است....".
 قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
در این پایان‌نامه قواعد پذیرفتنی منطق‌های میانی را مطالعه کرده و نتایج کلی برای توسیع‌های مدل‌ها و مجموعه‌ی فرمول‌ها را ارائه می‌کنیم. این نتایج کلی برای بدست آوردن پایه‌ای برای قواعد پذیرفتنی منطق‌های گبی-دیانگ و نشان دادن اینکه این منطق‎ها تایپ یکسان‌سازی متناهی دارند بکار برده می‌شود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه می‌کنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزاره‌ای را بررسی نماید
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.
منطق فازی در قرآن: خلط مستنبط و منصوص
نویسنده:
محمود زراعت پیشه
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
صفحات :
از صفحه 15 تا 38
وجود محمولی در منطق آزاد و نتایج فلسفی آن
نویسنده:
رضا تقی‌زاده نائینی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.
نظریه‌های عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
دامغان: دانشگاه دامغان,
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
قضایای حفظ در منطق محمولات شهودی
نویسنده:
پریسا دلیری حسنجانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
دامغان: دانشگاه دامغان,
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق محمولات مشهودی را مطالعه می کنیم مفاهیم همریختی، زیرمدول و ساندویچ از مدل های کریپگی تعریف می شود. هم چنین دو عملگر U(·, ·) و E(·) به ترتیب متناظر با بستار عمومی و بستار وجودی تعریف می شود. سپس یک نظیر شهودی از تعمیم (دوگان) قضیه لیندن-لاش-تارسکی ثابت می شود که جملاتی که تحت تصویر معکوس همریختی های مدل های کریپکی حفظ می شوند را مشخص می کند. هم چنین تعمیمی از قضیه لاش-تارسکی ثابت می شود که جملاتی که تحت زیرمدول های کریپکی حفظ می شوند را مشخص می کند. در ادامه تعمیمی از قضیه ساندویچ کیسلر ثابت می شود که جملاتی که تحت ساندویچ های مدول کریپکی حفظ می شوند را مشخص می کند هر یک از این قضایا در حضور اصل طرد شق ثالث نظیر کلاسیک شان را نتیجه می دهند.
  • تعداد رکورد ها : 38