( научные ). Первые , называемые также разговорными , обычными , складываются постепенно и неотделимы от истории народа , владеющего им .
Искусственные языки люди специально разрабатывают для определенных целей ( к ним относятся языки математики , логики , алгоритмические языки программирования для ЭВМ , шифры и т . п .). Языки естественных и гуманитарных наук относятся к частично искусственным , поскольку кроме слов обычного языка включают собственную терминологию и символику , являющуюся по преимуществу интернациональной .
Строгая определенность словаря , синтаксиса и семантики искусственных языков — одна из их особенностей . Отмеченная особенность во многих случаях составляет несомненное преимущество искусственных языков в сравнении с естественными языками . По отношению же к естественному языку искусственные языки генетически и функционально вторичны , поскольку могут возникнуть лишь на базе естественного и , следовательно , способны функционировать только в связи с ним .
Для описания мышления традиционная логика пользуется обычным , долго эволюционировавшим со — временем языком , возникшим как средство общения людей . В обычном языке многое остается не выявленным , а только предполагающимся . Однако это не означает , что обычный язык следует заменить во всех областях искусственной символикой , поскольку он успешно справляется со своими функциями . Отметим лишь , что в процессе решения задач язык зачастую лишается способности точно передавать форму нашей мысли .
Язык логики искусственный , он не предназначен для общения и строится по строго сформулированным правилам . Он служит для эффективного решения лишь одной задачи — выявления логических связей наших мыслей .
Благодаря современной логике выработаны принципы построения искусственного логического языка . Его создание имело такое же значение в области мышления для техники логического вывода , какое в области производства получил переход от ручного труда к механизированному .
Специально созданный для целей логики язык получил название формализованного , в котором слова обычного языка заменяются отдельными буквами и различными специальными символами . Введение его означает принятие особой теории логического анализа рассуждений .
Логический анализ
Для логического анализа ( другими словами — для построения логического эквивалента фразы естественного — языка ) требуется синтаксический анализ фразы . Результаты анализа непосредственно отразятся на синтаксической и семантической структурах логического выражения .
Говоря , например , что « зеленоглазый » — это одноместный предикат , « загрыз » — двуместный предикат , « расстояние » — функция , « или » — логическая связка , « для всех » — квантор , мы выполняем семантический анализ понятий , выраженных естественным языком . Классификация понятий происходит в рамках схемы , установленной для языка логики . Здесь же осуществляется связь между понятиями , поэтому логический анализ , в сущности , представляет собой семантический анализ , а уже синтаксический анализ используется как необходимый для