Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Семантические категории




Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения: повествовательные, побудительные, вопроси­тельные; 2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины9.

Суждения выражаются в форме повествовательных предложе­ний (например, «Киев — город», «Корова — млекопитающее»). В этих суждениях субъектами соответственно являются «Киев», «корова», а предикатами — «город», «млекопитающее».

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

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

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

2 Предикаторы — слова и словосочетания, обозначающие свойства предметов или отношения между предметами (напри­мер, «порядочный», «синий», «электропроводный», «есть город», «меньше», «есть число», «есть планета» и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикато­ры обозначают свойства (например, «талантливый», «горький», «большой»). Многоместные предикаторы обозначают (выража­ют) отношения. Двухместными предикаторами являются: «ра­вен», «больше», «мать», «помнит» и др. Например, «Площадь земельного участка А равна площади земельного участка В», «Мария Васильевна — мать Сережи». Пример трехместного предикатора: «между» (например, «Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону»).

3. Функциональные знаки — выражения, обозначающие предметные функции, операции («ctg α», «+», «V-» и др.).

Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).

В естественном языке имеются слова и словосочетания: «и», «или», «если... то», «эквивалентно», «равносильно», «не», «невер­но, что», «всякий» («каждый», «все»), «некоторые», «кроме», «то­лько», «тот... который», «ни... ни», «хотя... но», «если и только

если» и многие другие, выражающие логические константы (по­стоянные).

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

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

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

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

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

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

Эквиваленция соответствует словам «если и только если»,

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

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

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

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

Выразим в форме схемы разновидности семантических кате­горий (рис. 2).

Примеры

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

2. Определить, к каким семантическим категориям относятся следующие выражения: а) листья, упавшие на землю (дескрип­тивный термин, имя предмета); б) листья упали на землю (сужде­ние, выраженное в форме повествовательного предложения); в) на всякое погруженное в жидкость тело действует выталкива­ющая сила (суждение, выраженное в форме повествовательного предложения); г) вы пойдете сегодня в библиотеку? (вопроси­тельное предложение, не содержащее суждения); д) брат Ивана (дескриптивный термин, имя предмета).

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

1. Если у меня будет свободное время (а) и я сдам экзамены по педагогике (b) и психологии (с), то я поеду отдыхать в Крым (d) или на Кавказ (е).

Формула:

Здесь буква а обозначает суждение: «У меня будет свободное время»; буква b — суждение: «Я сдам экзамен по педагогике»; буква с — суждение: «Я сдам экзамен по психологии»; буква d — «Я поеду отдыхать в Крым»; буква е — «Я поеду отдыхать на Кавказ».

2. «Если человек с детства и юности своей не давал нервамвластвовать над собой, то они не привыкнут раздражаться и бу­дут ему послушны» (К. Д. Ушинский).

Формула:

Здесь буква а обозначает суждение: «Человек с детства давал нервам властвовать над собой». А так как у нас имеется отрица­ние («не давал»), то запишем

3. «И добродетель стать пороком может, когда ее неправиль­но приложат» (В. Шекспир).

Чтобы выявить структуру этого суждения, надо сначала четко выявить основание и следствие, а для этого данное суждение следует привести к четкой логической форме: «Если добродетель неправильно приложат (а), то она может стать пороком (b)».

Формула:

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

Формула:

Поделиться:





Читайте также:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...