13. Приведите пример простого и сложного имени, объясните суть их отличия.

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

Имена делятся на: 1) простые («книга», «снегирь», «опера») и сложные, или описательные («самый большой водопад в Кана­де и США», «планета Солнечной системы»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они име­ются. Имя, состоящее из одного слова, называется простым, выраженное словосочетанием – описательным или дескриптивным, сложным.

14. Назовите виды основных семантических категорий.

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

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения: повествовательные, побудительные, вопросительные; 2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины. К дескриптивным (описательным) терминам относятся: 1. Имена предметов - слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы («первый космонавт») или классы однородных предметов (например, «пароход», «книга», «стихотворение», «засуха», «гвардейский полк» и др.). 2. Предикаторы — слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, «порядочный», «синий», «электропроводный», «есть город», «меньше» и др.). В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция.

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

15. Дайте определение логическим операциям «анализ и синтез», «сравнение», «абстрагирование» и «обобщение».

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

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

Сравнение - мысленное установление сходства или различия предметов по существенным или несущественным признакам.

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

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