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