Зміст
1. Дайте класифікацію безпосередніх умовиводів
2. Для наступних термінів побудуйте діаграму Ейлера: люди, чоловіки, жінки, діти
3. Побудуйте таблицю істинності наступної формули
4. Яке з наведених нижче суджень буде істинним за хибності даного: В«Все промислово розвинені країни застосовують безвідходні технології В»? Поясніть, чому
Список використаної літератури
1. Дайте класифікацію безпосередніх умовиводів
Щоб усвідомити походження і сутність умовиводи, необхідно зіставити два роду знань, які ми маємо і користуємося в процесі своєї життєдіяльності, - безпосередні та опосередковує ванні.
Безпосередні знання - це ті, які отримані нами з допомогою органів чуття: зору, слуху, нюху і т.д. Такі, наприклад, знання, виражені судженнями типу: В«Дерево зеленеВ», В«Сніг білийВ», В«Птах співає В»,В« Сосновий ліс пахне смолою В»Вони становлять значну частину всіх наших знань і служать їх базою. Логічною формою їх придбання і служить умовивід. [1]
Безпосередні умовиводи можна отримувати, насамперед, з простих суджень - як атрибутивних, так і відносних. Стосовно до атрибутивною судженням це досягається двояким шляхом: 1) через перетворення суджень і 2) через відношення суджень (в В«логічному квадратіВ»).
У безпосередніх умовиводах через перетворення суджень, перетворення відбувається у формах звернення і перетворення, на основі поєднання яких можливі протиставлення суб'єкту і протиставлення предикату. Умовивід тут можливо в силу того, що нам відомо ставлення суб'єкта (S) судження до предикату (Р). На цій основі можна вивести нове знання про цілу гамі інших щодо цих структурних елементів судження - Р до S, S К не-Р, Р К не-S, що не-Р до S.
Загальне правило безпосереднього умовиводу говорить: термін, не розподілений в посилці, не може бути розподілений і в ув'язненні.
Безпосередні умовиводи на основі звернення можуть бути отримані також з общеотріцательних (Е) і частноутвердітельних (I) суджень. Що ж стосується частноотріцательних суджень (О), то вони, як підкреслювалося, що не звертаються, тому умовиводи з них зробити не можна. Інакше буде порушено загальне правило розподіленості термінів: суб'єкт, не розподілений в посилці, виявиться розподіленим у висновку.
Посилкою безпосереднього умовиводу може бути не тільки просте - атрибутивної або відносне, а й складне судження. Візьмемо як приклад умовне судження (імплікації): В«Якщо завтра буде сонячна погода, то ми підемо в ліс В». З нього Можна зробити висновок: В«Якщо ми не пішли в ліс, то погода не була сонячною В».
Безпосередні умовиводи через відношення суджень (в В«Логічному квадратіВ»). p> Деякі відносини між чотирма видами категоричних висловлювань графічно представляються так званим логічним квадратом.
В
Малюнок 1. - Логічний квадрат
Суперечать висловлювання (SaP і SoP; SeP і SiP) не можуть бути одночасно істинними і помилковими; якщо одне з них істинно, то інше помилково. Так, якщо висловлювання "Всі кити дихають легенями" істинно, то вислів "Деякі кити не дихають легенями "помилково. Якщо вислів "Деякі ведмеді - НЕ бурі "істинно, то вислів" Все ведмеді - бурі "помилково.
Огидні висловлювання (SaP і SeP), на відміну від суперечать, можуть разом бути помилковими, але не можуть бути разом істинними. Так, висловлювання "Всі спортсмени - гросмейстери "і" Жоден спортсмен не гросмейстер "обидва хибні. Оскільки вислів "У всіх людей є голови "істинно, то вислів" Ні в однієї людини немає голови "помилково; і якщо висловлювання" Всі метали не є газами "істинно, то вислів" Всі метали - гази "помилково.
Подпротівние висловлювання (SiP і SoP) не можуть бути одночасно хибними, але можуть бути одночасно істинними. Так, якщо висловлювання "Деякі вівці - хижаки "помилково, то вислів" (Щонайменше) деякі вівці не є хижаками "істинно. Висловлювання ж "Деякі спортсмени - футболісти "та" Деякі спортсмени не футболісти "обидва істинні.
У відношенні підпорядкування перебувають попарно висловлювання SaP і SiP, SeP і SoP. З підпорядковує висловлювання логічно випливає підлегле: з SaP випливає SiP і з SeP випливає SoP. Це означає, що з істинності підпорядковуючого висловлювання логічно випливає істинність підлеглого, і з хибності підпорядкованого слід хибність підпорядковуючого. [2] Наприклад, з висловлювання "Усі кити є ссавцями" слід вислів "Деякі кити ссавці", а з вислову "Всі метали не є стискаєте "слід вислів" Деякі метали не стискувані ".
Ще раз підкреслимо, що суперечать один одному висловлювання "Всі S є Р" і "Деякі S не є Р" і висловлювання "Всі S не є Р" і "Деякі S є Р". Висловлювання ж "Всі S є Р" і "Всі S не є Р", а також висловлювання "Деякі S є Р "і" Деякі S не є Р "не суперечать одне одному. p> Логічні зв'язку категоричних висловлювань, що подаються логічним квадратом, можна представити також у формі безпосередніх умови...
