بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی
نام نخستين پديدآور
مرتضی مزگی نژاد,لطف الله نبوی,سید محمدعلی حجتی
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کنندة ویژگی های مبنایی یک استدلال است به گونه ای که هر تغییری در آن ها سبب تغییر کل سی
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
ثوابت منطقی;قواعد عمل گری;قواعد ساختاری;استنتاج گرایی;تئوری برهان;قواعد عمل گری;قواعد ساختاری;استنتاج گرایی;تئوری برهان;