آثار مرتبط با شخصیت ها | کتابخانه مجازی الفبا

عنوان :

مقدمه ای بر تراکتاتوس ویتگنشتاین (مطالعات ویتگنشتاین) [کتابشناسی انگلیسی]

نویسنده:

by Professor of Philosophy Emerita G E M Anscombe (Author)

نوع منبع :

کتابشناسی(نمایه کتاب) , درس گفتار،جزوه وتقریرات , کتابخانه عمومی

مشخصات اثر

عنوان :

صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن

نویسنده:

سید محمد علی حجتی، وحیده عامری

نوع منبع :

مقاله , کتابخانه عمومی

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

شیراز: دانشگاه شیراز,

کلیدواژه‌های اصلی :

منطق جدید , ثوابت منطقی , اصطلاحنامه منطق , فلسفه منطق , صوری سازی منطق

کلیدواژه‌های فرعی :

تابع ارزش صدق , زبان طبیعی (منطق) , صورت منطقی , ‌ اعتبار , استنتاج منطقی , قضیه شرطیه , گزاره صادق , منطق ریاضی , توتولوژی , صورت منطقی قضیه , صورت بخشی منطقی , قضیه منطقی , ضابطه صوری سازی , زبان منطقی , ادات منطقی , بی طرفی در گزاره ها , رابط های جمله ای ,

چکیده :

یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.

صفحات :

از صفحه 41 تا 60

مشخصات اثر