پروفسور دکتر گئورگ کلاوس

برگردان

شین میم شین

۱

  • هرگویش منطقی در چارچوب یک سیستم، تصمیمگیری پذیر است، اگر آن در چارچوب این سیستم قابل اثبات و یا رد باشد.
  • (یعنی نفی (نگاسیون) آن قابل اثبات باشد).

۲

  • تصمیمگیری در باره هر گویش منطقی می تواند با اتکا بر یک دلیل و یا به واسطه یک روش تصمیمگیری صورت گیرد.

پایان