Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.

Язык представляет собой необходимое условие существования абстрактного мышления.

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

Логический анализ мышления всегда имеет форму исследования языка, в котором оно протекает и без которого оно не является возможным. В этом плане логика — наука о мышлении — есть в равной мере и наука о языке.

Мышление и язык — две предполагающие друг друга стороны процессов познания и общения. Язык участвует не только в выражении мысли, но и в самом её формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его «вербализацию», последующее выражение в языке.

Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.

Иногда предполагается, что единственным способом получения подлинной истины является мистическое «вживание» в предмет, позволяющее в одном акте постичь его. При этом мышлению с помощью языка противопоставляется непосредственное, внеязыковое познание. Задача языка сводится к передаче — и притом с необходимостью в более или менее искажённой форме — результатов интуитивного постижения. Очевидно, что настаивание на интуитивном характере нашего познания ведёт так или иначе к противопоставлению мышления и языка.

Язык представляет собой систему знаков, используемую для целей коммуникации и познания.

Системность языка выражается в том, что каждый язык, помимо словаря, имеет также синтаксис и семантику.

Синтаксические правила языка устанавливают способы образования сложных выражений из простых.

Семантические правила определяют способы придания значений выражениям языка. Это достигается указанием тех обстоятельств, в которых должны приниматься предложения определённого вида.

Правила значения обычно делятся на три группы: аксиоматические, дедуктивные и эмпирические.

Аксиоматические правила требуют принятия предложений определённого вида во всех обстоятельствах. Примером могут служить правила русского языка, предписывающие всем говорящим на этом языке всегда принимать предложения «Каждый холостяк не женат», «Сантиметр равен одной сотой метра», «Красное не есть чёрное» и т.п.

Дедуктивные правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки. Таково, например, правило, согласно которому, приняв предложения «Если Иван Ильич человек, то он смертен», и «Иван Ильич человек», следует принять также предложение «Иван Ильич смертен».

И наконец, ситуация принятия предложений, указываемая эмпирическими правилами значения, предполагает выход за пределы языка и внеязыковое наблюдение. Примерами таких правил являются правила, требующие принятия предложения «Больно» в случае ощущения боли, предложения «Этот предмет — красный» — при восприятии красного предмета и т.п.

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

Все языки могут быть разделены, далее, на естественные, искусственные и частично искусственные.

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

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

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

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

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

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

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

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

Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык — это «насквозь символический» язык.

Введение его означает принятие особой теории логического анализа рассуждений.

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

Основные функции, или употребления, языка — это те основные) задачи, которые решаются языком в процессе коммуникации и познания.

В числе этих задач особое место занимает описание — сообщение о реальном положении вещей. Если это сообщение соответствует действительности, оно является истинным. Сообщение, не отвечающее реальному положению дел, ложно. К примеру, описание «Снег белый» является истинным, а описание «Кислород — металл» ложно. Иногда допускается, что описание может быть неопределённым, лежащим между истиной и ложью. К неопределённым можно отнести многие описания будущего: «Через год в этот день будет пасмурно» и т.п.

Описательное употребление языка иногда выделяется словами «истинно», «верно», «на самом деле» и т.п.

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

Как мы убедимся далее, описание, несмотря на всю его важность, — не единственная задача, решаемая с помощью языка. Оно не является даже главной задачей. Перед языком стоят многие другие задачи, не сводимые к описанию.