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