5. Семантические категории языковых выражений. Язык логики.

Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.

Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.

Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.

Имена – слова и словосочетания, являющиеся знаками предметов (бывают простые и сложные, единичные и общие).

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

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

Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.

Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.

Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».

6. Понятие как форма мышления. Образование понятий.

Понятие – это форма мышления, отражающая предметы в их существенных признаках. Признаком предмета называется то, в чем предметы сходны или чем они отличаются друг от друга. По наличию или отсутствию свойств признаки делятся на положительные и отрицательные, единичные и общие. Содержанием понятия называется мыслимая в понятии совокупность существенных признаков предмета. Понятие как форма мышления отражает предметы в абстрактной, обобщенной форме на основании их существенных признаков. Понятие – одна из основных форм научного познания. Формируя понятия, наука отображает в них изучаемые ею предметы, явления, процессы. Для образования понятия необходимо выделить существенные признаки предмета, применяя логические приемы: сравнение, анализ, синтез, абстрагирование, обобщение.

7. Объем и содержание понятий, их отношения.

Объемом понятия называется совокупность предметов, мыслимая в понятии.

Содержанием понятия называется мыслимая в понятии совокупность существенных признаков предмета. Совокупность предметов, мыслимая в понятии, называется объемом понятия. Объем понятия составляет логический класс (множество), который может включать в себя подкласс (подмножество). Пример: А-следователи, В – юристы.

Различают универсальный, единичный и нулевой классы.

Универсальный класс состоит из всех элементов исследуемой области (класс планет солнечной системы).

Единичный класс состоит из одного элемента (планета Юпитер).

Нулевой класс не содержит ни одного элемента (вечный двигатель).

Закон обратного отношения между объемом и содержанием понятия: увеличение содержания понятия ведет к образованию понятий с меньшим объемом, и наоборот. Таким образом содержание и объем понятия тесно связаны друг с другом. (Так, увеличивая содержание понятия «государство» путем прибавления признака «современный», переходим к понятию «современное государство», имеющему меньший объем.