КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Занятие 1. Непосредственные силлогизмы
Постройте истинностные таблицы для логических форм выявленных суждений (4.1). Образец. «На этом факультете учатся только способные или по крайней мере прилежные студенты» – (p®(q r)). Определять истинное значение сложного суждения начинаем с записи всех сочетаний значений пропозициональных переменных:
Так, для первой переменной (р) записываем четыре строки «и», а половину – «л»; для второй переменной (q) чередуем «и» и «л» через 2 строки, а для последней ® – через одну. То есть для трех простых суждений, обозначенных пропозициональными переменными (p, q, r) возможных сочетаний истинностных значений будет 23 (а в общем случае – 2n, где n – число различных простых суждений). Далее определяем истинностные значения подформулы (q r). Заключительный шаг – нахождение значения всей формулы (p®(q r)). Разумеется, для определения истинностных значений необходимо знать определения логических связок «», «®», а именно:
Таким образом, это суждение истинно во всех случаях, кроме того, когда первое простое суждение в нем истинно, а два других ложны:
5. Найдите среди следующих формул тождественно-истинные, и тождественно-ложные и собственно выполнимые формулы: а) ; б) ; в) ; г) ; д) ; е) .
Указание. Постройте истинностные таблицы для каждой формулы и найдите те формулы, которые всегда истинны, те, которые всегда ложны и те, которые иногда истинны, а иногда ложны. Самостоятельная работа № 2 Из понятий (не менее трех) самостоятельной работы № 1 сформируйте различные виды суждений и выполните с ними следующие логически операции: а) определите его вид по предикату; б) дополните допустимыми по смыслу модальными значениями (используя модельный оператор); в) сформируйте из понятий 6 видов простых суждений: – каноническое суждение; – с подразумеваемым квантором; – с невыраженным субъектом; – с невыраженным предикатом; – в форме риторического вопроса; – в виде вопроса как формы мышления. Укажите выраженные и подразумеваемые элементы их структуры, определите их вид по объединенной классификации (по качеству и количеству), укажите распределенность терминов; г) сформулируйте из наиболее подходящих полученных простых суждений связное сложное суждение (высказывание), включающее не менее 4 простых суждений. Используйте различные типы логических связок. Выполните с полученным сложным суждением следующие операции: · выявите его логическую форму; · установите его результативное значение, построив таблицу истинности.
Тема 3. Умозаключение как форма мышления (6 ч) 1. Умозаключение как элементарная форма рассуждения. Структура умозаключения: посылки, заключение, логическая связь между посылками и заключением (вывод). Условия достижения истины в процессе получения выводного знания. Понятие логического следования. 2. Виды умозаключений: дедуктивные и недедуктивные (правдоподобные), непосредственные и опосредованные. Содержательные и формализованные аспекты различных видов умозаключений. Силлогистика – теория дедуктивного вывода. 3. Непосредственные силлогистические вывод: выводы по логическому квадрату; превращение (обверсия); обращение (конверсия): чистое и с ограничением; противопоставление (контрапозиция): субъекту и предикату.
Дата добавления: 2017-02-01; Просмотров: 69; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |