جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق های وجهی-چند ارزشی
,
منطق دامت-گودل
,
معناشناسی کریپکی فازی
,
تمامیت قوی
چکیده :
در این پایاننامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدلهای کریپکی پایهگذاری شده است اثبات میکنیم که در آن گزارهها در هر جهان و رابطهی دسترسپذیری بین جهانها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارنهایی که بین منطقهای □ و◊ وجود دارد میپردازیم: در منطق نخست (□) مفهوم درستی به قابهایی که رابطهی دسترسپذیری آنها دو مقداری است، فرو میکاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قابهایی است که رابطهی دسترسپذیری آنها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستمهای وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر میگیریم. همچنین قضیههای تمامیت به زبانهایی که به یک مجموعهی خوشترتیب گسسته از ارزشهای درستی نیز مجهز باشد گسترش داده خواهند شد. بازبرد اصلی این پایاننامه [۶] میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق گزارههای حاکی از عمل
نویسنده:
محسن متقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق کاربردی
,
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سمانتیکهای منطق عمل
,
منطق عمل
چکیده :
منطق عمل پارهای از مفاهیم نظیر«قصد » را به عنوان مبدأ خود قرار میدهد، در حالیکه این مفاهیم تعریف روشنی ندارند و تنها به صورت کیفی تعریف شدهاند. تقسیمبندیهایی که بر روی اعمال انجام میشود، میتواند با توجه به نیاز هر علم و با تکیه بر یکی از خصوصیات عمل، انجام شود. در این تحقیق نمونهای از این تقسیمبندیها بر اساس تعداد عاملهای موثر در انجام یک عمل انجام شد ولی در هر علمی میتوان از منظرهای مختلف به عمل نگریست و آن را طبقهبندی نمود. یکی از قسمتهای چالشی در منطق عمل وجود یا عدم وجود اعمال پایهای است که هنوز اتفاقنظری بر روی آن ایجاد نشده است. پس از اتخاذ موضع در موارد بالا و ارائهی تقسیمبندیهای دلخواه در مورد عمل، نوبت به ارائهی معیار، برای اینهمانی اعمال میرسد؛ ناگفته پیداست تا وقتی که در موارد قبلی اتفاقنظر پدید نیاید معیار متقنی برای اینهمانی اعمال حاصل نمیشود. با اینکه هنوز توافق کلی بر سر مفاهیم عملی ایجاد نشده است اما نظامهای منطقی برای صورتبندی اعمال بر اساس بعضی از تعاریف و تقسیمبندیهای عمل پدید آمده است. منطق عمل توسط فون رایت پایهگذاری شد اما دلالتشناسی آن توسط چلاس در سال 1963 ارائه شد. این دلالتشناسی مبتنی بر تاریخچه و زمان بود؛ اما کاستیهای موجود در آن مثل کیفی بودن، باعث شد تا بلنپ و همفکران وی دلالتشناسی جدیدی برای منطق عمل به نام STIT ارائه دهند. این دلالتشناسی که مبتنی بر انتخابهای عامل و زمان بود تا حدودی مشکلات دلالتشناسی چلاس را برطرف نمود. یکی از موارد جالب توجه این است که خود چلاس در سال 1992 در مقالهای، قاعدههای استنتاج را برای دلالتشناسی STIT ارائه نمود و روند تکاملی منطق عمل را همراهی کرد. با اینکه هنوز دلالتشناسی کامل و جامعی برای منطق عمل ارائه نشده است، اما رشد روز افزون علوم دیگر و نیاز آنها به منطقی که بتواند اعمال را توضیح دهد باعث شده است تا همین منطق عمل، به عنوان ابزاری برای آنها قرار گیرد. برای مثال در علم کامپیوتر و به خصوص در شاخهی هوشمصنوعی برای تحلیل اعمالی که عاملهای مصنوعی نظیر رباتها انجام میدهند، منطق عمل مورد استفاده قرار میگیرد. هیچ بعید نیست که در آینده نیز با توجه به نیازهای جدید در علوم دیگر منطق عمل مورد استفاده قرار گیرد. البته ممکن است دلالت-شناسیهای جدیدی برای منطق عمل ارائه شود تا منطبق با علوم دیگر این منطق کاربردی شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دلالت شناسی ضمایر اشاره ای مرکب مسائل و رویکردها
نویسنده:
محمد یزدانی ؛ علیرضا دست افشان
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
ضمایر اشاره ای مرکب
,
تئوری دلالت مستقیم
,
دیدگاه تسویری (منطق)
,
محتوا و مدلول
چکیده :
ضمایر اشارهای مرکب عباراتی پرکاربرد به شکل «آن ب» و حاصل ترکیب یک ضمیر اشارهای و یک عبارت اسمی ساده یا مرکب هستند. در مورد رفتار سمانتیکی این عبارات دو تئوری غالب وجود دارد: یکی دیدگاه دلالت مستقیمی و دیگری دیدگاه تسویری. مبتنیبر اولی، ضمیر اشارهای مرکب یک حد مفرد است و محتوای آن در کاربرد اشارهای یک فرد است و گرچه عبارت اسمی مندرج در آن در تعیین مدلول ضمیر سهیم است اما در محتوای جمله سهمی ندارد. امّا دومی، با آنها رفتاری مشابه سورها میکند، و مبتنیبر آن ضمایر اشارهای مرکب یک نسبت دو موضعی میان صفات را در گزارهی بیان شده توسط جمله حاوی ضمیر به اشتراک میگذارند. این تئوری مدعی توجیه همۀ اقسام کاربردهای این ضمایر از جمله، اشارهای، NDNS، QI، متغیر-پایبند و آنافورا میباشد. لذا حامیان این تئوری، انتقاداتی به واسطۀ این کاربردها به تئوری دلالت مستقیم وارد میکنند. اما قائلان تئوری دلالت مستقیم علاوه بر پاسخ به انتقادات، مسائلی را با استفاده از کاربردهای مزبور در متون وجهی و دیگر متون برعلیه دیدگاه تسویری طرح میکنند که میتواند این دیدگاه را دچار مشکلاتی اساسی کند. رویهمرفته، به نظر میرسد تئوری دلالت مستقیم در مواجهه با ضمایر اشارهای مرکب تبیین شهودیتر و منسجمتری ارائه میدهد.
انتخاب :
صفحات :
از صفحه 99 تا 131
مشخصات اثر
ثبت نظر
عنوان :
ذات باوری در منطق موجهات و نقد کواین بر آن
نویسنده:
سمیرا محمدی نصیری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
جهان های ممکن(اصطلاح وابسته)
,
شفافیت ارجاعی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
نقد ذات گرایی
چکیده :
طرح نقدهای کواین در طول شصت سال اخیر باعث شده که در ضمن تلاش افراد برای پاسخگویی به آنها، بسیاری از مطالب مربوط به این حوزه به صورتی دقیق تر مورد بررسی قرار گیرد و زوایای تاریک بحث روشن شود. در طول تاریخ تفکر بسیار شاهد بوده ایم که مطالب خام زیر فشار نقدهای قوی بسیارپخته تر و روشن تر شده اند. نقد کواین هم از جمله این موارد است. کواین متن های موجه را از متن های معنایی قلمداد می کند و مدعی است متن های معنایی شفافیت ارجاعی ندارند، به علاوه او از یک سو سنگ بنای مطق محمولات را مصداقی بودن می داند، و از سوی دیگر، مدعی است که زبان منطق موجهات معنایی است. در مقابل کواین افرادی با رویکردی مصداقی به دفاع از منطق موجهات و انتقاد از نظرات کواین و پاسخ به مسائل او در منطق موجهات پرداخته اند. در بین این افراد، کریپکی تقریری مقبول ازدلالت شناسی منطق موجهات براساس مفهوم محوری «جهان های ممکن» و « رابطه ی دسترس پذیری» ارائه داد و با این کار،اساسی ترین اشکال کواین به منطق موجهات یعنی مصداقی بودن زبان منطق موجهات را رفع کرد. کواین با اصلاحاتی که کریپکی در دلالت شناسی منطق موجهات انجام داد، در نهایت پذیرفت که شرط مصداقی بودن زبان منطق موجهات گزاره ای، تأمین شده است؛ اما پذیرش دلالت شناسی کریپکی در منطق موجهات محمولی مستلزم «پذیرش ذات باوری» است. در دفاع از منطق موجهات محمولی، دو گروه مقابل کواین قرار گرفته اند: گروه اول با دلایلی اقامه می کنند که منطق موجهات به ذات باوری نمی انجامد، و یا با تغییراتی که در دلالت شناسی و نظام اصل موضوعی منطق موجهات می دهند، اساساً مسئله ی ذات باوری را منحل می کنند تا منطق موجهات به ذات باوری نینجامد. پارسونز از جمله افرادی است که با ارائه ی دلایل مدعی است منطق موجهات به ذات باوری نمی انجامد.کریپکی در دلالت شناسی دوم خود، با تغییراتی که در دلالت شناسی اول خود داد، مسئله ی ذات باوری را منحل کرد. گروه دوم افرادی مانند فولسدال و پلانتینگا هستند که با دفاع از ذات باوری، از منطق موجهاتی که به ذات باوری می انجامد، دفاع می کنند. به عبارت دیگر، در حوزه ی منطق های مصداقی، مخالفان کواین دو گروه هستند؛ مدافعان منطق موجهات غیر ذات باور و مدافعان منطق موجهات ذات باور. این پزوهش به روش توصیفی تحلیلی و بر اساس منابع و مقالات موجود به بررسی ذات باوری در منطق موجهات پرداخته و نقد منطقدانی به نام کواین را به این نوع ذات باوری مورد بررسی قرار می دهد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق دیالوگ
نویسنده:
احسان ارضرومچیلر
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
بازی
,
شهود گرایی
,
منطق گفتگو
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
چکیده :
پذیرش یا انکار یک سمانتیک برای منطقی خاص وابسته است به پیش فرض ها و مبانی فلسفی و فرامنطقی پذیرفته شده توسط یک منطقدان. آن چه در این رساله به آن پرداخنه می شود ارائه ی منطق دیالوگ است به همراه بیان برخی از این ملاحظات فلسفی. در این رساله ابتدا منطق گزاره ای دیالوگ، منطق محمولات دیالوگ و منطق موجهات دیالوگ ارائه خواهد شد. و پس از آن بحث های فلسفی مرتبط با آن، مانند شهودگرایی و نظریه معنا از نگاه شهودگرایانه - با تکیه بر آراء مایکل دامت - آورده خواهد شد و سپس برخی از نقدها و پاسخ هایی که به منطق دیالوگ وارد شده است ارائه و در انتهای فصل نیز به نتیجه گیری کلی در این باب پرداخته خواهد شد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تاملی در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»
نویسنده:
غلامرضا ذکیانی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصل تناقض (منطق)
,
عوامل اجتماعی موثر در معرفت
,
قرارداد (منطق)
,
مصادره به مطلوب
,
شرطی (منطق)
,
فلسفه منطق
,
قاعده وضع مقدم
,
منطق جدید
,
منطق کلاسیک
,
جامعه شناسی منطق
چکیده :
در مقالهی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده میشود که عوامل اجتماعی در پیدایش و ضروریانگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله میتوان به موارد زیر اشاره کرد: اختلاف ریاضیدانها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بینهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورتگرایان، عدم ترجیح توجیهات روانشناختی بر توجیهات جامعهشناختی، پارادوکسهای استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداختهایم: بینهایتها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیقهای بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان دادهایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
انتخاب :
صفحات :
از صفحه 97 تا 122
مشخصات اثر
ثبت نظر
عنوان :
قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق میانی
,
خاصیت تفکیک پذیری
,
قوانین پذیرفتنی
,
منطق گبی-دیانگ
چکیده :
در این پایاننامه قواعد پذیرفتنی منطقهای میانی را مطالعه کرده و نتایج کلی برای توسیعهای مدلها و مجموعهی فرمولها را ارائه میکنیم. این نتایج کلی برای بدست آوردن پایهای برای قواعد پذیرفتنی منطقهای گبی-دیانگ و نشان دادن اینکه این منطقها تایپ یکسانسازی متناهی دارند بکار برده میشود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه میکنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزارهای را بررسی نماید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ساختار صوری و معنایی منطق شرطی در دو نظام منطقی قدیم و جدید
نویسنده:
مرتضی حاجحسینی گورتانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شرطی
,
ساختار نحوی
,
ساختار معنایی
,
استلزام معنایی (منطق)
,
اصطلاحنامه منطق
,
برهان (قسیم جدل و مغالطه)
,
تابع ارزش
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
چکیده :
مگاریون و رواقیون در شناسائی ترکیب شرطی تابع ارزشی و شروط صدق آن و قاعدههای مربوط به آن نقش بنیادین و اساسی داشتند و از این جهت درآمدی به منطق جدید محسوب میشوند ولی هیچ تاثیری بر منطق اسلامی نداشتهاند. منطقیان قدیم، گزاره شرطی متصله، را به اتفاقیه عامه و لزومیه تقسیم نموده و شروط صدق هر یک را مورد بحث قرار دادهاند. اتفاقیه عامه بر هیچ یک از انواع شرطی در منطق جدید قابل تطبیق نیست . و مثالهای لزومیه نیز بیشتر از نوع استلزام معنائی، شرطی علی و شرطی خلاف واقع است . یعنی منطقیان قدیم به استلزام مادی و استلزام اکید که از نوع استلزام منطقی است نپرداختهاند و در تبیین شروط صدق اتفاقیه عامه و لزومیه بر اساس مقتضیات جهان کنونی داوری کردهاند نه میزانهای منطقی محض . آنان همچنین به دلیل استفاده از زبان طبیعی به جایگاه منطقی سلب ، زمان یا حالت و نیز سورهای متعدد در گزارههای مرکب ، نپرداخته و در بیان صورت برهانها از نظام واحدی پیروی نکردهاند. لذا نظریه آنها در هر یک از نظامهای متعدد که از متون منطق قدیم استخراج میشود به صورت برهانهای ادرست انجامیده است . اینگونه صورت برهانها در متن رساله با علامت *ن مشخص شدهاند. منطقیان قدیم با برقراری تناظر بین منطق حملی و منطق شرطی، نظریه قیاسهای اقترانی شرطی را بر نظریه قیاسهای اقترانی حملی استوار نمودهاند. لذا گرچه در قالب زبان طبیعی، چنین به نظر میرسد که میتوان درستی صورت برهانهای شرطی معتبر و نیز درستی قیاسهای اقترانی شرطی معتبر را بر اساس قواعد قیاسهای اقترانی حملی توضیح داد، اما حقیقت این است که نطریه قیاسهای اقترانی شرطی منطق قدیم قادر نیست درستی تمام این صورت برهانها را توضیح دهد. و خلاصه اینکه الگوهای صوری ارائه شده برای شرطیها در منطق جدید در تبعیت از میزانهای منطقی محض از توفیق بیشتری برخوردار است و از میان آنها، الگوی صوری شرطی تابع ارزشی در استدلالهای دقیق و پیچیده ریاضی نتایج رضایتبخشی داده است .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دیدگاه فرگه درباره ی این همانی با التفات به کتاب «مفهوم نگاشت» و رساله ی «در باب معنا و دلالت»
نویسنده:
طالب جابری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
دلالت(منطق)
,
معنا
,
این همانی (منطق)
,
محتوا
,
منطق فلسفی
,
منطق جدید
,
منطق کلاسیک
,
منطق فرگه ای
,
کتاب مفهومنگاشت، فرگه
,
رساله ی در باب معنا و دلالت، فرگه
چکیده :
«اینهمانی» یکی از مهمترین و در عین حال بحثبرانگیزترین مسائل مطرح شده در آثار فرگه است. در این مقاله به بررسی دیدگاه او در باب این موضوع و شرح و نقد تفسیرهای مختلف از آن خواهیم پرداخت. پرسش اصلی ما این است که اینهمانی بین چه عناصری برقرار میشود. ابتدا دیدگاه فرگه را نسبت به اینهمانی در «مفهومنگاشت» توضیح میدهیم. از آنجا که تأملات نهایی فرگه راجع به اینهمانی در دیگر اثر شناختهشدهاش یعنی «معنا و دلالت» مطرح میشوند، در بخش بعدی مفهوم اینهمانی را در این مقاله شرح میدهیم. در نوشتهی کنونی هدف نقد نظر فرگه نیست، بلکه پیش از آن مقصود ما فهم نظر فرگه است، زیرا تنها در این صورت میتوان مسائل مهمی همچون ماهیت عدد در «مبانی علم حساب» و تناقضنماهای مطرح شده از سوی راسل در نسبت با اصل موضوعهی پنجم فرگه در «قوانین علم حساب» را دریافت.
انتخاب :
صفحات :
از صفحه 95 تا 112
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید