Согласно взглядам Г. Фреге (автор формулы «семантического треугольника»)[1] смысл – это понятие, которое отражает предмет, значение – сам отражаемый предмет, а имя – слово, вербальная форма, в которую облачено понятие; слова (имена), в «оболочке» которых «живут» понятия, могут быть различными, произнесенными на разных языках, но содержать одно и то же понятие (например, «стул» – англ, chair, нем. der Stuhl; «наука» – англ, science, нем. die Wissenschaft), отражающее конкретные или абстрактные предметы, явления, процессы.
По Э. Гуссерлю (1859–1938), автору известной работы «Логические исследования, значение (нем. die Bedeutung) это лингвистическая форма смысла (нем. der Sinn).
Смысл – выражаемая знаком характеристика объекта, представителем которого является знак.
Смысл заключает в себе определенное актуальное для субъекта представление о тех или иных (нередко – отдельных) параметрах, свойствах, сторонах объекта, возможных способах и вариантах его использования, и т. д.
Значение – выражаемый знаком реальный объект (феномен), который и обозначается этим знаком.
В значении чаще раскрывается вполне конкретный (или «любой
подобный») объект, представленный в совокупности свойств, его сущностная составляющая.
С этой точки зрения некоторые знаки (понятия) не имеют значения, т. е. представляют несуществующие объекты («вечный двигатель», «Баба-Яга»; в которых могут проявляться разные смыслы – от страха, до насмешки, при явной невозможности их реального существования).
Языки обычно делят на две большие группы:
• естественные → национальные, жестов, музыки и т. д.;
• искусственные → специальные, созданные относительно узкой группой людей (например, профессиональные (врачей, сантехников, юристов), языки различных социальных групп (возрастных, представляющих элемент субкультуры); языки конкретных наук (отраслей науки), в том числе язык логики.
Для научного языка характерна строгая определенность содержания. Языки конкретных наук обладают специфическим понятийнокатегориальным аппаратом, используют особенную, отражающую как научность, так и особенности данной отрасли лексику (в данном случае – логики).
Термин (лат. terminus – граница, предел, конец чего-либо) в логике – это слово, имя предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.
Термины бывают дескриптивные и логические.
Дескриптивные термины (лат. descriptic – описание) включают единичные имена, общие имена, знаки свойств и отношений, знаки предметных функций, знаки признаков. Выражаются словами естественного или научного языка и на конкретный момент речевого взаимодействия адекватно отражают предмет мышления.
Имена предметов – слова или словосочетания, обозначающие отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Бывают имена единичные (Луна, столица современной России), обозначают предметы, существующие в единственном экземпляре, и общие (животное, мост, судья) – обозначают любые (неконкретные) предметы некоторого класса.
Свойства – это то, чем предметы и явления отличаются друг от друга («высокий», «низкорослый»).
Отношение – это месторасположение предметов и явлений в их взаимосвязи («больший, чем»; «расположенный между»).
Логические термины можно условно разделить на подгруппы: логические связки – конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция; названия элементов суждения (субъект, предикат), посылок силлогизма (больший, меньший и средний термины).
К логическим терминам иногда относят логические операторы – кванторы: (перевернутое «А» от нем. alle – все) – «для всех», «все», «всякий», «каждый», «ни один» и (перевернутое «Е» от нем. existieren – существовать) – «некоторые», «для некоторых», «существует».