Решение. 1. Введем внешнее отрицание суждения

1. Введем внешнее отрицание суждения. Имеем, "Неверно, что все студенты изучают логику и математику".

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

3. Полученное сложное высказывание состоит из двух общеутвердительных суждений с отрицанием. Последнее может быть преобразовано в частноотрицательное суждение: "Некоторые студенты не изучают логику или некоторые студенты не изучают математику".

4. Таким образом, отрицающее суждение выглядит следующим образом: ″некоторые студенты не изучают логику или математику″.

Модальные суждения. Суждение как форма мышления содержит в себе помимо основной информации, заключенной в основных и вспомогательных терминах, также и дополнительную информацию, задаваемую с помощью модальности. Модальность – это высказывание в суждении дополнительной информации о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных или каких-либо иных его характеристиках. Таким образом, модальное суждение – это суждение, дающее оценку взаимосвязи между субъектом и предикатом с какой-либо позиции. Модальность суждения отражается с помощью модальных операторов. Различают следующие типы модальных суждений.

1. Суждения с временной модальностью – это суждения, дающие оценку взаимосвязи между субъектом и предикатом с позиции временного существования. Модальные операторы: всегда, иногда (редко), никогда.

2. Суждения с аксиологической модальностью – это суждения, дающие оценку взаимосвязи между субъектом и предикатом с точки зрения ценностного отношения. Модальные операторы: хорошо, ценностно, безразлично, плохо.

3. Суждения с эпистемической модальностью – это суждения, дающие оценку взаимосвязи между субъектом и предикатом с точки зрения достоверности знания. Модальные операторы: доказано, непроверяемо, опровергнуто.

4. Суждения с деонтической модальностью – это суждения, дающие оценку взаимосвязи между субъектом и предикатом с позиции норм. Модальные операторы: разрешено, нормативно безразлично, запрещено (обязательно). Последние два оператора – "обязательно" и "запрещено" – выступают как предписывающие выполнение действия или же его невыполнения. Они не оставляют альтернатив в действиях. В то время как оператор "разрешено" предоставляет такую возможность.

5. Суждения с алетической модальность – это суждения, дающие оценку взаимосвязи между субъектом и предикатом с точки зрения вероятности происходящего. Модальные операторы: необходимо, возможно, случайно. Отметим, что различают логическую и фактическую алетическую модальность. Логическая модальность опирается на законы логики, а фактическая – на законы природы.

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

Задание 7. Приведите примеры суждений с временной, аксиологической, эпистемической, деонтической и алетической модальностью, в которые бы входило в качестве субъекта следующее понятие:

вечная жизнь.

Дата добавления: 2013-12-13