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