обычно делят на две большие группы:
• естественные → национальные, жестов, музыки и т. д.;
• искусственные → специальные, созданные относительно узкой группой людей (например, профессиональные (врачей, сантехников, юристов), языки различных социальных групп (возрастных, представляющих элемент субкультуры); языки конкретных наук (отраслей науки), в том числе язык логики.
Для научного языка характерна строгая определенность содержания. Языки конкретных наук обладают специфическим понятийнокатегориальным аппаратом, используют особенную, отражающую как научность, так и особенности данной отрасли лексику (в данном случае – логики).
Термин (лат. terminus – граница, предел, конец чего-либо) в логике – это слово, имя предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.
Термины бывают дескриптивные и логические.
Дескриптивные термины (лат. descriptic – описание) включают единичные имена, общие имена, знаки свойств и отношений, знаки предметных функций, знаки признаков. Выражаются словами естественного или научного языка и на конкретный момент речевого взаимодействия адекватно отражают предмет мышления.
Имена предметов – слова или словосочетания, обозначающие отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Бывают имена единичные (Луна, столица современной России), обозначают предметы, существующие в единственном экземпляре, и общие (животное, мост, судья) – обозначают любые (неконкретные) предметы некоторого класса.
Свойства – это то, чем предметы и явления отличаются друг от друга («высокий», «низкорослый»).
Отношение – это месторасположение предметов и явлений в их взаимосвязи («больший, чем»; «расположенный между»).
Логические термины можно условно разделить на подгруппы: логические связки – конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция; названия элементов суждения (субъект, предикат), посылок силлогизма (больший, меньший и средний термины).
К логическим терминам иногда относят логические операторы – кванторы: (перевернутое «А» от нем. alle – все) – «для всех», «все», «всякий», «каждый», «ни один» и (перевернутое «Е» от нем. existieren – существовать) – «некоторые», «для некоторых», «существует».
Например, «Все (∀) студенты юридического факультета изучают логику»;
«Некоторые (∃) студенты юридического факультета умеют пользоваться знаниями логики в исследовательской работе повседневной жизни».
В логике предикатов, в дополнение к средствам логики высказываний, вводятся также такие логические термины: «истина» и «ложь».
Истина – адекватное отражение субъектом объекта; таким, каким он существует сам по себе независимо от сознания человека; объективное содержание чувственного эмпирического опыта.
Ложь –
