جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
14
15
16
17
18
19
20
21
22
23
تعداد رکورد ها : 478
عنوان :
ترجمه کتاب مقدمهای بر منطق
نویسنده:
غلامرضا اطمینان
نوع منبع :
رساله تحصیلی , ترجمه اثر
وضعیت نشر :
مشهد: دانشگاه فردوسی مشهد,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق فلسفی
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
چکیده :
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نفی کارآمدی برهان لم در فلسفۀ اولی؛ مطالعة تطبیقی میان رویکرد ملاصدرا و علامه طباطبایی
نویسنده:
موسی ملایری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
برهان لمی (منطق)
,
منطق تطبیقی
,
برهان ان
,
فلسفه اسلامی
,
حکمت متعالیه
,
اصطلاحنامه منطق
,
فلسفه نوصدرایی
,
فلسفه علامه طباطبایی
,
منطق قدیم
,
منطق نوصدرایی
,
ناکارآمدی برهان لم
,
ناکارآمدی برهان اِنّ
,
برهان از طریق لوازم عامه (منطق)
,
درباره علامه طباطبایی
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
,
علامه طباطبایی: سید محمدحسین طباطبایی
چکیده :
موضوع این مقاله پژوهشی تطبیقـی دربارة رویکرد مشترک صدرالمتألهیـن و علامه طباطبایی دربارة نفی کارآمدی برهان لم در قلمرو فلسفة اولی است. ملاصدرا با اتکا به نظریة بساطت حقیقت وجود و اینکه امر بسیط حد و درنتیجه برهان ندارد به این نتیجه دست یافت که برهان لم در شناخت و اثبات احوال و اوصاف وجود کارآمد نیست. صدرا برهان اِنّ را نیز، با استناد به قاعدة ذوات الاسباب، گاه بهکلی نامعتبر و گاه با کارکردی ضعیف معتبر میشمارد. او پس از تضعیف یا حتی تخطئة نقش برهان در قلمرو فلسفة اولی به نوعی منطقگریزیِ محتوم تن میدهد و درنهایت شهود را تقویت میکند. علامه طباطبایی نخست، همچون صدرا، برهان لم را در قلمرو مسائل فلسفی نامعتبر میشمارد (البته نه با استناد به نظریة بساطت وجود، بلکه با اتکا به سه مبنای علمشناختی کلان). آنگاه با اتکا به قاعدة ذوات الاسباب برهان اِنِّ مصطلح نزد منطقیون را نیز تماماً ناکارآمد میداند. سپس نوع جدیدی از برهان به نام «برهان ازطریق ملازمات عامه» عرضه میکند و بر آن است که براهین فلسفی همه از این نوعاند. بنبست نظریای که نخست ملاصدرا و سپس علامه با آن مواجه شدند در اعماقش از ناکارآمدی منطق اصالت ماهوی در قلمرو فلسفة وجودی خبر میدهد. در این مقاله، رویکرد علامه طباطبایی مبنیبر نفی ناکارآمدی براهین مذکور نقد میشود. اما مدعای ایشان مبنیبراینکه برهان ازطریق تلازم در فلسفه کارآمد است و با سایر براهین تفاوت ماهوی دارد کشفی ارزشمند تلقی میشود که میکوشد تا رکود منطق را درمقایسهبا وجودشناسی در حکمت نوصدرایی جبران کند.
انتخاب :
صفحات :
از صفحه 117 تا 158
مشخصات اثر
ثبت نظر
عنوان :
استدلال های شرطی در منطق
نویسنده:
زهره امیدی پور
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه الزهرا(س),
زبان :
فارسی
کلیدواژههای اصلی :
تلازم شرطیات
,
منطق سینوی
,
منطق قدیم
,
اصطلاحنامه منطق
,
قیاس استثنائی
,
قیاس اقترانی
,
قیاس اقترانی شرطی
,
قیاس شرطی
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
چکیده نخستین دانشمند مسلمانی که به شکل جدی به ساختارهای شرطی پرداخت ، « ابن سینا » بود. در واقع او مبتکرنظری? « قیاس اقترانی شرطی » است . پس از او کسانی چون« ارموی » ،« قطب رازی » و « خواجه نصیر طوسی » این بحث را ادامه دادند .تحقیق حاضردر پی این است که نشان دهد ابن سینا و شارحان وی تا چه حد توانسته اند ساختار معتبر و منسجمی از استدلال های شرطی ارائه نمایند.در این پژوهش سعی شده با مطالع? کتابهای ابن سینا (مانند شفا، نجات، اشارات و تنبیهات و...) وآثارشارحانش، گزاره ها وقیاس های شرطی مورد بررسی قرار گیرد تا رابط? آنها و حملی ها وقواعد واحکام مشترک آنها معلوم شود. بدین منظور با جمع آوری مهم ترین و ضروری ترین مباحث استدلال های شرطی ، نحو? استنتاج صحیح از شرطی ها وارتباط وتلازمشان با قیاس های حملی نشان داده شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی و نقد سه دیدگاه در کیفیت حمل ذاتیات بر ذات و بر یکدیگر
نویسنده:
محمد مهدی کمالی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
حمل شایع صناعی (منطق)
,
فلسفه اسلامی
,
حمل اولی ذاتی (منطق)
,
نوع
,
جنس
,
فصل
,
اصطلاحنامه منطق
,
منطق اسلامی
,
منطق قدیم
,
کیفیت حمل ذاتیات بر ذات
چکیده :
در رابطه با کیفیت حمل ذاتیات بر ذات و بر یکدیگر سه نظریه مطرح است. مشهور حمل جنس و فصل بر نوع و بر یکدیگر را حمل شایع صناعی دانستهاند. لیکن به اعتقاد علامه طباطبایی جنس همان نوع مبهم و فصل همان نوع محصل است و نوع ماهیتی تامه است فارغ از ابهام و تحصل. از اینرو ایشان بر خلاف مشهور حمل جنس و فصل بر نوع را اولی ذاتی میداند، اگرچه حمل جنس و فصل بر یکدیگر را شایع صناعی قلمداد نموده است. اما آیتالله جوادی آملی یک گام جلوتر از علامه طباطبایی نه تنها حمل جنس و فصل بر نوع را که حمل آن دو بر یکدیگر را اولی ذاتی معرفی کرده است. به اعتقاد ایشان هر حملی که در مدار مفهوم باشد، حمل اولی ذاتی است و حمل این سه مفهوم بر یکدیگر از این قبیل است. در این مقاله ضمن تبیین هر سه دیدگاه، به نقد و بررسی آنها پرداخته و در نهایت به این نتیجه دست یافتهایم که نظریه مشهور صحیح است.
انتخاب :
صفحات :
از صفحه 83 تا 98
مشخصات اثر
ثبت نظر
عنوان :
گزارههای همیشه صادق نزد خونجی
نویسنده:
ابوذر قاعدیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
زنجان: دانشگاه زنجان,
زبان :
فارسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
,
عکس نقیض ( قضیه )
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق موجهات
,
گزارههای همیشهصادق
چکیده :
خونجی در تقسیمبندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزارهی موجبهی کلیه بر اساس تقسیمبندی خونجی، صورتبندی شده است. در این پایاننامه 72 گزارهی جزئیه نزد خونجی صورتبندی شدهاند. خونجی 12 گزاره را از مجموع 72 گزارهی جزئیه، همیشهصادق دانسته است. از این 12 گزاره، 6 گزاره موجبهی جزئیه و 6 گزارهی دیگر سالبهی جزئیهاند. در فصل دوم با بررسی این گزارهها نشان دادیم که اگر چه این گزارهها در منطق جدید، همیشهصادق نیستند اما در منطق خونجی همیشهصادقاند. خونجی، همچنین 5 گزارهی موجهه را همیشهصادق دانسته است. در این پایاننامه، پس از صورتبندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزارههای موجههی همیشهصادقِ خونجی در منطق موجهات جدید همیشهصادق نیستند اما در منطق موجهات خونجی همیشهصادقاند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزارههای همیشهصادق پرداختهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ملاصدرا منطق، اخلاق و کلام
نویسنده:
همایش جهانی حكیم ملاصدرا
نوع منبع :
کتاب , مجموعه مقالات , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
تهران: بنياد حکمت اسلامي صدرا,
زبان :
فارسی
کلیدواژههای اصلی :
16. کلام عقلی
,
مقاله ها
,
فلسفه اسلامی
,
اصطلاحنامه منطق
,
فلسفه دین
,
فلسفه منطق
,
شوارق الالهام: لاهیجی
,
اسفار اربعه: ملاصدرا
,
شفاء: ابن سینا
,
الشواهد الربوبیّة: ملاصدرا
,
01- کافی : شیخ کلینی
,
مقدمه ابن خلدون
,
اصطلاحنامه فلسفه اخلاق
,
اصول فلسفه و روش رئالیسم (علامه طباطبایی/ مرتضی مطهری)
کلیدواژههای فرعی :
دلیل ضرورت نبوت ,
معتزله (اهل سنت) ,
ارزش های اسلامی ,
رییس مدینه فاضله ,
حرکت جوهری ,
عکس ( قضیه ) ,
قضیه حملیه ,
عکس نقیض ( قضیه ) ,
حدود قیاس ,
قیاس اقترانی ,
حد وسط ,
حضرت قلب(انسانی) ,
حقیقت قلب(قسیم روح و سر ونفس) ,
وحی و عقل ,
کثرت گرایی دینی(فلسفه دین) ,
منطق کلاسیک ,
منطق غیر کلاسیک (منطق های توسعه یافته) ,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
چکیده :
مجموعه مقالات همایش جهانی حکیم ملاصدرا جلد نهم- ملاصدرا ـ منطق، اخلاق و کلام این کتاب جلد نهم از مجموعه مقالات همایش جهانی حکیم صدرالمتألهین شیرازی است. در این جلد مقالات مقوله منطق و فلسفه منطق (شامل ۱۱ مقاله) و مقالات مقوله فلسفه اخلاق (شامل ۱۶ مقاله) و ۶ مقاله از مقالات مقوله کلام و فلسفه دین آمده است. مقالات این کتاب در مجموع ۳۳ مقاله است که از میان آنها ۱۴ مقاله از انگلیسی، یک مقاله از زبان فرانسه و دو مقاله از عربی به فارسی ترجمه شده است. عناوین برخی از مقالات و نویسندگان آن عبارتند از: ـ ملاصدرا و تحول قضایا به حملی موجب کلی ضروری: احد فرامرز قراملکی ـ منطق زمان و نظریه اقتران شرطی ابنسینا: لطفالله نبوی ـ نگاهی گذرا به نگاشتههای منطقی از آغاز تا عصر ملاصدرا: محسن برزگر ـ حقیقت چیست؟: پال هورویچ ـ اصول تربیتی فلاسفه و متکلمین اسلامی و مقایسه آنها با علوم تربیتی: علی قائمی امیری ـ اهمیت عقاید دینی در تصمیمگیری پزشکی در مورد پایان زندگی: هانس مارتین زاس ـ ملاحظاتی درباره مفهوم قلب از نظر ملاصدرا: پل بالانفه ـ زیست اخلاق و ژنتیک انسانی: لودگر هونفلدر ـ پلورالیسم و وحی از منظر صدرالمتألهین شیرازی و پلتیلیش: اعلاء تورانی این کتاب بهمراه شرح مختصری از نویسندگان مقالات در ۵۱۴ صفحه از سوی بنیاد حکمت اسلامی صدرا منتشر شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معقولهای ثانی
نویسنده:
محمد فنائی اشکوری
نوع منبع :
کتاب , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمینی (ره),
زبان :
فارسی
کلیدواژههای اصلی :
مفاهیم کلی
,
فلسفه اسلامی
,
معقولات ثانیه فلسفی(مقابل معقولات ثانیه منطقی)
,
کتب فلسفی
,
تجرید الاعتقاد: خواجه نصیر
,
شرح منظومه: سبزواری
,
شوارق الالهام: لاهیجی
,
اسفار اربعه: ملاصدرا
,
شفاء: ابن سینا
,
شرح اشارات: خواجه نصیر الدین طوسی
,
شرح تجرید فاضل قوشچی
,
بدایة الحکمة: علامه طباطبایی
کلیدواژههای فرعی :
اصالت ماهیت ,
بداهت وجود (مفهوم وجود) ,
وجود ربطی ,
امور عامه ,
مقولات عشر ,
اصالت وجود ,
اصطلاحنامه منطق ,
الفاظ ,
علم حصولی(مقابل علم حضوری) ,
معقولات اولی((مفاهیم ماهوی)، مقابل معقولات ثانیه) ,
چکیده :
معقولهای ثانی فلسفی، ابزارهای نگرش فلسفیاند که فیلسوف آنها را برای کشف و تبیین اسرار و حقایق جهان هستی به کار میگیرد. بسیاری از اندیشمندان اعتبار فلسفه را در گرو ارزش و اعتبار این دسته از مفاهیم میپندراند. از این رو، یکی از مباحث بنیادین درباره حقیقت فلسفه پژوهش درباره اعتبار معقوهای ثانی فلسفی است. معقول در اصطلاح فلسفه و منطق به مدرکات مفاهیم کلی گفته میشود که توسط عقل درک میشوند، برخلاف محسوسات و متخیلات که جزییاند و توسط حواس درک میشوند. معقولات ثانی فلسفی نقش مهمی در تفکر بشر دارند، به گونهای که انکار این دسته از معقولات تفکر بشر را با بنبست مواجه میکند. تفاوت عرفان و ادبیات از نگاه کاکایی انتشار چکیدهای از تمامی آثار بوردیو بخشی از فهرست: فصل اول:معقول ثانی در فلسفه اسلامی فصل دوم:سهروردی و مفاهیم اعتباری فصل سوم:طوسی و مسئله معقول ثانی فصل چهارم:معقول ثانی در فلسفه اصالت وجودی ملاصدرا فصل پنجم:فلاسفه پس از ملاصدرا و معقول ثانی فصل ششم:معقول ثانی در اندیشه توماس اکوئیناس
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
گنجینه خرد
نویسنده:
مهدی هادوی تهرانی
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
قم: الزهراء,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه منطق
,
الفاظ
,
ت. فلسفه و منطق (آثار پر استناد)
,
شرح منظومه: سبزواری
,
کتب منطق
,
شفاء: ابن سینا
,
اشارات و تنبیهات: ابن سینا
,
شرح اشارات: خواجه نصیر الدین طوسی
,
1. ارگانون - المنطق - الأورغانون- الأورجانون - the organon (ارسطو)
,
منطق جدید
,
منطق قدیم
,
نهایة الحکمة: علامه طباطبایی
,
بدایة الحکمة: علامه طباطبایی
,
أعیان الشیعة (محسن امین)
کلیدواژههای فرعی :
دلالات ,
دلالت طبعی ,
دلالت وضعی ,
دلالت لفظی ,
دلالت عقلی غیر لفظی ,
لفظ مرکب ,
لفظ مفرد ,
مرکب ناقص ,
لفظ مرکب تام خبری ,
صدق و کذب (منطق) ,
چکیده :
گنجینه خرد / مهدی هادوی، از هنگامی که دانش منطق به سرزمین های اسلامی وارد شد اندیشمندان مسلمان با شرح و تفسیر، تطبیق قواعد منطقی با متون اسلامی و نقد و نو آوری به بالندگی آن مدد رساندند، ولی جویندگان این علم کهن مدت زمانی است که شیوه علمای سلف را مغفول نهاده، تنها به ذکر نظریات و آثار حکمای پیشین اکتفا می کنند، بدون آنکه اندیشه های آنها را تحلیل و بررسی نموده و راه های تازه به سوی معارف عقلی به میان آورند. «گنجینه خرد» با عنایت به پر سازی خلاء پیش گفته به سامان رسیده است. استاد مهدی هادوی در این اثر کوشیده است که از افکار منطقیان پیشین، منطقی نوین بسازد. تا کنون دو جلد از هفت جلد این مجموعه، منتشر شده است. جلد اول تحت عنوان «مبادی منطق» رئوس ثمانیه (سمت مؤلف، غرض،منفعت،مرتبه،جنس،موضوع و ابواب) معیار ]علم[ را تحلیل و بررسی کرده و جلد دوم تحت عنوان «مباحث الفاظ» تنها به پاره ای از مباحث تصورات یعنی مجاری مباحث الفاظ، دلالت و اقسام آن و مفرد و مرکب پرداخته است. بیان نظریات و سخنان بزرگان، شرح شیوای آراء اندیشمندان، تفسیر گویا، مفهوم و روان؛ ورود و خروج روشمند و علمی در مسائل منطقی و توجه به مسایل فراموش شده از مهم ترین ویژگی های این نوشتار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
الگویی برای منطق خواست بر مبنای منطقهای نیمهکلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق شرطی
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق خواست
,
منطق ترجیح
چکیده :
در پی توسعهی منطق جدید، «منطق کلاسیک» در مقولههایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقولهی «خواست»، الگو از «منطقهای نیمهکلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزههای «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیکهای ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطقهای خواست» پرداختیم. به علاوه سیستمهایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظامهایی را پیشنهاد دادیم. در میان منطقها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کردهایم. در بیان ساختار معنایی «منطقهای خواست نرمال» نیز از ایدهی «جهانهای ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره بردهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید
نویسنده:
علیرضا دارابی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق شرطی
,
منطق سینوی
,
ساختار نحوی
,
اصطلاحنامه منطق
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق مرتبه دوم
چکیده :
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظامهای منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظامهای جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطقدانان سینوی و مبتنی بر کاربرد معمول زبان طبیعی صورت پذیرفته است. بر پایه این بررسی، سه روایت متمایز از قواعد منطق شرطی لزومی سینوی قابل تشخیص است. دو روایت از این سه را میتوان بر مبنای ترکیبی از منطق ربط، منطق زمان، منطق مرتبه دوم و مبتنی بر پیشفرض حقیقی بودن لزومیهای به کار رفته در شرطی سینوی صورتبندی نمود. روایت سوم در نظامهای موجود در منطق جدید قابل صورتبندی نیست.
انتخاب :
مشخصات اثر
ثبت نظر
14
15
16
17
18
19
20
21
22
23
تعداد رکورد ها : 478
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید