Практикум по логике цель его заключается в том, чтобы дать конспективное изложение основных вопросов этой науки и закрепить их разрешение практическими заданиями
 Скачать 0.96 Mb.
|
Упражнение 12Установите, являются ли данные формулы тождественно - истинными (или логическими законами).
Пример: (а ∩ b)  (b ∩ a) – является логическим законом
ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ Сложные суждения могут быть сравнимыми и несравнимыми. Несравнимые – это суждения, которые не имеют общих составляющих (пропозициональных) переменных. Например, р ∩ g и m ∩ n. Сравнимые – это суждения, которые имеют одинаковые составляющие (пропозициональные) переменные и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Украина или Болгария имеют выход в Черное море» (р U g); «Ни Украина, ни Болгария не имеют выхода в черное море» (┐р ∩ ┐g). Сложные сравнимые суждения могут быть совместимыми и несовместимыми. Совместимыми являются такие сравнимые суждения, которые одновременно могут быть истинными. Различают три вида совместимости сложных суждений: эквивалентности; частичная совместимость и подчинение. Эквивалентные – это суждения, которые принимают одни и те значения, т. е. одновременно являются либо истинными, либо ложными. Отношение эквивалентности позволяет выражать одни сложные суждения через другие – конъюнкцию через дизъюнкцию или импликацию, и наоборот. - выражение конъюнкции через дизъюнкцию: ┐ (а ∩ b) ↔ ┐a U ┐b. - выражение дизъюнкции через конъюнкцию: ┐(а U b) ↔ ┐a ∩ ┐b. - выражение импликации через конъюнкцию: ┐(a → b) ↔ (a ∩ ┐b). - выражение импликации через дизъюнкцию: а → b ↔ ┐a U b. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Подчинение между суждениями имеет место в том случае , когда при истинности подчиняющего подчиненное всегда будет истинным. Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного, составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна – противоположность, другая противоречие. Противоположность – отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными, при ложности одного из противоположных суждений нельзя установить значение другого: оно может быть как истинным, так и ложным. Противоречие – отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Чтобы получить сложное суждение, противоречащее исходному, последнее нужно подвергнуть отрицанию. Например, для g противоречащим будет ┐g; для конъюнкции р ∩ g противоречием будет ее отрицание - ┐( р ∩ g). ДОСТАТОЧНЫЕ И НЕОБХОДИМЫЕ УСЛОВИЯ В научном познании важно проводить различие между достаточными и необходимыми условиями наступления какого-то факта, события, отражаемого в условном суждении. Условия являются достаточными, если при их выполнении всегда наступает данное событие. Условия являются необходимыми, если без их выполнения данное событие никогда не наступает. Так, в импликативном суждении А → В, А является достаточным условием для В, а В – необходимым условием для А. Упражнение 13 Определите необходимость или достаточность условий в следующих суждениях: 1. Активное участие общественности в борьбе с преступностью является… условием для ее ликвидации. 2. Обвинительный приговор суда есть… условие для применения уголовного наказания. 3. Круглая тень Земли на поверхности Луны является… основанием для утверждения ее шарообразности. 4. Мутации являются… условием естественного отбора. 5. Активная работа с электоратом является…. условием победы на выборах. 6. Подготовка к экзамену по учебнику, хрестоматии и конспектах является … условием получения отметки «отлично». 7. Получение золотой медали за курс основной средней школы является …. условием поступления в Московский государственный университет имени М. В. Ломоносова. 8. Ежедневное посещение балериной уроков хореографического искусства является …. успешным выступлением в ведущей партии балета Л. Минкуса «Дон Кихот». 9. Соблюдение строгой диеты и регулярное занятие спортом является …. залогом сохранения хорошей физической формы. 10. Поддержка болельщиков футбольной команды является …. условием ее победы над соперником. 11. Однозначное определение задач, ответственности и компетенции каждого сотрудника является… условием возникновения в коллективе хорошего психологического климата. 12. Делимость числа 2 является … условием его четности. 13. Окончание последней цифры чиса 0 или 5 является… условием того, чтобы число без остатка делилось на 5. 14. Убедительность аргументов является… условием правильности доказательства теоремы Пифагора. 15. Наличие железнодорожного билета является… условием поездки на поезде в санаторий. Пример: Наличие атмосферы вокруг Земли является… условием для возникновения жизни на Земле (необходимым и достаточным). МОДАЛЬНОСТЬ СУЖДЕНИЙ Модальность – это дополнительная информация о характере зависимости между реальными явлениями, о логическом статусе суждений, об оценочных, регулятивных и других характеристиках. Наиболее важными и распространенными выступают такие виды модальностей, как алетическая, деонтическая, эпистемическая и аксиологическая. Алетическая модальность – это дополнительная информация, указывающая на характер зависимости (детерминированности) между S и Р в суждении в терминах необходимости и возможности. Различают детерминированность суждений логическую и фактическую, каждая из них указывает на различные основания принятия и статус суждения – признать его истинным (или ложным) в силу логических оснований или же его истинность (или ложность) доказывается фактическим положением дел. Эти два различных способа детерминированности суждений определяют соответствующие типы модальностей. Логическая модальность – это логическая детерминированность суждения. Истинность или ложность, которого зависит от его структуры самого суждения или от других суждений в определенной логической системе знаний. К логически истинным (Lи) относятся суждения, выражающие законы логики. К логически ложным (Lл) относятся сужения, противоречащие законам логики. Фактическая модальность связана с объективной или физической детерминированностью суждений, когда их истинность или ложность определяется положением дел в реальной действительности. Например, «Останкинская телебашня находится в г. Москве» - фактически истинное суждение. Суждение «Ни один студент не знает азбуку Морзе» является фактически ложным. Фактически необходимыми является суждения, в которых содержаться знание о законах науки. В естественном языке эти суждения обычно выражаются с помощью слов «непременно», «необходимо», «обязательно» и др. Например, «Вода в условиях атмосферного давления кипит при температуре 100 градусов Цельсия». Фактически случайными являются суждения, которые не содержат информации о законах науки и в зависимости от конкретных эмпирических условий могут быть либо истинными, либо ложными. Например, «Юрий Гагарин является первым человеком-космонавтом» является фактически случайным, ибо первым космонавтом мог быть человек, носящий другую фамилию и имя. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости двух явлений, выраженных в S и Р. Например, «Возможно, что фильм русского режиссера будет признан лучшем на следующем Каннском кинофестивале». В естественном языке на суждения возможности указывают слова «возможно», «может быть», «не исключается», «допускается» и др. Для обозначения логических модальных понятий используются следующие символы: – необходимо; ◊ – возможно;  \ – случайно; ◊ - невозможно.Деонтическая модальность распространяется только на деятельность людей, нравственные и правовые нормы их поведения в обществе с помощью таких слов, как «разрешается», «запрещается», «обязательно» и т. п. В зависимости от характера норм деонтическая модальность имеет разновидности. Правообязывающие нормы, которые формулируются с помощью слов: «обязан», «должен», «надлежит», «признается» и др. Например, «Предварительное следствие по уголовным делам должно быть закончено не позднее чем в двухмесячный срок». Правозапрещающие нормы формулируют в юридических актах с помощью слов «запрещается», «не вправе», «не может», «не допускается» и др. Например, «Запрещается домогаться показаний обвиняемого путем насилия, угроз и иных незаконных мер». Правопредоставляющие нормы формулируются с помощью слов: «имеет право», «может быть», «может применять» и др. Например, Наниматель жилого помещения имеет право в любое время расторгнуть договор». Рационально построенная нормативно-правовая система должна удовлетворять минимальным деонтическим требованиям:
Деонтическая модальность выражается с помощью операторов: О – обязательно; F – запрещено; P – разрешено. Подлежащее исполнению действие обозначают символом d, участников правоотношения – х, у и т. д. Эпистемическая модальность характеризует степень достоверности знания. Она выражается с помощью слов «доказано», «недоказано», «опровергнуто» и им подобных. Различают две разновидности эпистемической модальности: – суждения, основанные на вере. Например: «Верю в существование Бога»; – суждения, основанные на знании. Например: «Автором романа в стихах «Евгений Онегин» является А. С. Пушкин». Эпистемическая модальность выражается с помощью операторов: V – доказуемо (верифицируемо); F– опровержимо (фальсифицировано); Р – проблематично (правдоподобно, вероятно). Аксиологическая модальность выражает отношение человека к материальным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т. п. Например, «Хорошо, что я поступил учиться в Московский гуманитарный университет». Упражнение 14 Определите алетическую модальность суждений; установите, является ли суждение фактически необходимым, случайным, возможным или невозможным. Запишите суждения с помощью модальных операторов:
Пример: Все явления, события, процессы в природе, обществе и мышлении вызываются или обуславливаются другими явлениями, событиями, процессами, т.е. более или менее определенными причинами. Данное суждение – фактически необходимое. Его запись: ФН. Упражнение 15 Определите эпистемическую модальность суждений, запишите ее с помощью операторов V, P, F. 1. Затраты на осуществление проекта G. окупятся через пять лет. 2. Талант всегда пробьет себе дорогу. 3. Летом я, вероятно, буду отдыхать в Ялте. 4. Неверно сводить сознание к его материальному субстрату – нервным физиологическим процессам, протекающим в мозгу.
Пример: «По мнению ряда ученых, некоторые континенты разобщены в результате дрейфа». Суждение проблематично, может быть выражено с помощью оператора Р. Упражнение 16 Определите деонтическую модальность суждений, запишите их с помощью операторов О, F, P.
|
b);
b);