Структурата на формализиран език - Logic Library of Russian учебници
За да характеризираме езика на логиката, трябва отново да се обърнем към дефиницията на предмета на логиката (особено след като речта на логиката е нейният метод)
Буквално същността на предмета на логиката е, че логиката ни казва какво следва от това, което следва. Общопризнат пример за това как логиката се проявява в определена област на човешката теоретична дейност е геометрията. Евклид. И не само този текст е демонстрация на логически връзки, но всеки текст, в който се казва за систематизацията на научното знание, а в ежедневието логиката е инструмент за съображения и.
Оказва се, че логиката изучава логическите връзки, реализирани в различни текстове, фрагменти от езици (или езика на науката, а след това разговорна реч на различни диалекти) е логиката, изучаваща логиката. Парадокс
За да премахнем този парадокс, трябва да разграничим логиката, която изучаваме, от логиката, с която се извършва. Този подход предопределя разликите между съответните езици:
- логиката, която изучаваме, е формулирана на език, наречен предметен език, или обект - език. Това име се дължи на факта, че този език и логика, въплътени в него, са обект (обект) на изследване;
- езикът, в който изучаваме предметния език, се нарича език на изследователя, метаезикът
Нека илюстрираме това със следния пример. Нека вземем изречение на естествен език: „Всяка книга е източник на информация“
Това изречение олицетворява определена логическа форма, а именно: "Всички S са. P" Изразът "Всички S са. P" е структурата на общо утвърдително съждение, което е обект на изследване на традиционната логика и което логиката се оказва да бъде с помощта на своя логически набор от инструменти.
Изразът "Всички S са. P" се отнася до обект-език. Обяснението, че S - означава предмета на мисълта,. P - обозначава знак на обекта на мисълта, "същност" фиксира връзката между обекта на мисълта и знака на обекта на мисълта и т.н., е езикът на изследователя, метаезикът на водещия, метамоят.
Използването на обектния език и метаезика може да бъде проследено чрез разглеждане на такъв пример. При изучаване на чужд език, от гледна точка на човека, който го изучава, обектният език е фразите на чуждия език, а метаезикът е родният език. Именно на родния ни език получаваме цялата първоначална информация и обяснения в речници и граматики и едва тогава започваме да пишем и говорим на чужд език (на обектния език).
Така че разликите между обектния език и метаезика са изключително фундаментални. Езиковият обект е колекция от символни средства, които фиксират логически връзки и структури на съображения
В метаезика вече се извършва логически анализ на обектния език, тоест се изяснява ефективността на знаковите средства за фиксиране на логическата структура на съображенията, определят се процедури за връзката на знаците на обектния език със системата на тяхното значение.
Той говори много образно за важността на различаването между обектния език и метаезика. Стивън. Kleene в книгата "Математическа логика": "Необходимо е да се помни през цялото време за тази разлика между логиката на изучавания език (предмет) и логиката като средство за такова изследване (т.е. логиката на изследователя) Всеки, който не е готов за това, трябва незабавно да затвори тази книга и да намери друга дейност по ваш вкус (например съставяне на шаради и следователно пчеларство) за bjilnitsvo) ">
По този начин формализираният език на логиката се различава от естествения език както по произход, структура, така и по предназначение и те са обединени само от факта, че той се тълкува знакови системи