بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل‌گری در تعریف ثوابت منطقی

مرتضی مزگی‌نژاد؛ لطف‌الله نبوی نبوی؛ سیدمحمدعلی حجتی

دوره 6، شماره 1 ، فروردین 1394، ، صفحه 117-141

چکیده
  گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که ...  بیشتر