1. Семантические категории языка: дескриптивные и логические термины
Выражения (слова и словосочетания) естественного языка, имеющие какой - либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся:
1) предложения: повествовательные, побудительные, вопросительные;
2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.1
Суждения выражаются в форме повествовательных предложений (например: "Киев - город"). В этих суждениях субъектом является "Киев", а предикатом "город".
К дескриптивным (описательным) терминам относятся:
1. Имена предметов - слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы ("Аристотель", "первый космонавт", "7") или классы однородных предметов (например, "пароход", "книга", "стихотворение" и др.).
В суждении "Енисей - река Сибири" встречаются три имени предмета: "Енисей", "река", "Сибирь". Имя предмета "Енисей" выполняет роль субъекта, а имена "река" и "Сибирь" входят в предикат ("река Сибири") как его две составные части.
2. Предикаторы (знаки предметно-пропозициональных функций) - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, "порядочный", "красный", "электропроводный", "есть число" и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, "талантливый", "горький", "большой"). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: "равен", "больше", "помнит", "мать" и др. Например: "Площадь земельного участка А равна площади земельного участка В", "Мария Ивановна - мать Сережи". Пример трехместного предикатора - "между" (например: "Город Москва расположен между городами Санкт - Петербург и Ростов - на - Дону").
3. Функциональные знаки (знаки именных функций) - выражения, обозначающие предметные функции, операции ("ctg B", "+" и др.).
Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).
В естественном языке имеются слова и словосочетания: "и", "или", "если…то", "равносильно", "кроме" и многие другие, выражающие логические константы (постоянные).
В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы общности и существования и некоторые другие.
Конъюнкция соответствует союзу "и". Конъюнктивное высказывание обозначается: а ^ в или а & в (например: "Закончились лекции (а), и студенты пошли домой (в)").
Дизъюнкция соответствует союзу "или". Дизъюнктивное суждение обозначается: а v в.
Импликация соответствует союзу "если…то". Условное суждение обозначается: а > в.
Эквиваленция соответствует словам "Если и только если", "Тогда и только тогда, когда".
Отрицание соответствует словам "не", "наверно, что".
Квантор общности - "все", "каждый", "ни один".
Квантор существования - "некоторые", "существует".
|