Логика. Н. В. Михалкин

Чтение книги онлайн.

      • естественные → национальные, жестов, музыки и т. д.;

      • искусственные → специальные, созданные относительно узкой группой людей (например, профессиональные (врачей, сантехников, юристов), языки различных социальных групп (возрастных, представляющих элемент субкультуры); языки конкретных наук (отраслей науки), в том числе язык логики.

      Для научного языка характерна строгая определенность содержания. Языки конкретных наук обладают специфическим понятийнокатегориальным аппаратом, используют особенную, отражающую как научность, так и особенности данной отрасли лексику (в данном случае – логики).

      Термины бывают дескриптивные и логические.

      Дескриптивные термины (лат. descriptic – описание) включают единичные имена, общие имена, знаки свойств и отношений, знаки предметных функций, знаки признаков. Выражаются словами естественного или научного языка и на конкретный момент речевого взаимодействия адекватно отражают предмет мышления.

      Имена предметов – слова или словосочетания, обозначающие отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Бывают имена единичные (Луна, столица современной России), обозначают предметы, существующие в единственном экземпляре, и общие (животное, мост, судья) – обозначают любые (неконкретные) предметы некоторого класса.

      Свойства – это то, чем предметы и явления отличаются друг от друга («высокий», «низкорослый»).

      Отношение – это месторасположение предметов и явлений в их взаимосвязи («больший, чем»; «расположенный между»).

      Логические термины можно условно разделить на подгруппы: логические связки – конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция; названия элементов суждения (субъект, предикат), посылок силлогизма (больший, меньший и средний термины).

      К логическим терминам иногда относят логические операторы – кванторы: (перевернутое «А» от нем. alle – все) – «для всех», «все», «всякий», «каждый», «ни один» и (перевернутое «Е» от нем. existieren – существовать) – «некоторые», «для некоторых», «существует».

      В логике предикатов, в дополнение к средствам логики высказываний, вводятся также такие логические термины: «истина» и «ложь».