Словарь логики

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