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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 114
منطق وجهی کلاسیک مرتبه اول
نویسنده:
ریحانه ذوقی‌فرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در این پایان‌نامه گسترش مرتبه اول معناشناسی که نخستین بار دانا اسکات و ریچارد مونتاگ برای منطق وجهی معرفی کردند، مطالعه می‌شود. این معناشناسی برای مطالعه‌ی منطق‌های وجهی کلاسیک استفاده می‌شود.در ابتدا قاب‌های همسایگی دامنه ثابت معرفی شده و تمامیت تعدادی از سیستم های کلاسیک برجسته بررسی می‌شود. همچنین نشان داده می‌شود که اثبات تمامیت سیستم‌های نرمال بدون استفاده از فرمول بارکان در قاب‌های همسایگی با دامنه ثابت ممکن است.برای اثبات تمامیت قوی سیستم‌های وجهی کلاسیک، قاب‌های کلی تعریف می‌شود.در انتها مدل‌های همسایگی دامنه متغیر و تمامیت برخی سیستم‌ها نسبت به این مدل‌ها بررسی می‌شود.
مشخصات اثر
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.
مشخصات اثر
فعل گفتاری نزد منطق‌دانان مسلمان
نویسنده:
احمد عبادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آن‌که از ساختار خبری برخوردارند، اما صدق و کذب نمی‌پذیرند، زیرا قصد گوینده از بیان آن‌‌ها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری می‌خوانند. پیش از این، منطق‌‌دانان مسلمان نیز به این مسئله توجه کرده‌‌اند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشته‌اند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذب‌‌پذیری خبر و نیز حل پارادوکس دروغ‌گو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطق‌‌دانان مسلمان دانست. تأمل در تاریخچة دیدگاه‌‌های منطق‌‌دانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آن‌‌ها با آرای فیلسوفان زبان آموزندة نکات منطقی‌ ـ ‌معرفتی است.
صفحات :
از صفحه 83 تا 99
مشخصات اثر
وجود محمولی در منطق آزاد و نتایج فلسفی آن
نویسنده:
رضا تقی‌زاده نائینی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.
مشخصات اثر
اثباتی از تمامیت برای منطق مرتبه اول پیوسته
نویسنده:
الهام حیدرزاده
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
هدف اصلی این پایان‌نامه بررسی مجموعه‌ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می‌شود که در منطق مرتبه اول پیوسته مجموعه‌ای از فرمول‌ها (تماماً) قابل‌ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می‌شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می‌کند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می‌کند که اگرΣΙ=φ، بنابراین اثبات‌های متناهی از Σ می‌توانند تقریب‌های دلخواهی از درستی φ را بدست دهد. به‌علاوه مسئله‌ای متفاوت که در نظریه مدل به‌طور سنتی مطرح می‌شود یعنی تصمیم‌پذیری را بررسی می‌کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می‌شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش‌پذیر بازگشتی) تصمیم‌پذیر است.
مشخصات اثر
گ‍زاره‌ه‍ای‌ ک‍ل‍ی‌ و وج‍ودی‌ در م‍ن‍طق‌ ری‍اض‍ی‌ و ک‍لاس‍ی‍ک‌
نویسنده:
علیرضا ق‍ائ‍م‍ی‌ن‍ی‍ا
نوع منبع :
مقاله
منابع دیجیتالی :
متن
وضعیت نشر :
معرفت,
صفحات :
از صفحه 34 تا 40
مشخصات اثر
منطق اثبات‌ها
نویسنده:
مهدیه گل رنگی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.
مشخصات اثر
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
مشخصات اثر
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
مشخصات اثر
قضیه هربراند برای منطق پیوسته
نویسنده:
مریم سلیمانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می‌کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره‌ای فرو می‌کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می‌شود، تمرکز می‌کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه‌های موتیویک دارد که در آن یک مشخص‌سازی از تابع‌های تعریف‌پذیر مورد نیاز است.در این پایان‌نامه، یک حالت منطق پیوسته از قضیه هربراند را ثابت نموده، و از آن برای مشخص‌سازی عمل‌های تعریف‌پذیر روی فضاهای هیلبرت استفاده می‌کنیم. به ویژه، نشان داده می‌شود که عمل‌های تعریف‌پذیر به طور تکه‌ای توسط ترم‌ها تقریب زده می‌شوند‎. وضعیت مشابهی برای توسیع‌های فضاهای هیلبرت نیز برقرار است.در نوشتار این پایان نامه از مقاله زیر استفاده شده است. I. Goldbring, An approximate Herbrand’s theorem and definable functions in metric structures, Math. Log. Quart. 58, No. 3, 208-216(2012)
مشخصات اثر
  • تعداد رکورد ها : 114