Федеральне державне бюджетне освітня установа
вищої професійної освіти
«Челябінський державний університет»
Кафедра прокурорського нагляду та організації правоохоронної діяльності
Контрольна робота
з дисципліни: Логіка
за темою «Висновки з складних суджень»
Виконав:
Малькова Світлана Вікторівна
Челябінськ, 2014
Зміст
1.Раскрить специфіку висновків зі складних суджень
.Прівесті приклади чисто умовного умовиводи
.Прівесті приклади умовно-категоричного умовиводу. Розкрити специфіку модусів умовно-категоричного умовиводу
.Прівесті приклади розділової-категоричних умовиводів. Розкрити специфіку модусів розділової-категоричного умовиводу
.Прівесті приклади умовно-категоричних умовиводів (конструктивні та діструктівние дилеми)
Список використаної літератури
1. Розкрити специфіку висновків зі складних суджень
Умовиводи можуть складатися не тільки з простих, але і зі складних суджень. Ми розглянемо найбільш вживані - умовні і розділові силогізми.
. Умовний силогізм - силогізм, у якому хоча б одна посилка є імплікатівнимі (умовним) судженням.
Види:
а) чисто умовний (гіпотетичний) силогізм, у якому обидві посилки і висновок - умовні судження:? q Якщо багато брехати, то можна втратити довіру? r Якщо втратити довіру, то можна залишитися одному? r Якщо багато брехати, то можна залишитися одному
Правило умовного силогізму: слідство слідства є наслідок підстави;
б) умовно-категоричний силогізм, в якому одна посилка - умовне судження, а інша і висновок - категоричні судження.
У цього силогізму можливі 4 модусу:
ПоненсТолленсp? qp? qp? qp? qpq¬p¬qqp¬q¬p
Достовірні модуси
Модус поненс (лат. modus ponens) - стверджує модус (його висновок стверджувальне судження)
Модус толленс (лат. modus tollens) заперечує (його висновок негативне судження).
Модус поненс (міркування йде від затвердження підстави до твердженням слідства) :? q Якщо в імперіях починає валитися сім'я, то вони звертаються в прах. У Римській імперії почала валитися сім'я. Вона звернулася в прах.
Модус толленс (міркування йде від заперечення слідства до заперечення підстави) :? q Якщо підготуюся, то здам екзамен.Екзамен я не здалося не підготувався.
Правдоподібні (неправильні модуси):
Від заперечення підстави до заперечення слідства? q Якщо це - булочка, то це - с'едобноЕто - НЕ булочка (ймовірно) це - неїстівне
Від затвердження слідства до утвердження підстави? q Якщо це - булочка, то це - с'едобноЕто - їстівне (ймовірно) це - булочка
Дані модуси не дозволяють встановити головну причину слідства і тому дають лише правдоподібні ув'язнення.
. Розділовий (альтернативний) силогізм - силогізм, в якому є ісключающе-розділову судження (строга диз'юнкція).
Види:
а) чисто розділовий силогізм - у ньому обидві посилки і висновок - розділові судження. Грунтується на розподілі понятій.есть Р або Р1 Складова атома - або заряджена, або нейтральна.
Р є Р2 або РЗ Заряджена складова атома - або електрон, або протон.есть Р1 або Р2 або РЗ Складова атома - або електрон, або протон, або нейтральна.
б) в розділової-категоричному силогізмі велика посилка - строго розділову судження, а менша - категоричне.
Має два модуси:
(1) утверждающе-який заперечує (modus ponendo tollens) Або пан, або пропал.Пан.Не пропав.
(2) отрицающе-який стверджує (modus tollendo ponens) Або пан, або пропал.Не панПропал.
Правила:
) в диз'юнктивних посилках повинні бути перераховані всі члени диз'юнкції (поділу);
) члени поділу повинні виключати один одного (строга диз'юнкція).
Всі ці форми безпосередньо випливають з визначення імплікації і суворої диз'юнкції через таблиці істинності, а правильні форми висловлюють логічні закони.
Крім того, часто зустрічаються і умовно-розділові силогізми, в яких велика посилка - кон'юнкція умовних суджень, а менша - розд...