پروفسور دکتر گئورگ کلاوس
پروفسور دکتر ولفگانگ سگت
برگردان
۱
· معنی تحت اللفظی تخمین، محاسبه و یا حساب کردن است.
۲
· تخمین در منطق مدرن و در پژوهش مقدمات ریاضی به سیستمی از علائم و قواعد برای عمل کردن با این علائم اطلاق می شود که تنها به فرم علائم نسبت داده می شود، ولی نه به معنی آنها.
۳
· تخمین به این معنا در مجموعه های زیر معین می شود:
M0, M1, M2 und M3
الف
۱
· مقدمه (بنیاد) سیستم عبارت است از مجموعه قابل شمارش بی نهایت و با نهایت (M0) از سمبل های اصلی تخمین و یا علائم اتمی تخمین.
۲
· دو سمبل از این نوع اگر هیئت یکسانی داشته باشند، یکسان تلقی می شوند.
· در این سمبل ها نه نمونه مشخص مربوط به آنها، بلکه طبقات انتزاعی آنها یعنی هیئت علامتی آنها مورد نظر اند.
ب
۱
· در تخمین علاوه بر این، مجموعه ی (M3) از سلسله تخمین ها و یا سلسله علائم وجود دارد.
۲
· این سلاسل از تراکم تعداد محدودی از سمبل های (M0) بر روی هم تشکیل می یابند.
۳
· تئوری عمومی تسلسل در چارچوب تئوری به اصطلاح «نیمگروه ها» مورد بررسی قرار می گیرد.
پ
گویش تخمینی
۱
· بعد در چارچوب تخمین، مفهوم گویش تخمینی تعریف می شود.
۲
· مجموعه (M2) از گویش های تخمینی به «زیرمجموعه» ای از (M1) اطلاق می شود که بنا بر شرایط ساختاری معینی از این مجموعه برگزیده می شوند.
۳
· اگر تخمین در حالت خاصی از تخمین منطقی تشکیل یافته باشد، آنگاه این مفهوم گویش تخمینی با مفهوم گویش منطقی انطباق پیدا خواهد کرد.
ت
حکم تخمینی
۱
· سرانجام در تخمین، مفهوم حکم تخمینی و یا مفهوم جمله تخمینی تعریف می شود.
۲
· مجموعه (M3) از احکام تخمینی به «زیرمجموعه» ای از (M2) اطلاق می شود.
۳
· احکام تخمینی می توانند با دو متد مختلف از مجموعه گویش های تخمینی انتخاب شوند:
الف
متد سمانتیکی
۱
· متد سمانتیکی از مفهوم «اعتبار عام» شروع به کار می کند.
۲
· برای این کار تفسیر تخمین مجرد ضرورت دارد.
۳
· احکام تخمینی و یا براهین تخمینی به گویش هائی اطلاق می شود که در هر تفسیر مورد نظر حاوی اعتبار عام اند.
ب
متد سین تاکس منطقی
۱
· در متد دوم از «سین تاکس» منطقی شروع به کار می شود.
(سین تاکس (علم نحو)
به سیستم قواعد هر زبان اطلاق می شود که نحوه تشکیل و تغییر جملات و گویش های مجاز و معتبر زبانی را از انبوهی از عناصر بنیادی (علائم زبانی) تعیین می کند. مترجم)
· مراجعه کنید به سین تاکس (علم نحو)
۲
· جملات تخمینی معتبر به شرح زیرند:
الف
· اولا عبارتند از اصول بدیهی تخمین
ب
· ثانیا عبارتند از جملاتی که به کمک قواعد استخراجی تخمین از مجموعه اصول بدیهی تشکیل یافته اند.
ث
تخمین انتزاعی (مجرد)
· اگر مناسبت استخراجی (که بنیاد (مقدمه) این قواعد استخراجی است) طبیعت خالص «سین تاکتیکی» داشته باشد و هیچ تفسیر علامتی و یا سلسله علامتی تخمین را به دنبال نداشته باشد، آنگاه آن را تخمین انتزاعی (مجرد) می نامند.
ج
تخمین معنی شده (زبان فرمالیزه شده)
۱
· اما اگر مناسبت استخراجی «سمانتیکی» باشد (که در چارچوب تفسیر تخمین تعریف می شود) آنگاه تخمین تفسیر شده را تخمین «معنی شده» و یا «زبان فرمالیزه (صوری) شده» می نامند.
(سمانتیک (منطقی)
یکی از زیر عرصه های سمیوتیک عمومی است.
موضوع سمانتیک عبارت است از رابطه علامت با معنی آن.
مترجم)
· مراجعه کنید به سمانتیک
ادامه دارد.
هیچ نظری موجود نیست:
ارسال یک نظر