Логика   ::   Ивин Александр Архипович

Одна из особенностей искусственных языков состоит в строгой определённости их словаря, синтаксиса и семантики. Во многих случаях эта особенность оказывается несомненным преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения.

Искусственные языки генетически и функционально вторичны в отношении естественного языка: первые возникают на базе второго и могут функционировать только в связи с ним.

Традиционная логика пользуется для описания мышления обычным языком.

Этот язык, возникший как средство общения людей, претерпел долгую и противоречивую эволюцию. Многое в нем остаётся невыявленным, а только молчаливо предполагается.

Все это не означает, конечно, что обычный язык никуда не годен, и его следует заменить во всех областях какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать форму нашей мысли.

Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения. Он должен служить только одной задаче — выявлению логических связей наших мыслей, но решаться она должна с предельной эффективностью.

Принципы построения искусственного логического языка разработаны в современной логике.