( научные ). Первые , называемые также разговорными , обычными , складываются постепенно и неотделимы от истории народа , владеющего им .
Искусственные языки люди специально разрабатывают для определенных целей ( к ним относятся языки математики , логики , алгоритмические языки программирования для ЭВМ , шифры и т . п .). Языки естественных и гуманитарных наук относятся к частично искусственным , поскольку кроме слов обычного языка включают собственную терминологию и символику , являющуюся по преимуществу интернациональной .
Строгая определенность словаря , синтаксиса и семантики искусственных языков — одна из их особенностей . Отмеченная особенность во многих случаях составляет несомненное преимущество искусственных языков в сравнении с естественными языками . По отношению же к естественному языку искусственные языки генетически и функционально вторичны , поскольку могут возникнуть лишь на базе естественного и , следовательно , способны функционировать только в связи с ним .
Для описания мышления традиционная логика пользуется обычным , долго эволюционировавшим со — временем языком , возникшим как средство общения людей . В обычном языке многое остается не выявленным , а только предполагающимся . Однако это не означает , что обычный язык следует заменить во всех областях искусственной символикой , поскольку он успешно справляется со своими функциями . Отметим лишь , что в процессе решения задач язык зачастую лишается способности точно передавать форму нашей мысли .
Язык логики искусственный , он не предназначен для общения и строится по строго сформулированным правилам . Он служит для эффективного решения лишь одной задачи — выявления логических связей наших мыслей .
Благодаря современной логике выработаны принципы построения искусственного логического языка . Его создание имело такое же значение в области мышления для техники логического вывода , какое в области производства получил переход от ручного труда к механизированному .
Специально созданный для целей логики язык получил название формализованного , в котором слова обычного языка заменяются отдельными буквами и различными специальными символами . Введение его означает принятие особой теории логического анализа рассуждений .
Логический анализ
Для логического анализа ( другими словами — для построения логического эквивалента фразы естественного — языка ) требуется синтаксический анализ фразы . Результаты анализа непосредственно отразятся на синтаксической и семантической структурах логического выражения .
Говоря , например , что « зеленоглазый » — это одноместный предикат , « загрыз » — двуместный предикат , « расстояние » — функция , « или » — логическая связка , « для всех » — квантор , мы выполняем семантический анализ понятий , выраженных естественным языком . Классификация понятий происходит в рамках схемы , установленной для языка логики . Здесь же осуществляется связь между понятиями , поэтому логический анализ , в сущности , представляет собой семантический анализ , а уже синтаксический анализ используется как необходимый для
(научные). Первые, называемые также разговорными, обычными, складываются постепенно и
неотделимы от истории народа, владеющего им.
Искусственные языки люди специально разрабатывают для определенных целей (к ним
относятся языки математики, логики, алгоритмические языки программирования для ЭВМ, шифры
и т.п.). Языки естественных и гуманитарных наук относятся к частично искусственным, поскольку
кроме слов обычного языка включают собственную терминологию и символику, являющуюся по
преимуществу интернациональной.
Строгая определенность словаря, синтаксиса и семантики искусственных языков — одна из их
особенностей. Отмеченная особенность во многих случаях составляет несомненное
преимущество искусственных языков в сравнении с естественными языками. По отношению же к
естественному языку искусственные языки генетически и функционально вторичны, поскольку
могут возникнуть лишь на базе естественного и, следовательно, способны функционировать
только в связи с ним.
Для описания мышления традиционная логика пользуется о� tb�a�/tb�/4-4/�.�,�/�4ct,�/�.�c�a�.4/�/t.4`4/�,�,4,�b4.4/�`t/�8�%4,�`4-t/4-t/t-t/4c�-�b�.�/�/4,�/�-�/t.4.�b4.4/4.�,4.�4`t`4-t-4`t`�,�/�4/�,tbt-t/t.4c�4.�c�-4-t.K�4$�4/�,tb�a�/t/�/4c�-�b�.�-H4/4/t/�,�/�-B�/�`t`�,4-t`�`tc�4/t-H4,�b�c�,�.�-t/t/tb�/4,4`�/�.�c4.�/�4/�`4-t-4/�/�.�,4,�,4c�bt.4/4`tcˈ4'�-4/t,4.�/�4ct`�/�4/t-H4/�-�/t,4a�,4-t`�4a�`�/�4/�,tb�a�/tb�.H4c�-�b�.��`t.�-t-4`�-t`�4-�,4/4-t/t.4`�c4,�/�4,�`t-taH4/�,t.�,4`t`�c�aH4.4`t.�`�`t`t`�,�-t/t/t/�.H4`t.4/4,�/�.�.4.�/�.K4/�/�`t.�/�.�c4.�`�4/�/H4`�`t/�-tb4/t/�4`t/�`4,4,�.�c�-t`�`tc´`t/�4`t,�/�.4/4.4a4`�/t.�a�.4c�/4.�4'�`�/4-t`�.4/4.�.4b4c4a�`�/�4,�4/�`4/�a�-t`t`t-H4`4-tb4-t/t.4c�4-�,4-4,4a�4c�-�b�.�4-�,4a�,4`t`�`�c�4.�.4b4,4-t`�`tc´`t/�/�`t/�,t/t/�`t`�.4`�/�a�/t/�4/�-t`4-t-4,4,�,4`�c4a4/�`4/4`�4/t,4b4-t.H4/4b�`t.�.��+�-�b�.�4.�/�,�.4.�.4.4`t.�`�`t`t`�,�-t/t/tb�.K4/�/H4/t-H4/�`4-t-4/t,4-�/t,4a�-t/H4-4.�c�4/�,tbt-t/t.4c�4.4`t`�`4/�.4`�`tc�4/�/�4`t`�`4/�,�/��`ta4/�`4/4`�.�.4`4/�,�,4/t/tb�/4/�`4,4,�.4.�,4/�4'�/H4`t.�`�-�.4`�4-4.�c�4cta4a4-t.�`�.4,�/t/�,�/�4`4-tb4-t/t.4c�4.�.4b4c4/�-4/t/�.H4-�,4-4,4a�.8�%�,�b�c�,�.�-t/t.4c�4.�/�,�.4a�-t`t.�.4aH4`t,�c�-�-t.H4/t,4b4.4aH4/4b�`t.�-t.K��$t.�,4,�/�-4,4`4c�4`t/�,�`4-t/4-t/t/t/�.H4.�/�,�.4.�-H4,�b�`4,4,t/�`�,4/tb�4/�`4.4/ta�.4/�b�4/�/�`t`�`4/�-t/t.4c�4.4`t.�`�`t`t`�,�-t/t/t/�,�/�4.�/�,�.4a�-t`t.�/�,�/��c�-�b�.�,�4%t,�/�4`t/�-�-4,4/t.4-H4.4/4-t.�/�4`�,4.�/�-H4-�-H4-�/t,4a�-t/t.4-H4,�4/�,t.�,4`t`�.4/4b�b4.�-t/t.4c�4-4.�c�4`�-tat/t.4.�.4.�/�,�.4a�-t`t.�/�,�/��,�b�,�/�-4,4.�,4.�/�-H4,�4/�,t.�,4`t`�.4/�`4/�.4-�,�/�-4`t`�,�,4/�/�.�`�a�.4.�4/�-t`4-tat/�-4/�`�4`4`�a�/t/�,�/�4`�`4`�-4,4.�4/4-tat,4/t.4-�.4`4/�,�,4/t/t/�/4`˂�(t/�-ta�.4,4.�c4/t/�4`t/�-�-4,4/t/tb�.H4-4.�c�4a�-t.�-t.H4.�/�,�.4.�.4c�-�b�.�4/�/�.�`�a�.4.�4/t,4-�,�,4/t.4-H4a4/�`4/4,4.�.4-�/�,�,4/t/t/�,�/�4,�4.�/�`�/�`4/�/�`t.�/�,�,4/�,tb�a�/t/�,�/�4c�-�b�.�,4-�,4/4-t/tc�c�`�`tc�4/�`�-4-t.�c4/tb�/4.4,t`�.�,�,4/4.4.4`4,4-�.�.4a�/tb�/4.4`t/�-ta�.4,4.�c4/tb�/4.�`t.4/4,�/�.�,4/4.�4$�,�-t-4-t/t.4-H4-t,�/�4/�-�/t,4a�,4-t`�4/�`4.4/tc�`�.4-H4/�`t/�,t/�.H4`�-t/�`4.4.4.�/�,�.4a�-t`t.�/�,�/�4,4/t,4.�.4-�,4`4,4`t`t`�-�-4-t/t.4.K��&�/�,�.4a�-t`t.�.4.H4,4/t,4.�.4-´%4.�c�4.�/�,�.4a�-t`t.�/�,�/�4,4/t,4.�.4-�,
4-4`4`�,�.4/4.4`t.�/�,�,4/4.8�%4-4.�c�4/�/�`t`�`4/�-t/t.4c�4.�/�,�.4a�-t`t.�/�,�/�4ct.�,�.4,�,4.�-t/t`�,4a4`4,4-�b´-t`t`�-t`t`�,�-t/t/t/�,�/�8�%4c�-�b�.�,
H4`�`4-t,t`�-t`�`tc�4`t.4/t`�,4.�`t.4a�-t`t.�.4.H4,4/t,4.�.4-�4a4`4,4-�bˈ4(4-t-�`�.�c4`�,4`�b�4,4/t,4.�.4-�,�/t-t/�/�`t`4-t-4`t`�,�-t/t/t/�4/�`�`4,4-�c�`�`tc�4/t,4`t.4/t`�,4.�`t.4a�-t`t.�/�.H4.4`t-t/4,4/t`�.4a�-t`t.�/�.H4`t`�`4`�.�`�`�`4,4aH4.�/�,�.4a�-t`t.�/�,�/��,�b�`4,4-�-t/t.4c˂�$�/�,�/�`4c�4/t,4/�`4.4/4-t`4a�`�/�0��-�-t.�-t/t/�,�.�,4-�b�.p��8�%4ct`�/�4/�-4/t/�/4-t`t`�/tb�.H4/�`4-t-4.4.�,4`�0��-�,4,�`4b�-��8�%4-4,�`�/4-t`t`�/tb�.B�/�`4-t-4.4.�,4`�0��`4,4`t`t`�/�c�/t.4-p��8�%4a4`�/t.�a�.4c�0��.4.�.0��8�%4.�/�,�.4a�-t`t.�,4c�4`t,�c�-�.�,0��-4.�c�4,�`t-tap��8�%4.�,�,4/t`�/�`4/4b´,�b�/�/�.�/tc�-t/4`t-t/4,4/t`�.4a�-t`t.�.4.H4,4/t,4.�.4-�4/�/�/tc�`�.4.K4,�b�`4,4-�-t/t/tb�aH4-t`t`�-t`t`�,�-t/t/tb�/4c�-�b�.�/�/�4&�.�,4`t`t.4a4.4.�,4a�.4c´/�/�/tc�`�.4.H4/�`4/�.4`tat/�-4.4`�4,�4`4,4/4.�,4aH4`tat-t/4b�4`�`t`�,4/t/�,�.�-t/t/t/�.H4-4.�c�4c�-�b�.�,4.�/�,�.4.�.�4%�-4-t`tc4-�-H4/�`t`�bt-t`t`�,�.�c�-t`�`tc´`t,�c�-�c4/4-t-�-4`�4/�/�/tc�`�.4c�/4.4/�/�ct`�/�/4`�4.�/�,�.4a�-t`t.�.4.H4,4/t,4.�.4-�4,�4`t`�bt/t/�`t`�.4/�`4-t-4`t`�,4,�.�c�-t`�4`t/�,t/�.B�`t-t/4,4/t`�.4a�-t`t.�.4.H4,4/t,4.�.4-�4,4`�-�-H4`t.4/t`�,4.�`t.4a�-t`t.�.4.H4,4/t,4.�.4-�4.4`t/�/�.�c4-�`�-t`�`tc�4.�,4.�4/t-t/�,tat/�-4.4/4b�.H4-4.�c