Все языки могут быть разделены на естественные, искусственные и частично искусственные. Естественные языки, называемые также повседневными, разговорными, обычными и т. п., складываются стихийно и постепенно. История каждого такого языка неотделима от истории народа, владеющего им. Искусственные языки сознательно создаются людьми для каких-либо специальных целей: языки математики, логики, алгоритмические языки, шифры и т. п. Языки естественных и гуманитарных наук относятся к частично искусственным.
Скажем, учебник биологии написан всегда на каком-то естественном языке: русском, английском, немецком и т. п. Вместе с тем помимо слов этого языка учебник обязательно включает собственно биологическую терминологию и символику, являющуюся по преимуществу интернациональной.
Одна из особенностей искусственных языков состоит в строгой определенности их словаря, синтаксиса и семантики, что во многих случаях оказывается несомненным преимуществом таких языков в сравнении с естественными языками, аморфными со стороны как словаря, так и правил образования и значения.
Искусственные языки генетически и функционально вторичны в отношении естественного языка: первые возникают на базе второго и могут функционировать только в связи с ним.
Традиционная логика пользовалась для описания мышления обычным языком. Этот язык, возникший как средство общения людей, претерпел долгую и противоречивую эволюцию. Многое в нем остается не выявленным, а только молчаливо предполагается.
Конечно, все это не означает, что обычный язык никуда не годен и его следует заменить во всех областях какой-то искусственной символикой. Он вполне справляется со своими многообразными функциями. Но, решая многие задачи, он лишается способности точно передавать форму нашей мысли.
Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, а должен служить только одной задаче — выявлению логических связей наших мыслей, но решаться она должна с предельной эффективностью.
Принципы построения искусственного логического языка разработаны в современной логике. Создание его имело примерно такое же значение в области мышления для техники логического вывода, какое в области производства имел переход от ручного труда к труду механизированному.
Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык — это «насквозь символический» язык.
Введение
его означает принятие особой теории логического анализа рассуждений.
