3. Естественные и искусственные языки.
Все языки мира подразделяются на естественные, искусственные и частично искусственные.
Естественные языки складываются стихийно и постепенно, их становление неразрывно связано с историей народа, владеющего им.
Искусственные – сознательно создаются людьми для каких-либо специальных целей (языки математики, логики, шифры).
Языки естественных и гуманитарных наук относятся к частично искусственным. (Например, учебник физики написан на каком-либо естественном языке и содержит собственно физическую терминологию, символику, которая является интернациональной)
Искусственные языки вторичны по отношению к естественным.. Они возникают и могут функционировать только в связи с естественными языками.
Долгое время логика пользовалась для описания мышления обычным языком, на котором повседневно общаются люди. Но он имеет целый ряд особенностей, мешающих ему, к сожалению, успешно справляться с этой задачей:
его правила, касающиеся построения сложных выражений из простых, расплывчаты;
интуитивные критерии осмысленности утверждений ненадежны;
структура фраз скрывает реальную логическую форму;
большинство слов и выражений многозначны. Одни и те же слова имеют несколько значений. Это затрудняет общение. Поэтому в логике условились, что между знаковыми выражениями и формами мысли существует взаимнооднозначное соответствие. Это означает, что мы говорим именно то, что думаем и ни что другое.
Все это не означает, что обычный язык никуда не годится и его следует заменить во всех областях какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать форму нашей мысли. Поэтому для целей логики в ряде случаев необходим искусственный язык, строящийся по строго определенным правилам. Этот язык не предназначен для общения. Он должен служить только одной задаче – выявлению логических связей наших мыслей, но решаться она должна с предельной эффективностью.
Принципы построения искусственного логического языка были разработаны в современной логике. По утверждению немецкого логика Г.Клауса «создание его имело такое же значение в области мышления для техники логического вывода, какое в области производства имел переход от ручного труда к труду механизированному».
Специально созданный для целей логики язык получил название формализованного.
Формализация – построение модели, в которой содержанию размышления соответствуют формальные аналоги. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами.
4. Логическая грамматика.
Грамматика дает нам представление о выделяемых в языке частях речи (существительное, глагол…). Деление языковых выражений на логические категории напоминает это грамматическое подразделение и, в принципе, произошло от него. На этом основании теорию логических категорий иногда называют «логической грамматикой».
Результатом разложения предложения на простые, далее не разложимые части являются символы двух типов: содержательные (собственные) и логические (несобственные).
Содержательные символы – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе.
Логические символы (логические постоянные) – выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными выражениями образующие сложные выражения с самостоятельным содержанием.
Т.Е., содержательные символы – это содержательные выражения; логические символы – это бессодержательные выражения, служащие для образования одних содержательных выражений из других.
Различие между содержательными и логическими символами можно сравнить с различием между числами и арифметическими действиями над ними. Числа обладают каким-то содержанием, даже когда рассматриваются сами по себе. Операции сложения или вычитания, не имеют самостоятельного содержания, но позволяют из одних чисел получать другие.
К содержательным символам относятся имена и высказывания. Имена обозначают какие-то объекты, высказывания оценивают некоторые ситуации или положения дел. (Имена: «Александр Невский», «князь», «журналистика». Высказывания: «Александр Невский одержал победу на льду Чудского озера»).