Реферат: Естественный и искусственный язык
· синтаксис – уровень структуры языка, где формируются и исследуются отношения между знаками, способы образования и преобразования знаковых систем;
· синематику, где исследуются отношения знака к его смыслу (значению, под которым понимается либо мысль, выражаемая знаком, либо объект, обозначаемый им);
· прагматику, где исследуются способы употребления знаков в данном сообществе, использующем искусственный язык.
Построение искусственного языка начинается с введения алфавита, т.е. набора символов, которыми обозначаются объект данной науки, и правил построения формул данного языка. Часть правильно построенных формул принимается за аксиомы. Таким образом, все знание, оформленное с помощью искусственного языка, приобретает аксиоматизированную форму, а вместе с нею доказательность и достоверность.[19]
Характерной особенностью искусственных языков является однозначная определенность их словаря, правил образования выражений и придания им значений. Во многих случаях эта особенность оказывается преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения.[20]
Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.
Например, математики с самого начала стремились формулировать доказательства и теоремы на как можно более четком диалекте естественного языка. Хотя словарный запас этого диалекта постоянно расширяется, основные формы предложений, связки, союзы остаются практически теми же, что были выработаны еще в античные времена. Долгое время считалось, что «математический диалект» состоит из строго сформулированных предложений. Но уже в средние века развитие алгебры привело к тому, что формулировки теорем зачастую становились все длиннее и неудобнее. Соответственно, выкладки становились все более трудными. Даже для того чтобы просто понять фразу:
«Квадрат первого, сложенный с квадратом второго и
с удвоенным произведением первого на второе,
есть квадрат первого, сложенного со вторым»
требуется значительное усилие. Математическая строгость и удобство стали противоречить друг другу. Тогда заметили, что данное правило математического языка может быть сведено к нескольким условным знакам, и сейчас это записывается кратко и ясно:
x2 + 2 xy + y2 = (x + y)2
Это стало первым этапом уточнения математического языка: был создан символизм арифметических выражений, их равенств и неравенств. Язык математической логики, ставший символическим языком современной математики, возник в тот момент, когда неудобство математического языка для нужд математики было окончательно осознано. Новый символизм прояснил механическую природу многих преобразований, позволил дать простые алгоритмы их осуществления.[21]
Роль формализации естественного языка в научном познании и в логике в особенности:
1. Формализация дает возможность анализировать, уточнять, определять и разъяснять понятия. Многие понятия являются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие понятия физики, как сила, работа, энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела. В разговорной речи этим понятия придается более широкий, но неопределенный смысл, вследствие чего физическое понятие силы неприменимо к характеристике, например, человека.
2. Формализация приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н.И. Лобачевского[22] признать невозможным такое доказательство.
3. Формализация, основанная на построении искусственных логических языков, служит теоретическим фундаментом для процессов алгоритмизации и программирования вычислительных устройств, а тем самым и компьютеризации не только научно-технического, но и другого знания.[23]
Искусственные языки также используются юридической и логической наукой для теоретического или практического анализа мыслительных структур.
Общепринятый в современной логике искусственный язык – это язык логики предикатов. Основными семантическими категориями языка являются: имена предметов, имена признаков, предложения.
Имена предметов – это отдельные словосочетания, обозначающие предметы. Каждое имя имеет двойное значение – предметное и смысловое. Предметное значение имени – это множество предметов, к которым относится имя (денотат). Смысловое значение – это присущее предметам свойства, с помощью которых выделяют множество предметов (концепт).
Имена признаков – это качества, признаки или отношения предметов. Обычно это сказуемые, например, «быть красным», «прыгать», «любить» и т.д.
Предложения – это выражения языка, в котором нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.
Логический язык также имеет свой алфавит, включающий в себя определенный набор знаков (символов), логические связки. С помощью логического языка строится формализованная логическая система, называемая исчислением предикатов.[24]
Заключение.
Для меня, как для будущего специалиста в сфере Государственного и Муниципального управления, взаимоотношение с людьми имеет большое значение. Успех познания в моей карьере зависит от правильного употребления естественн ых и искусственных языков. Первые шаги познания связаны с естественным языком. Постепенное изучение требует более точного исследования. Именно это приводит к созданию искусственных языков. Чем большей точностью обладает наше знание, тем реальнее возможность применения в практике. Следовательно, проблема развития искусственных языков науки не является только теоретической, она имеет некоторое практическое содержание. И все же, главная роль познания заключена в естественном языке. Как бы не был развит и абстрактен искусственный язык, он имеет своим источником некий естественный язык.
Список Литературы.
1. Белл Э. Т. Творцы математики, глава 15. — М.: Просвещение, 1979.
2. Бюлер К. Теория языка: Репрезентативная функция языка. - М.: Прогресс, 1993.
3. Даль В. И. Толковый словарь русского языка. Современное написание. М.: АСТ, 2008
4. Дмитриевская И.В. Логика. М: Флинта., 2006.