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