Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

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





 

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. УМОЗАКЛЮЧЕНИЕ








Дата добавления: 2015-10-19; просмотров: 852. Нарушение авторских прав; Мы поможем в написании вашей работы!




Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


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


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

Примеры решения типовых задач. Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2   Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2. Найдите константу диссоциации кислоты и значение рК. Решение. Подставим данные задачи в уравнение закона разбавления К = a2См/(1 –a) =...

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

В теории государства и права выделяют два пути возникновения государства: восточный и западный Восточный путь возникновения государства представляет собой плавный переход, перерастание первобытного общества в государство...

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

Ведение учета результатов боевой подготовки в роте и во взводе Содержание журнала учета боевой подготовки во взводе. Учет результатов боевой подготовки - есть отражение количественных и качественных показателей выполнения планов подготовки соединений...

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

Studopedia.info - Студопедия - 2014-2025 год . (0.009 сек.) русская версия | украинская версия