عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
First Statement of Responsibility
حجتی سیدمحمدعلی, عامری وحیده
SUMMARY OR ABSTRACT
Text of Note
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
TOPICAL NAME USED AS SUBJECT
Entry Element
صوری سازی;منطق گزاره ها;فرگه;ثوابت منطقی;اعتبار;
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier
مطالعه متن کتاب مقاله;
