جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
9
10
11
12
13
14
15
16
17
18
تعداد رکورد ها : 186
عنوان :
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزیکی
نویسنده:
سلمان پناهی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
واقعگرایی متافیزیکی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
نقد متافیزیک
,
معناشناسی (منطق)
,
برهان واقعیت
,
منطق جدید
,
منطق کلاسیک
,
مدل پاتنام
,
برهان جایگشتی
چکیده :
با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان می دهد ، منطق صرفا به دقت مباحث فلسفی افزوده است و تبدیل به ابزاری شده تا ادعا های فلسفی دقیقتر بیان شوند و نتیجه های مترتب بر آنها بهتر بررسی شوند. تحقیق حاضر سعی در توضیح یکی از این کاربرد ها دارد .فیلسوف و ریاضیدان معروف امریکایی هیلاری پاتنم برای نقد یک دیدگاه در حوزه متافیزیک که آن را رئالیسم متافیزیکی می نامد ،از مفهوم های بنیادین نظریه مدل کمک می گیرد .نظریه مدل بخشی از منطق و منطق ریاضی است که به بررسی روابط میان یک زبان و تعبیر های آن می پردازد . پاتنم سه باور به کسانی که رئالیست متافیزیکی می نامد نسبت می دهد :نخست اینکه جهان از اشیاء کاملا غیر وابسته به ذهن انسان تشکیل شده ،دوم اینکه صدق عبارت است از نوعی مطابقت میان کلمه های زبان و جهان خارج از آن و مفهومی مطلق و غیر وابسته به نظریه دارد و سوم اینکه در نهایت تنها یک نظریه درست در مورد چگونگی بودن عالم وجود دارد .از نظر پاتنم این سه باور مستلزم قابلیت تثبیت مصداق کلمه های زبان(اسامی و محمول ها) هستند اما بنا به قضیه های بنیادین نظریه مدل مثل قضیه لوونهایم –اسکولم ،اساسا سیستم سمانتیکی ما قادر به تثبیت مصداق کلمه های زبان نیست (مگر با پیش فرض گرفتن یک مدل بخصوص که از نظر پاتنم این کار مصادره به مطلوب است) .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فعل گفتاری نزد منطقدانان مسلمان
نویسنده:
احمد عبادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق تطبیقی
,
فعل گفتاری (منطق)
,
پارادوکس دروغگو (منطق)
,
جمله خبری (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
اصطلاحنامه منطق
,
منطق اسلامی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
انشاء اخبارنُما
چکیده :
برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آنکه از ساختار خبری برخوردارند، اما صدق و کذب نمیپذیرند، زیرا قصد گوینده از بیان آنها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری میخوانند. پیش از این، منطقدانان مسلمان نیز به این مسئله توجه کردهاند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشتهاند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذبپذیری خبر و نیز حل پارادوکس دروغگو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطقدانان مسلمان دانست. تأمل در تاریخچة دیدگاههای منطقدانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آنها با آرای فیلسوفان زبان آموزندة نکات منطقی ـ معرفتی است.
انتخاب :
صفحات :
از صفحه 83 تا 99
مشخصات اثر
ثبت نظر
عنوان :
تقریرهای مختلف سیستم استنتاج طبیعی بر اساس دیدگاه یاکوفسکی و گنتزن در منطق محمولات درجه اول
نویسنده:
محمد مرتضوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
قواعد استنتاج
,
منطق ریاضی
,
استنتاج طبیعی
,
منطق درجه اول
,
منطق مسند
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق اصل موضوعی
چکیده :
سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلالها و قضایای منطق را ثابت میکند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی مینامند. این سیستم که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستمهای اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود) در امر آموزش و یادگیری داشتند، توسط یاکوفسکی و گنتزن طراحی شد. یاکوفسکی و گنتزن در سال 1934 به طور همزمان و مستقل از یکدیگر مقالاتی را منتشر کردند که در آن به تبیین این روش پرداخته بودند. یاکوفسکی دو روش، یکی گرافیکی و دیگری دفترداری را ابداع کرد، و گنتزن نیز یک روش را ارایه داد که استدلالها و قضایای منطق را در یک ساختار درختی اثبات میکرد. این روش بعدها مخصوصاً در دهههای پنجاه و شصت میلادی توسط منطقدانانی نظیر کواین، کپی، فیچ، مونتاگیو، سوپیس، میتس، لمون و دیگران که از این روش برای متنهای آموزشی استفاده کرده بودند توسعه و تکمیل گردید و هر کدام تقریری از این سیستم ارایه دادند. در این تحقیق علاوه بر ارایه تقریرهای مزبور به مقایسه و بررسی آنها پرداخته میشود، و همچنین تقریرها از نظر نماد گذاریها و تعداد قواعد استنتاجی و همچنین مزایا و معایب هر کدام بررسی میشود. در اینجا همچنین ضمن بیان اشتراکات و تفاوتهای تقریرها با یکدیگر از لحاظ معنایی نیز قواعد معرفی و حذف سور در آنها بررسی میشود. از طرفی نتیجه میگیرد، روش گرافیکی یاکوفسکی که توسط کپی تکمیل و ادامه پیدا کرد، در بین منطقدانان مورد اقبال بیشتری واقع شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تاملی در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»
نویسنده:
غلامرضا ذکیانی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصل تناقض (منطق)
,
عوامل اجتماعی موثر در معرفت
,
قرارداد (منطق)
,
مصادره به مطلوب
,
شرطی (منطق)
,
فلسفه منطق
,
قاعده وضع مقدم
,
منطق جدید
,
منطق کلاسیک
,
جامعه شناسی منطق
چکیده :
در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده میشود که عوامل اجتماعی در پیدایش و ضروریانگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله میتوان به موارد زیر اشاره کرد: اختلاف ریاضیدانها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بینهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورتگرایان، عدم ترجیح توجیهات روانشناختی بر توجیهات جامعهشناختی، پارادوکسهای استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداختهایم: بینهایتها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیقهای بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان دادهایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
انتخاب :
صفحات :
از صفحه 97 تا 122
مشخصات اثر
ثبت نظر
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آیا شرطی های خبری غیر تابع ارزشی هستند؟
نویسنده:
مسعود الوند
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
کلیدواژههای اصلی :
زبان طبیعی (منطق)
,
زبان صوری (منطق)
,
استلزام تابع ارزشی (منطق)
,
استلزام معنایی (منطق)
,
دلالت ضمنی (منطق)
,
ادات منطقی
,
منطق جدید
,
منطق گزاره ها
,
ادات تابع ارزشی
چکیده :
ناهمخوانی ادات ربط زبان طبیعی و ادات زبان منطق کلاسیک در تابع ارزشی بودن، موجب شده است تا برخی گمان کنند که زبان منطق کلاسیک در بازنمایی جملات زبان طبیعی و صورتبندی استدلالهای این زبان ناتوان است. در این مقاله تلاش می شود تا نشان داده شود که زبان منطق کلاسیک یکسره از آن صورت بندی عاجز نیست و مدعای مخالفان توانایی زبان منطق در بازنمایی جملات و استدلالهای زبان طبیعی، کامل نیست. دفاعیات در این زمینه به دو دسته دفاعیات مستقیم و غیر مسقیم تقسیم میشوند. اگرچه نظریه گرایس در این زمینه یک نقطه عطف برای دفاع غیر مستقیم محسوب میشود، در این مقاله به طرح بخشی از دفاعیات مستقیم در برابر مدافعان نا همخوانی استدلالهای صوری شده زبان منطق با زبان طبیعی می پردازیم: ابتدا با ذکر استدلالهای استراسون در مخالفت با بازنمایی جملات زبان طبیعی توسط زبان منطق کلاسیک به دفاعیات کلارک خواهیم پرداخت و سپس چالشهای یانگ در مقابل کلارک و پاسخهای کلارک را خواهیم دید.
انتخاب :
صفحات :
از صفحه 1 تا 17
مشخصات اثر
ثبت نظر
عنوان :
ساختار صوری و معنایی منطق شرطی در دو نظام منطقی قدیم و جدید
نویسنده:
مرتضی حاجحسینی گورتانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شرطی
,
ساختار نحوی
,
ساختار معنایی
,
استلزام معنایی (منطق)
,
اصطلاحنامه منطق
,
برهان (قسیم جدل و مغالطه)
,
تابع ارزش
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
چکیده :
مگاریون و رواقیون در شناسائی ترکیب شرطی تابع ارزشی و شروط صدق آن و قاعدههای مربوط به آن نقش بنیادین و اساسی داشتند و از این جهت درآمدی به منطق جدید محسوب میشوند ولی هیچ تاثیری بر منطق اسلامی نداشتهاند. منطقیان قدیم، گزاره شرطی متصله، را به اتفاقیه عامه و لزومیه تقسیم نموده و شروط صدق هر یک را مورد بحث قرار دادهاند. اتفاقیه عامه بر هیچ یک از انواع شرطی در منطق جدید قابل تطبیق نیست . و مثالهای لزومیه نیز بیشتر از نوع استلزام معنائی، شرطی علی و شرطی خلاف واقع است . یعنی منطقیان قدیم به استلزام مادی و استلزام اکید که از نوع استلزام منطقی است نپرداختهاند و در تبیین شروط صدق اتفاقیه عامه و لزومیه بر اساس مقتضیات جهان کنونی داوری کردهاند نه میزانهای منطقی محض . آنان همچنین به دلیل استفاده از زبان طبیعی به جایگاه منطقی سلب ، زمان یا حالت و نیز سورهای متعدد در گزارههای مرکب ، نپرداخته و در بیان صورت برهانها از نظام واحدی پیروی نکردهاند. لذا نظریه آنها در هر یک از نظامهای متعدد که از متون منطق قدیم استخراج میشود به صورت برهانهای ادرست انجامیده است . اینگونه صورت برهانها در متن رساله با علامت *ن مشخص شدهاند. منطقیان قدیم با برقراری تناظر بین منطق حملی و منطق شرطی، نظریه قیاسهای اقترانی شرطی را بر نظریه قیاسهای اقترانی حملی استوار نمودهاند. لذا گرچه در قالب زبان طبیعی، چنین به نظر میرسد که میتوان درستی صورت برهانهای شرطی معتبر و نیز درستی قیاسهای اقترانی شرطی معتبر را بر اساس قواعد قیاسهای اقترانی حملی توضیح داد، اما حقیقت این است که نطریه قیاسهای اقترانی شرطی منطق قدیم قادر نیست درستی تمام این صورت برهانها را توضیح دهد. و خلاصه اینکه الگوهای صوری ارائه شده برای شرطیها در منطق جدید در تبعیت از میزانهای منطقی محض از توفیق بیشتری برخوردار است و از میان آنها، الگوی صوری شرطی تابع ارزشی در استدلالهای دقیق و پیچیده ریاضی نتایج رضایتبخشی داده است .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی جامعهشناسی منطق براساس کتاب "Weaving Self-Evidence A Sociology of logic" by "Claude Rosental"
نویسنده:
زهرا مهدلو
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
اصل طرد شق ثالث
,
برهان الکان
,
منطق جدید
,
منطق کلاسیک
,
منطق فازی
,
جامعه شناسی منطق
چکیده :
موضوع و طرح مسئله (اهمیت موضوع و هدف) بررسی امکان تحقق پژوهش های جامعه شناختی در حوزه منطق؛ تصور می شود، منطق، به مثابه معرفت یقین آور، فعالیتی صرفاً انتزاعی که در اذهان عالمان رخ می دهد. بنابر این غیر قابل مشاهده توسط جامعه شناس هاست. هدف این پروژه: نشان دادن ماهیت ذاتاً اجتماعیِ فرایندی است که در آن گزاره ها به عنوان صادق ها در منطق تولید، پذیرفته و انتشار می یابند. اهمیت این پژوهش روشن کردن بُعد دیگری از فرایند ایجاد معرفت خصوصاً در حوزه منطق است روش تحقیق شامل تعریف مفاهیم، روش تحقیق، جامعه مورد تحقیق، نمونه گیری و روشهای نمونهگیری، ابزار اندازه گیری ، نحوهی اجرای آن، شیوهی گردآوری و تجزیه و تحلیل دادهها: یافتههای تحقیق: ابداع قضیه ای منطقی و تائید آن در جامعه علمی به هیچ وجه محصول فعالیتی انفرادی و انزوایی نیست بلکه، فرایندی اجتماعی است که مشاهده پذیر و قابل مشاهده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ساختار نحوی و سمانتیکی منطق ربط
نویسنده:
سکینه تولمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق ریاضی
,
قیاس
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق استنتاج
چکیده :
منطق ربط شاخهای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان میکند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده میشود. در این پایاننامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلالهای ربطی و غیر ربطی را نشان دادهایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را سادهتر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداختهایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده میکند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگیهای فراوانی دارد که پارهای از این پیچیدگیها را در قالب مثالهای گوناگون نشان دادهایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان دادهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق های ربط
نویسنده:
مریم امیر ماهانی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق ریاضی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
منطق استنتاج
چکیده :
در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات نابهنجار مورد نیاز است، بیان می کنیم. مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می پردازیم
انتخاب :
مشخصات اثر
ثبت نظر
9
10
11
12
13
14
15
16
17
18
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید