КАТЕГОРИИ: Архитектура-(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).
Таблица 1 Распределенность терминов в простых невыделяющих и выделяющих суждениях
Таблицы истинности позволяют устанавливать логическое значение суждения (истинность, ложность) в зависимости от значений, образующих его суждений. Число всех возможных наборов значений n переменных равно , что соответствует числу строк в соответствующей таблице. Составим комплексную таблицу истинности для суждений, образованных следующими логическими союзами: – конъюнкция, – дизъюнкция, – строгая дизъюнкция, – материальная импликация, – материальная эквиваленция, – отрицание (табл.2). Таблица 2 Таблица истинности высказываний
Запись суждений в языке логики предикатов: – общеутвердительное суждение (A), – общеотрицательное суждение (E), – частноутвердительное суждение (I), – частноотрицательное суждение (O).
ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
Непосредственные умозаключения (превращения, обращения, противопоставления предикату). Непосредственными называют такие умозаключения, вывод в которых получен логическим преобразованием одной посылки. Превращение – преобразование суждения в противоположное по качеству с предикатом, противоречащим предикату исходного суждения. Схемы превращения: , где S, P – термины субъекта и предиката суждения; a,e,i,o – обозначения для общеутвердительного, общеотрицательного, частноутвердительного, частноотрицательного суждений; P’ – противоречащее понятие. Обращение - преобразование суждения, в котором субъект и предикат исходного суждения в заключении меняются местами. Схемы обращения с ограничением: .
Обращение без ограничения для выделяющих суждений: . Примечание: Частноотрицательные суждения (O) не обращаются.
Противопоставление предикату - преобразование суждения, в результате которого субъектом заключения становится понятие, противоречащее предикату исходного, а предикатом его субъект. Схемы противопоставления предикату: . Примечание: Частноутвердительные суждения (I) противопоставлением предикату не преобразуются. Опосредованные умозаключения. Простой категорический силлогизм (ПКС). ПКС - это умозаключение, в котором заключение следует из двух посылок, называемых большей и меньшей. Содержащийся в обеих посылках средний термин (M) связывает два крайних термина: больший (P) и меньший (S). Меньший термин становится субъектом заключения, а больший его предикатом. Фигурой называется порядок употребления в ПКС большего, меньшего и среднего терминов. В формальной логике выделяют четыре фигуры. Модусом называют типы простых суждений (A, E, I, O), употребляемых в качестве посылок в фигурах. Всего возможны 256 модусов по всем четырем фигурам и по 64 модуса в каждой из фигур. Из них выделяют две группы модусов правильные (заключающие) и неправильные (незаключающие). Заключающим называют модус, вывод в котором истинный вывод с необходимостью следует из истинных посылок. Большинство авторов выделяют 19 модусов такого рода. Незаключающим называют модус не гарантирующий истинного вывода из истинных посылок. Заключающие модусы ПКС сведены в табл.3. Аксиома силлогизма. Все, что утверждается (или отрицается) относительно всех предметов класса, то утверждается (или отрицается) относительно любого отдельного предмета и любой части предметов этого класса.
Таблица 3
Дата добавления: 2015-06-28; Просмотров: 406; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |