Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения: повествовательные, побудительные, вопросительные; 2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины. К дескриптивным (описательным) терминам относятся: 1. Имена предметов - слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы («первый космонавт») или классы однородных предметов (например, «пароход», «книга», «стихотворение», «засуха», «гвардейский полк» и др.). 2. Предикаторы — слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, «порядочный», «синий», «электропроводный», «есть город», «меньше» и др.). В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция.
Конъюнкция соответствует союзу «и». а&B (например, «Закончились лекции (а), и студенты пошли домой (B)»). Дизъюнкция соответствует союзу «или».«Он шахматист или футболист» обозначается как a v b. Импликация соответствует союзу «если..., то». Условное суждение обозначается: а=>b (например, «Если будет хорошая погода, то мы пойдем в лес»). Эквиваленция соответствует словам «если и только если», «тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается а=B. Отрицание соответствует словам «не», «неверно, что». Отрицание высказывания обозначается ~ а (например, «падает снег» (а); «неверно, что падает снег» (а)).
15. Дайте определение логическим операциям «анализ и синтез», «сравнение», «абстрагирование» и «обобщение».
Анализ - логический прием, метод исследования, состоящий в том, что изучаемый объект мысленно (или практически) расчленяется на составные элементы (признаки, свойства, отношения), каждый из которых исследуется в отдельности как часть расчлененного целого.
Синтез - логический прием, с помощью которого отдельные элементы соединяются в целое.
Сравнение - мысленное установление сходства или различия предметов по существенным или несущественным признакам.
Абстрагирование - мысленное выделение одних признаков предмета и отвлечение от других. В результате этой операции происходит освобождение от множества несущественных признаков и появляется возможность, на основании выделенных, составить класс мыслимых предметов, т.е. провести обобщение.
Обобщение - мысленное расширение, увеличение, перенесение (экстраполяция) известного на область неизвестного; метод выделения отличительных черт, свойств и признаков, принадлежащих группам известных предметов (явлений, процессов, мыслей о них), и распространение их на другие, еще не известные группы. Обобщение - не просто выделение общего, а выделение отличительно-специфического для области предметов, для класса, объема, множества, для предмета мысли.