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

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

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

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

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

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

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

Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком.

Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.

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

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

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

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

Искусственные языки — это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка.

Искусственные языки успешно используются логикой для анализа мыслительных структур.

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

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

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