Что входит в понятие семантической категории?

Семантические категории — это типы значений выражений естественного или искусственного языка. Семантические категории изучаются в рамках теории семантических категорий (см. Теория семантических категорий), которая различает типы сущностей и типы символов, типы значений выражений языка

Чем отличаются дескриптивные и логические термины?

К дескриптивным (описательным) терминам относятся:

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

В суждении «Енисей -- река Сибири» встречаются три имени предмета: «Енисей», «река», «Сибирь». Имя предмета «Енисей» выполняет роль субъекта, а имена «река» и «Сибирь» входят в предикат («река Сибири») как его две составные части.

В символической логике логические термины (логические постоянные) выражаются следующим образом:

Конъюнкция соответствует союзу «и». Конъюнктивное высказывание обозначается , или , или (например, «Закончились лекции (а), и студенты пошли домой (b)») .

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

Петров находится дома или в институте» обозначается как

Импликация соответствует союзу «если... то». Условное суждение обозначается: или (например, «Если будет хорошая погода, то мы пойдем в лес»).

Эквиваленция соответствует словам «если и только если», «тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается , или , или

Отрицание соответствует словам «не», «неверно, что». Отрицание высказывания обозначается (например, «падает снег» (а); «неверно, что падает снег» .

Квантор общности обозначается и соответствует квантовым словам «все» («всякий», «каждый», «ни один»). *-- запись в математической логике (например, в суждении «Все красные мухоморы ядовиты» кванторное слово «все»).

Квантор существования обозначается 3 и соответствует словам «некоторые», «существует». --запись в математической логике (например, в суждениях «Некоторые люди имеют высшее образование» или «.Существуют люди, которые имеют высшее образование» кванторные слова выделены курсивом).

Как формулируется принцип однозначности?

 В процессе одного и того же рассуждения необходимо связывать с одним и тем же языковым выражением одно и то же смысловое содержание (одну и ту же мысль).

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