متامنطق

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

برگردان

شین میم شین

   

۱

·      متا منطق به متا تئوری منطق (مراحل سمانتیکی) اطلاق می شود.

۲

·      متا زبان منطقزبان  و یا متا تئوری منطقتئوری  ـ قبل از همه ـ به بررسی اصول مربوط به اثبات پذیری براهین منطقی می پردازد.

·       یعنی به بررسی شرایطی می پردازد که تحت آن شرایط،  احکام منطی براهین منطقی هستند و الی آخر.

۳

·      متا منطق قبل از همه با تشکیل و تکمیل روش تصمیمگیری سر و کار دارد که به کمکش می توان صحت و سقم احکام معینی را تعیین کرد.

۴

·      به این معنا می توان گفت که جمله تشخیص پذیری گودل به متا منطق تعلق دارد.

۵

·      قواعد استنتاج منطقی، قواعد تغییر فرم منطقی و غیره نیز به هیمن سان.

·      مراجعه کنید به منطق، متا زبان در تارنمای دایرة المعارف روشنگری

پایان