Практикум

 

1. Определите вид модальности (выделите модальное понятие) следующих суждений; представьте логические формы этих суждений:

1) Невозможно без весел плыть против течения. 2) Проблематично, что существует творящее Мир начало. 3) Любой гражданин обязан соблюдать законы государства. 4) Доказано, что Земля вращается вокруг Солнца. 5) Необходимо, что Земля вращается вокруг своей оси.

*Выполним задание в отношении суждения Не доказано и не опровергнуто, что Бог существует. Это суждение относится к эпистемическим модальным суждениям, поскольку в нем фигурируют модальные функторы доказано и опровергнуто. Основу этого суждения составляет ассерторическое суждение Бог существует, которое мы заменяем параметром х. Строим формулу этого суждения: Не доказано, что х, и не опровергнуто, что х

2. Следующие деонтические модальные суждения выразите в символической форме:

1) Запрещается изменение стоимости утвержденных проектов за счет исключения планируемых мероприятий по охране окружающей среды.

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

3) Деятельность, осуществляемая с нарушением природоохранных требований, может быть прекращена в порядке, установленном законодательством Российской Федерации.

4) При осуществлении строительства зданий принимаются меры по охране окружающей среды в соответствии с законодательством Российской Федерации.

5) Проекты, по которым не имеются положительные заключения государственной экологической экспертизы, утверждению не подлежат.

3. Сформулируйте суждения, эквивалентные приведенным в упр. 2., заменяя модальные функторы в соответствии с зависимостями: Запрещено, что x равнозначно Обязательно, что не-x; Обязательно, что x равнозначно Неверно, что разрешено не-x; Разрешено x равнозначно Неверно, что запрещено x.

*Выполним задание в отношении суждения Государственные инспектора в области охраны окружающей среды обязаны соблюдать требования законодательства. Заменим параметром х утверждение Государственные инспектора в области охраны окружающей среды соблюдают требования законодательства. Тогда анализируемое суждение в логической символике примет вид формулы Обязательно, что х. Поскольку Обязательно, что x равнозначно Неверно, что разрешено не-x, получаем: Неверно, что государственным инспекторам разрешено не считаться с требованиями законодательства.

4. Сформулируйте на основе суждений, приведенных в упр.2., противоречащие им суждения.

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

5.Имея в виду зависимости 1.-5. между эпистемическими модальностями, ответьте на следующие вопросы:

1) Равнозначны ли суждения Доказано, что инспектор N. нарушил законодательство и Суждение о том, что инспектор N. нарушил законодательство – истинно? 2) Равнозначны ли суждения Опровергнуто, что инспектор N. нарушил законодательство и То, что инспектор N. нарушил законодательство – ложно? 3) Следует ли из того факта, что Инспектор N. нарушил законодательство, утверждение Доказано, что инспектор N. нарушил законодательство? 4) Равнозначны ли суждения Доказано, что инспектор N. нарушил законодательство и Неверно, что суждение «Инспектор N. не нарушил законодательства» проблематично?

 

Тема 4.УМОЗАКЛЮЧЕНИЕ