جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
>
منطق کلاسیک
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
عنوان :
منطق گزارههای حاکی از عمل
نویسنده:
محسن متقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق کاربردی
,
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سمانتیکهای منطق عمل
,
منطق عمل
چکیده :
منطق عمل پارهای از مفاهیم نظیر«قصد » را به عنوان مبدأ خود قرار میدهد، در حالیکه این مفاهیم تعریف روشنی ندارند و تنها به صورت کیفی تعریف شدهاند. تقسیمبندیهایی که بر روی اعمال انجام میشود، میتواند با توجه به نیاز هر علم و با تکیه بر یکی از خصوصیات عمل، انجام شود. در این تحقیق نمونهای از این تقسیمبندیها بر اساس تعداد عاملهای موثر در انجام یک عمل انجام شد ولی در هر علمی میتوان از منظرهای مختلف به عمل نگریست و آن را طبقهبندی نمود. یکی از قسمتهای چالشی در منطق عمل وجود یا عدم وجود اعمال پایهای است که هنوز اتفاقنظری بر روی آن ایجاد نشده است. پس از اتخاذ موضع در موارد بالا و ارائهی تقسیمبندیهای دلخواه در مورد عمل، نوبت به ارائهی معیار، برای اینهمانی اعمال میرسد؛ ناگفته پیداست تا وقتی که در موارد قبلی اتفاقنظر پدید نیاید معیار متقنی برای اینهمانی اعمال حاصل نمیشود. با اینکه هنوز توافق کلی بر سر مفاهیم عملی ایجاد نشده است اما نظامهای منطقی برای صورتبندی اعمال بر اساس بعضی از تعاریف و تقسیمبندیهای عمل پدید آمده است. منطق عمل توسط فون رایت پایهگذاری شد اما دلالتشناسی آن توسط چلاس در سال 1963 ارائه شد. این دلالتشناسی مبتنی بر تاریخچه و زمان بود؛ اما کاستیهای موجود در آن مثل کیفی بودن، باعث شد تا بلنپ و همفکران وی دلالتشناسی جدیدی برای منطق عمل به نام STIT ارائه دهند. این دلالتشناسی که مبتنی بر انتخابهای عامل و زمان بود تا حدودی مشکلات دلالتشناسی چلاس را برطرف نمود. یکی از موارد جالب توجه این است که خود چلاس در سال 1992 در مقالهای، قاعدههای استنتاج را برای دلالتشناسی STIT ارائه نمود و روند تکاملی منطق عمل را همراهی کرد. با اینکه هنوز دلالتشناسی کامل و جامعی برای منطق عمل ارائه نشده است، اما رشد روز افزون علوم دیگر و نیاز آنها به منطقی که بتواند اعمال را توضیح دهد باعث شده است تا همین منطق عمل، به عنوان ابزاری برای آنها قرار گیرد. برای مثال در علم کامپیوتر و به خصوص در شاخهی هوشمصنوعی برای تحلیل اعمالی که عاملهای مصنوعی نظیر رباتها انجام میدهند، منطق عمل مورد استفاده قرار میگیرد. هیچ بعید نیست که در آینده نیز با توجه به نیازهای جدید در علوم دیگر منطق عمل مورد استفاده قرار گیرد. البته ممکن است دلالت-شناسیهای جدیدی برای منطق عمل ارائه شود تا منطبق با علوم دیگر این منطق کاربردی شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
جنبههایی از منطق تلفیقی اثباتها و اثباتپذیری
نویسنده:
مقداد قاری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شناخت
,
اثبات قضیه
,
منطق توجیه
,
منطق و مبانی ریاضی
,
منطق جدید
,
منطق شناختی
,
منطق کلاسیک
,
منطق موجهات
,
منطق تلفیقی
چکیده :
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات میپردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: JB (صورت صریح منطق موجه براوری KB)، JGL (صورت صریح منطق اثباتپذیری گودل لوب GL) و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL به صورت نحوی، و اثبات قضیه تحقق برای JLD به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG وLPLG برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه S4LP ، دستگاه ابر رشتهای S4LPNLH برای منطق شناختی با توجیه S4LPN و دستگاههای رشتهای برچسبدار برای منطقهای توجیه و منطقهای شناختی با توجیه.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پاتنم، برونگرایی معنایی و استدلال مدلتئورتیک
نویسنده:
حامد قدیری؛ محمد سعیدی مهر
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
رئالیسم درونی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
برونگرایی معنایی
,
استدلال مدلتئورتیک
,
عدمتعین ارجاع
چکیده :
هیلاری پاتنم (۱۹۲۶-۲۰۱۶)، فیلسوف برجستهی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال میپردازد که «ذهن و زبان چگونه به جهان خارج چنگ میزنند؟» در مقام پاسخ به این سوال، در حوزهی سمنتیک، برونگرایی معنایی را طرح میکند و در حوزهی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا میخیزد و دو استدلال ارائه میکند که یکی از آنها استدلال مدلتئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برونگرایی معنایی و استدلال مدلتئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورتبندی متفاوتی هستند، اما درواقع اندیشهی واحدی از هر دوی آنها پشتیبانی میکند. در این راستا، پس از گزارش هریک از این استدلالها، صورتبندی تازهای از آنها ارائه میشود. سپس بر پایهی وجوه اشتراک این دو استدلال، اندیشهی پشتیبان آن دو معرفی خواهد شد. طبق این اندیشهی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطهای ارجاعی میان آنها میشود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یکدیگر نیستند؛ به عبارت دیگر، درهمتنیدهاند.
انتخاب :
صفحات :
از صفحه 113 تا 136
مشخصات اثر
ثبت نظر
عنوان :
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزیکی
نویسنده:
سلمان پناهی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
واقعگرایی متافیزیکی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
نقد متافیزیک
,
معناشناسی (منطق)
,
برهان واقعیت
,
منطق جدید
,
منطق کلاسیک
,
مدل پاتنام
,
برهان جایگشتی
چکیده :
با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان می دهد ، منطق صرفا به دقت مباحث فلسفی افزوده است و تبدیل به ابزاری شده تا ادعا های فلسفی دقیقتر بیان شوند و نتیجه های مترتب بر آنها بهتر بررسی شوند. تحقیق حاضر سعی در توضیح یکی از این کاربرد ها دارد .فیلسوف و ریاضیدان معروف امریکایی هیلاری پاتنم برای نقد یک دیدگاه در حوزه متافیزیک که آن را رئالیسم متافیزیکی می نامد ،از مفهوم های بنیادین نظریه مدل کمک می گیرد .نظریه مدل بخشی از منطق و منطق ریاضی است که به بررسی روابط میان یک زبان و تعبیر های آن می پردازد . پاتنم سه باور به کسانی که رئالیست متافیزیکی می نامد نسبت می دهد :نخست اینکه جهان از اشیاء کاملا غیر وابسته به ذهن انسان تشکیل شده ،دوم اینکه صدق عبارت است از نوعی مطابقت میان کلمه های زبان و جهان خارج از آن و مفهومی مطلق و غیر وابسته به نظریه دارد و سوم اینکه در نهایت تنها یک نظریه درست در مورد چگونگی بودن عالم وجود دارد .از نظر پاتنم این سه باور مستلزم قابلیت تثبیت مصداق کلمه های زبان(اسامی و محمول ها) هستند اما بنا به قضیه های بنیادین نظریه مدل مثل قضیه لوونهایم –اسکولم ،اساسا سیستم سمانتیکی ما قادر به تثبیت مصداق کلمه های زبان نیست (مگر با پیش فرض گرفتن یک مدل بخصوص که از نظر پاتنم این کار مصادره به مطلوب است) .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تاملی در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»
نویسنده:
غلامرضا ذکیانی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصل تناقض (منطق)
,
عوامل اجتماعی موثر در معرفت
,
قرارداد (منطق)
,
مصادره به مطلوب
,
شرطی (منطق)
,
فلسفه منطق
,
قاعده وضع مقدم
,
منطق جدید
,
منطق کلاسیک
,
جامعه شناسی منطق
چکیده :
در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده میشود که عوامل اجتماعی در پیدایش و ضروریانگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله میتوان به موارد زیر اشاره کرد: اختلاف ریاضیدانها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بینهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورتگرایان، عدم ترجیح توجیهات روانشناختی بر توجیهات جامعهشناختی، پارادوکسهای استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداختهایم: بینهایتها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیقهای بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان دادهایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
انتخاب :
صفحات :
از صفحه 97 تا 122
مشخصات اثر
ثبت نظر
عنوان :
یک قضیه درونیابی در منطق مرتبه اول
نویسنده:
نیر جنگی بهادر
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
منطق جدید
,
منطق کلاسیک
,
منطق کلاسیک مرتبه اول
,
مساله درونیابی
,
قضیه درونیابی کرایگ
,
ساختارهای مرتبه اول
,
فضای رده بندی
چکیده :
این پایان نامه نتیجه درونیابی را در یک چارچوب فرمولهای منطق مرتبه اول نسبی سازی شده ارائه میکنیم، که در حقیقت زمینه مشترک برای درونیابی لیندون و درونیابی چندگونه ای ففرمن ارائه می دهد. این نتایج علاوه بر دادن پایه ای نظریه مدلی مشترک برای این دو نتیجه درونیابی مهم، همچنین منظری یکنوا برای برخی کاربردهای شناخته شده و برخی کاربردهای جدید ارائه می دهد، که کاربرد جدید شامل قضیه رده بندی فون بنثم می باشد. قضیه درونیابی لیندون بیان میکند که برای هر ترکیب شرطی معتبر بین دو جمله کاملا محمولی (جملات فاقد نمادهای ثابت و نمادهای تابعی) از منطق مرتبه اول، فرمولی موسوم به فرمول درونیابی وجود دارد که در آن هر نماد محمولی بصورت مثبت (یا منفی) ظاهر میشود فقط اگر آن نماد بصورت مثبت (منفی) در هر دو فرمول مقدم و نتیجه ظاهر شده باشد. نتیجهای مشابه، ولی کلیتری را ثابت میکنیم که در آن شرط اضافی این است که برای یک چندتایی ثابت از محمولات تک موضعی، تمام سورهای فرمولهای تحت بررسی بطور صریح به یکی از محمولات تک موضعی نسبی سازی شده اند. تحت این شرط، سوری سازی وجودی (عمومی) روی یک رخداد مثبت (منفی) را ایجاد میکند. نشان داده می شود که این قضیه درونیابی جدید، تنها توسط برهانی نظریه-مدلی مقدماتی و کانونی بدست آمده و چند نتیجه مرتبط را یکسان سازی می کند. مانند برخی قضایای رده بندی که در مورد توسیعها و زیرساختارها با مفاهیم یکنوایی، و همچنین قضیه درونیابی چندگونه که روی رخدادهای مثبت (منفی) محمولها و روی گونه های سوری سازی شده وجودی (عمومی) متمرکز شده اند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نقش عوامل اجتماعی در معرفت ریاضی و منطقی، برمبنای دیدگاههای مکتب ادینبرا
نویسنده:
شهرام شهریاری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه منطق
,
جامعه شناسی معرفت علمی(منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
منطق ریاضی
,
صدق ضروری
,
منطق جدید
,
منطق کلاسیک
,
برنامهٔ قوی
,
تمایز توجیه/ تبیین
,
مکتب ادینبرا
چکیده :
برنامة قوی در جامعهشناسی معرفت علمی با نام مکتب ادینبرا و دیدگاههای نسبیانگارانة این مکتب شناخته شده است. براساس این رویکرد، همة آنچه «معرفت» بهشمار میرود، صرفنظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه انجامیده است و جامعهشناس موظف است که این علل را بیابد. این برنامه، برخلاف برنامههای ضعیفتری که معرفت علمی را استثنا میکردند، بر این ایده مبتنی است که عوامل اجتماعی در شکلگیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفتهایی که از سنخ ضروری بهشمار میروند، نیز نقش دارند. در این مقاله درصددیم دیدگاههای مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کنیم. بهاینمنظور، نخست مبانی فکری این رویکرد را بهاجمال معرفی و سپس دیدگاههای اصلی آنان را دربارۀ نقش ابعاد جامعهشناسانه در منطق و ریاضیات بهاختصار ذکر میکنیم. در بخشهای بعدی مقاله مهمترین یا بدیعترین مطالعات موردی عرضهشده را بررسی و آنها را درباب برهان خلف، تصمیمگیری و چانهزنی در ریاضیات، اثبات گزارههای ریاضی، و اعتبار استدلالهای منطقی نقد و ارزیابی میکنیم و درانتها نیز نکاتی دربارة رویکرد نظری آنان و نتایجی که بهنظر میرسد میتوان از این بحث گرفت مطرح خواهیم کرد.
انتخاب :
صفحات :
از صفحه 67 تا 96
مشخصات اثر
ثبت نظر
عنوان :
منطق وجهی کلاسیک مرتبه اول
نویسنده:
ریحانه ذوقیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق موجهات
,
منطق وجهی مرتبه اول
,
منطق کلاسیک مرتبه اول
,
معناشناسی همسایگی
چکیده :
در این پایاننامه گسترش مرتبه اول معناشناسی که نخستین بار دانا اسکات و ریچارد مونتاگ برای منطق وجهی معرفی کردند، مطالعه میشود. این معناشناسی برای مطالعهی منطقهای وجهی کلاسیک استفاده میشود.در ابتدا قابهای همسایگی دامنه ثابت معرفی شده و تمامیت تعدادی از سیستم های کلاسیک برجسته بررسی میشود. همچنین نشان داده میشود که اثبات تمامیت سیستمهای نرمال بدون استفاده از فرمول بارکان در قابهای همسایگی با دامنه ثابت ممکن است.برای اثبات تمامیت قوی سیستمهای وجهی کلاسیک، قابهای کلی تعریف میشود.در انتها مدلهای همسایگی دامنه متغیر و تمامیت برخی سیستمها نسبت به این مدلها بررسی میشود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق های وجهی-چند ارزشی
,
منطق دامت-گودل
,
معناشناسی کریپکی فازی
,
تمامیت قوی
چکیده :
در این پایاننامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدلهای کریپکی پایهگذاری شده است اثبات میکنیم که در آن گزارهها در هر جهان و رابطهی دسترسپذیری بین جهانها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارنهایی که بین منطقهای □ و◊ وجود دارد میپردازیم: در منطق نخست (□) مفهوم درستی به قابهایی که رابطهی دسترسپذیری آنها دو مقداری است، فرو میکاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قابهایی است که رابطهی دسترسپذیری آنها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستمهای وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر میگیریم. همچنین قضیههای تمامیت به زبانهایی که به یک مجموعهی خوشترتیب گسسته از ارزشهای درستی نیز مجهز باشد گسترش داده خواهند شد. بازبرد اصلی این پایاننامه [۶] میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید