[Язык Логики]
аЧ специально создаваемый современной логинкой для своих целей язык, способный следовать за логической форнмой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построенние его предполагает принятие особой теории логического анализа. Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальнными символами. Этот язык имеет, однако, целый ряд черт, мешаюнщих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форнма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значенний. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объекнтов, и т. д. Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справнляется с многообразными своими функциями. Но, решая многие заданчи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче - выявленнию логических связей наших мыслей, но решаться она должна эффективно. В формализованном Я. л. слова обычного языка заменяются разнличными специальными символами. В нем четко разграничены синнтаксическая и семантическая части, разделение которых в обычнном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описынвать. И только потом вводятся правила придания значений употребнляемым в нем комбинациям знаков, указывается его интерпретанция. Построение языка отличается тщательностью, с какой формунлируются синтаксические и семантические правила, отсутствием неправильностей и исключений. Разделение синтаксиса и семантики позволяет определить понянтие вывода логического чисто формально, не обращаясь к содержаннию конструируемых и преобразуемых выражений. Вывод оказыванется подчиненным простым предписаниям, подобным правилам слонжения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как лсмысл выражения
