پروفسور دکتر گئورگ کلاوس
برگردان
شین میم شین
۱
· هرگویش منطقی در چارچوب یک سیستم، تصمیمگیری پذیر است، اگر آن در چارچوب این سیستم قابل اثبات و یا رد باشد.
· (یعنی نفی (نگاسیون) آن قابل اثبات باشد).
۲
· تصمیمگیری در باره هر گویش منطقی می تواند با اتکا بر یک دلیل و یا به واسطه یک روش تصمیمگیری صورت گیرد.
پایان
هیچ نظری موجود نیست:
ارسال یک نظر