جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
تعداد رکورد ها : 114
عنوان :
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزیکی
نویسنده:
سلمان پناهی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
واقعگرایی متافیزیکی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
نقد متافیزیک
,
معناشناسی (منطق)
,
برهان واقعیت
,
منطق جدید
,
منطق کلاسیک
,
مدل پاتنام
,
برهان جایگشتی
چکیده :
با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان می دهد ، منطق صرفا به دقت مباحث فلسفی افزوده است و تبدیل به ابزاری شده تا ادعا های فلسفی دقیقتر بیان شوند و نتیجه های مترتب بر آنها بهتر بررسی شوند. تحقیق حاضر سعی در توضیح یکی از این کاربرد ها دارد .فیلسوف و ریاضیدان معروف امریکایی هیلاری پاتنم برای نقد یک دیدگاه در حوزه متافیزیک که آن را رئالیسم متافیزیکی می نامد ،از مفهوم های بنیادین نظریه مدل کمک می گیرد .نظریه مدل بخشی از منطق و منطق ریاضی است که به بررسی روابط میان یک زبان و تعبیر های آن می پردازد . پاتنم سه باور به کسانی که رئالیست متافیزیکی می نامد نسبت می دهد :نخست اینکه جهان از اشیاء کاملا غیر وابسته به ذهن انسان تشکیل شده ،دوم اینکه صدق عبارت است از نوعی مطابقت میان کلمه های زبان و جهان خارج از آن و مفهومی مطلق و غیر وابسته به نظریه دارد و سوم اینکه در نهایت تنها یک نظریه درست در مورد چگونگی بودن عالم وجود دارد .از نظر پاتنم این سه باور مستلزم قابلیت تثبیت مصداق کلمه های زبان(اسامی و محمول ها) هستند اما بنا به قضیه های بنیادین نظریه مدل مثل قضیه لوونهایم –اسکولم ،اساسا سیستم سمانتیکی ما قادر به تثبیت مصداق کلمه های زبان نیست (مگر با پیش فرض گرفتن یک مدل بخصوص که از نظر پاتنم این کار مصادره به مطلوب است) .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
اثباتی از تمامیت برای منطق مرتبه اول پیوسته
نویسنده:
الهام حیدرزاده
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ای پیوسته
,
منطق گزارهای لوکاسویچ
,
منطق مرتبه اول پیوسته
چکیده :
هدف اصلی این پایاننامه بررسی مجموعهای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده میشود که در منطق مرتبه اول پیوسته مجموعهای از فرمولها (تماماً) قابلارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه میشود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا میکند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان میکند که اگرΣΙ=φ، بنابراین اثباتهای متناهی از Σ میتوانند تقریبهای دلخواهی از درستی φ را بدست دهد. بهعلاوه مسئلهای متفاوت که در نظریه مدل بهطور سنتی مطرح میشود یعنی تصمیمپذیری را بررسی میکنیم. از تمامیت منطق مرتبه اول پیوسته حاصل میشود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارشپذیر بازگشتی) تصمیمپذیر است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
متنگرایی در مقابل حداقلگرایی در سمانتیک
نویسنده:
نیما احمدی؛ لطف الله نبوی ؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
حداقل گرایی (منطق)
,
پراگماتیک (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
متن گرایی
,
فلسفه منطق
,
فلسفه تحلیلی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
چکیده :
متنگرایی، رقیب اصلی حداقلگرایی است. نزاع میان این دو رویکرد سمانتیکی، ریشه در نزاع قدیمی تعیین مرز میان سمانتیک و پراگماتیک دارد. متنگرایان مدعیاند که جملات زبان طبیعی، قبل از غنیسازی پراگماتیکی، قابل ارزشدهی نیستند. در مقابل، از نظر حداقلگرایان، محتوای سمانتیکی حداقلی وجود دارد که معنای قابل ارزشدهی جمله را بهدست میدهد که متن اظهار، اثر محدودی روی آن دارد. این تقابل ناشی از شیوه و اندازهای است که متن بر محتوای سمانتیکی تأثیر میگذارد. در این مقاله، پس از معرفی این دو رویکرد، استدلالهای اصلی متنگرایان علیه حداقلگرایان را مطرح میکنیم. سپس نشان میدهیم که سمانتیکهای حداقلگرایانه از قبیل سمانتیک اشارهای کاپلان، با تفسیر عینی از متن نمیتواند مدل مناسبی حتی برای جملات حاوی ارجاع اولشخص ارائه کنند و برپایهی تفسیری ذهنی از متن، تمایز نمایهای از غیرنمایهای واضح نیست و سایر عبارتهای زبان نسبت به متنها، به معنای عام میتوانند نمایهای باشند.
انتخاب :
صفحات :
از صفحه 1 تا 23
مشخصات اثر
ثبت نظر
عنوان :
تصور گزاره ای و توجیه باورهای وجهی
نویسنده:
مسعود ضیاء علی نسب پور
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
امکان (منطق)
,
مسایل جدید معرفت شناسی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معرفت شناسی تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
تصور گزاره ای
,
تخیل پذیری
,
معرفت شناسی وجهی
چکیده :
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیلپذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه میکند بررسی میکنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیلپذیری است. گیرسون تخیلپذیری را بر اساسِ تصور تحلیل میکند. گیرسون با پذیرشِ شباهتهایِ برخی از مولفههای شرحاش با مدل یبلو (1993)، ادعا میکند که از چند جهت بحث را پیش برده است. یکی از این پیشرفتها از نظر گیرسون این است که او از تصور گزارهای در توجیه باور وجهی استفاده میکند. در این مقاله نشان میدهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزارهای به گونهای که گیرسون تعریف میکند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزارهای دقیقاً یعنی چه؟» نمیتواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزارهای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزارههای غیرممکن متافیزیکی و حتی گزارههای غیرممکن منطقی قابل تصورِگزارهای نباشند.
انتخاب :
صفحات :
از صفحه 41 تا 61
مشخصات اثر
ثبت نظر
عنوان :
سوژه و صورت منطقی در تراکتاتوس
نویسنده:
حامد زمانی پزوه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
سوژه
,
شی (منطق)
,
ویتگنشتاین متقدم
,
صورت منطقی
,
تراکتاتوس (فلسفه تحلیلی)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معنا ( Semantic )
,
منطق جدید
,
منطق کلاسیک
چکیده :
ویتگنشتاین متقدم، با گرهزدن زبان به ضرورت، معنا را از ایدههای ذهنی صرف جدا میکند. بهنظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورتهای موجود در عالم است. او برای تبیین ضرورتهای موجود در عالم تعریف خاصی از مفهوم شیء ارائه میدهد، بهازای هر شیء نشانهای را در زبانِ ممکن واجدِ معنا میداند، و روابط بین اشیا را حاصل بالفعلشدن امکانهای ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آنکه از مفاهمه حرفی بهمیان بیاورد، خودِ چگونگیِ ممکنبودنِ زبان را بررسی میکند و در پاسخ، صورت منطقی را مطرح میکند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست میدهد و اشیای عالم و امکانهای ترکیبی آنها عهدهدار معنا میشوند.
انتخاب :
صفحات :
از صفحه 29 تا 44
مشخصات اثر
ثبت نظر
عنوان :
فرانظریه و فراقضایا در سیستم اصل موضوعی منطق گزارهها
نویسنده:
زهرا موسوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
فرانظریه
,
علوم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سیستم اصل موضوعی
,
فرا قضیه
چکیده :
مطابق دانش پیشرفته امروز، هر علمی که منظمتر و با ترتیب منطقی خاصی ارائه شود، کاربرد آن آسان و نتیجهبخش خواهد بود. علم منطق جدید در اوان رشد خود راهمپای ریاضیات دانست و بر آن شد تا دستاوردی که در علوم ریاضی حل شده است به ساختار درونی خود منتقل کند. از این رهگذر به روشهایی دست یافت که آثار و برکات آن تا قرن اتم ادامه دارد. شیوهای که در قرن نوزدهم و با الهام از تراوشات اندیشه ریاضیدانان یونان در منطق پدید آمد، روشی نوین جهت دستیابی به اطلاعات نظاموار بود و بر آن بود تا دانستههای پربهای خود را به گونهای مرتب سازد تا نتایجی از آن حاصل شود و به دانشهای جدید دست یازد. از جمله این روشها میتوان از قیاسی کردن یا لژیستیک کردن سیستمهای منطقی نام برد. نخستین محققی که بدین شیوه کتاب نکاشت ریاضیدان و منطقدان آلمانی به نام فرگه بود که در سال 1879 کتابی تحت عنوان "مفهوم نگاری" منتشر نمود. آنچه که این کتاب را شهره آفاق نمود، استفاده از روش اصل موضوعی در سیستمها بویژه گزارهها بود. وی در این کتاب سیستمی را با شش اصل موضوع و دو قاعده وضع مقدم و جانشینی ارائه میدهد و نظامی نوین در منطق جدید پدید میآورد. در اهمیت کار وی همین بس که ریاضیدانان و منطقدانان پس از وی نظیر راسل - وایتهد، لوکاسیهویچ، هیلبرت آکرمان و ... به نوآوری و خلاقیت وی نظر کردند و در توسعه این سیستم راهکارهای جدیدی را ارائه دادند. در این پایاننامه ضمن رویکردی تاریخی به علم منطق جدید و بررسی اوصاف و ویژگیهای سیستمهای قیاسی و نیز کنکاشی در سیستمهای اصل موضوعی منطق گزارهها به بسط و تفصیل پیرامون سیستم اصل موضوعی فرگه و راسل-وایتبد در حساب گزارهها پرداخته شده است . از جمله مباحثی که به نحو برون سیستمی مورد بحث قرار گرفته فرانظریه و فراقضایای سازگاری، تمامیت و استقلال در این دو سیستم خاص میباشد. فرانظریه علم مطالعه برخی ار اوصاف و ویژگیهای آن سیستم است و آنچه که دستاورد این بحث و بررسی است ، فراقضیه نامیده میشود. فراقضیه سازگاری در یک سیستم قیاسی که بیشتر از بعد معناشناختی مطرح است ، حاکی از آن است که اگر چیزی به لحاظ معنایی منطقا متناقض نباشد یک قضیه خواهد بود و به عبارت دیگر هیچ دو قضیهای وجود ندارد که یکی نقیض دیگری باشد. مفهوم فراقضیه تمامیت نیز همانند فراقضیه سازگاری از بعدی معناشناختی برخوردار است . مفهوم تمامیت در یک سیستم منطقی تقریبا بدین معناست که سیستم تمامی قضایای درست مربوط به تئوری دارا باشد. و چنانچه اصول موضوعه یک سیستم به گونهای باشند که از یکدیگر قابل استنتاج نباشند - که در غیر اینصورت حکم قضیه را به خود خواهند گرفت - دارای استقلال خواهند بود. تمامی این فراقضایا به نحو برون سیستمی بر سیستمهای منطقی نظارت خواهند داشت .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ساختار صوری و معنایی منطق شرطی در دو نظام منطقی قدیم و جدید
نویسنده:
مرتضی حاجحسینی گورتانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شرطی
,
ساختار نحوی
,
ساختار معنایی
,
استلزام معنایی (منطق)
,
اصطلاحنامه منطق
,
برهان (قسیم جدل و مغالطه)
,
تابع ارزش
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
چکیده :
مگاریون و رواقیون در شناسائی ترکیب شرطی تابع ارزشی و شروط صدق آن و قاعدههای مربوط به آن نقش بنیادین و اساسی داشتند و از این جهت درآمدی به منطق جدید محسوب میشوند ولی هیچ تاثیری بر منطق اسلامی نداشتهاند. منطقیان قدیم، گزاره شرطی متصله، را به اتفاقیه عامه و لزومیه تقسیم نموده و شروط صدق هر یک را مورد بحث قرار دادهاند. اتفاقیه عامه بر هیچ یک از انواع شرطی در منطق جدید قابل تطبیق نیست . و مثالهای لزومیه نیز بیشتر از نوع استلزام معنائی، شرطی علی و شرطی خلاف واقع است . یعنی منطقیان قدیم به استلزام مادی و استلزام اکید که از نوع استلزام منطقی است نپرداختهاند و در تبیین شروط صدق اتفاقیه عامه و لزومیه بر اساس مقتضیات جهان کنونی داوری کردهاند نه میزانهای منطقی محض . آنان همچنین به دلیل استفاده از زبان طبیعی به جایگاه منطقی سلب ، زمان یا حالت و نیز سورهای متعدد در گزارههای مرکب ، نپرداخته و در بیان صورت برهانها از نظام واحدی پیروی نکردهاند. لذا نظریه آنها در هر یک از نظامهای متعدد که از متون منطق قدیم استخراج میشود به صورت برهانهای ادرست انجامیده است . اینگونه صورت برهانها در متن رساله با علامت *ن مشخص شدهاند. منطقیان قدیم با برقراری تناظر بین منطق حملی و منطق شرطی، نظریه قیاسهای اقترانی شرطی را بر نظریه قیاسهای اقترانی حملی استوار نمودهاند. لذا گرچه در قالب زبان طبیعی، چنین به نظر میرسد که میتوان درستی صورت برهانهای شرطی معتبر و نیز درستی قیاسهای اقترانی شرطی معتبر را بر اساس قواعد قیاسهای اقترانی حملی توضیح داد، اما حقیقت این است که نطریه قیاسهای اقترانی شرطی منطق قدیم قادر نیست درستی تمام این صورت برهانها را توضیح دهد. و خلاصه اینکه الگوهای صوری ارائه شده برای شرطیها در منطق جدید در تبعیت از میزانهای منطقی محض از توفیق بیشتری برخوردار است و از میان آنها، الگوی صوری شرطی تابع ارزشی در استدلالهای دقیق و پیچیده ریاضی نتایج رضایتبخشی داده است .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق دیالوگ
نویسنده:
احسان ارضرومچیلر
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
بازی
,
شهود گرایی
,
منطق گفتگو
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
چکیده :
پذیرش یا انکار یک سمانتیک برای منطقی خاص وابسته است به پیش فرض ها و مبانی فلسفی و فرامنطقی پذیرفته شده توسط یک منطقدان. آن چه در این رساله به آن پرداخنه می شود ارائه ی منطق دیالوگ است به همراه بیان برخی از این ملاحظات فلسفی. در این رساله ابتدا منطق گزاره ای دیالوگ، منطق محمولات دیالوگ و منطق موجهات دیالوگ ارائه خواهد شد. و پس از آن بحث های فلسفی مرتبط با آن، مانند شهودگرایی و نظریه معنا از نگاه شهودگرایانه - با تکیه بر آراء مایکل دامت - آورده خواهد شد و سپس برخی از نقدها و پاسخ هایی که به منطق دیالوگ وارد شده است ارائه و در انتهای فصل نیز به نتیجه گیری کلی در این باب پرداخته خواهد شد.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید