Реферат: Умовиводи
Висновок в ньому будується на правилі: наслідок наслідку є наслідок підстави (основания).
Умовно-категоричний умовивід – умовивід, в якому один із засновків – умовне, а другий засновок і висновок – категоричні судження.
Якщо а, то в. В символічному записі:
a (рàq ), р
в q
(1) Цей умовивід дістав назву стверджуючого модусу (modus ponens – МР). Міркування направлене від ствердження основи до ствердження наслідку.
Modus ponens дає достовірні висновки.
(2) Інший модус, який дає достовірний висновок, є заперечуючий модус (modus tollens – МТ), в якому засновок виражений категоричним судженням, заперечує істинність наслідку, а висновок заперчує істинність основи (підстави). Міркування направлено від заперечення наслідку до заперечення основи.
Якщо А, то В. В символічному записі:
В (рàq ), ~q
Ā ~p
(3) Міркування направлено від заперечення основи до заперечення наслідку.
Якщо А, то В. В символічному записі:
не-А рàq, ~р
не-В ~q
(4) Міркування направлено від ствердження наслідку до ствердження основи:
Якщо а, то в. В символічному записі:
в рàq, q
а p
Два перших модуси виражають закони логіки і є правильними модусами умовно-категоричного судження. Вони підлягають правилу: ствердження основи веде до ствердження наслідку і заперечення наслідку – до заперечення основи. Два інших модуси (3) і (4) достовірних висновків не дають і є неправильними модусами. Вони підкоряються правилу: заперечення основи не веде з необхідністю до заперечення наслідку і ствердження наслідку не веде з необхідністю до ствердження основи.
(рàq ) Λ р)àq – табл. істинності (приклад), ствердний модус.
Можливо і так: і основа і наслідок більшого засновку є як ствердними, так і заперечу вальними судженнями: рà~q, p .
~q
Виділяючи умовні судження достовірні у всіх чотирьох модусах.
Розділово-категоричний – умовивід, в якому один із засновків – розділовий, а інший засновок і висновок – категоричні судження. Розрізняють два модуси розділово-категоричного умовиводу: 1) Ствердно-заперечний (modus ponento tollens – MPT) – менший засновок - категоричне судження – стверджує один член V, висновок – також категоричне судження – заперечує інший її член:
а або в В символічному записі:
а р v q, р
не-в ~q
Висновок достовірний, якщо виконується правило: більший засновок повинен бути виключаючим розділовим судженням, чи судження строгої V-ї.
2) Заперечно-ствердний модус (modus tollendo ponens – MNP) – менший засновок заперечує один диз’юнкт, висновок стверджує інший:
а чи в В символічному записі:
не а <р v q>, ~р < ... > - закрит. v.
в q
Висновок достовірний, якщо виконане правило: в більшому засновку повинні бути перераховані всі можливі судження – диз’юнктивне, тобто, велкий засновок повинен бути повним (закритим) диз’юнктивним висловлюванням.
Умовно-розділювальний – умовивід, в якому один засновок умовне, а інший розділове судження (чи лемматичний умовивід lemma – припущення). Розділове судження може містити дві і більше альтернативи, тому тематичний умовивід ділиться на дилеми, трилеми і т.д.
Розглянемо на прикладі дилеми структуру і види умовно-розділового умовиводу.
Розрізняють дві дилеми: конструктивну і деструктивну.
В простій конструктивній дилемі умовний засновок містить дві основи з яких витікає один і той же наслідок. Міркування направлене від ствердження істинності основи до ствердження істинності наслідку.
Якщо а , то с; якщо в, то с В символічному записі:
а або в (pàr) Λ (qàr), p v q
с r
В складній конструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від ствердження істинності основ до ствердження істинності наслідків: а чи с .
в чи d
В простій деструктивній дилемі умовний засновок містить одну основу, з якого випливає два можливих наслідки. Міркування направлене: від заперечення істинності наслідків до заперечення істинності основ.
Якщо а , то с; якщо a, то с В символічному записі:
не-в чи не-с (pàr) Λ (рàr), ~q v ~r
не-а ~p
В складній деструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від заперечення істинності наслідків до заперечення істинності основи:
Якщо а , то в; якщо с, то d В символічному записі:
не-в чи не-d (pàq) Λ (ràs), ~q v ~s
не-а або не-с ~p v ~r
ІІ. Видами дедуктивних умовиводів також є такі силогізми:
1) Скорочений (ентимема) – силогізм з пропущеним засновком чи висновком. Пропущені частини силогізму маються на увазі (подразумеваются). Розрізняють три види ентимем: з пропущеним більшим, меншим засновком і з пропущеним висновком. Форму ентимем приймають також умовиводи з умовними і розділовими судженнями в засновках.
Умовно-категоричні – з пропущеним більшим засновком.
Розділово-категоричні – з пропущеним більшим засновком.
Розділово-категоричні – з пропущеним висновком.
2) Складний силогізм чи полісилогізм – це поєднання простих силогізмів, в яких висновок передуючого силогізму (просилогізма) стає засновком наступного (епісилогізма). Розрізняють прогресивний і регресивний полісилогізми:
В прогресивному висновок просилогізма стає більшим засновком епісилогізма.
АàB А – посадовий злочин
CàA В – суспільно небезпечне діяння.
CàB С – халатність (злочин)
DàC D – наказуємо (дача хабаря).
DàB.
В регресивному полісилогізмі висновок просилогізма стає меншим засновком епісилогізма:
А – В
С – В
С – В
В – В
С – В
С - В
В процесі міркування полі силогізм приймає звичайно скорочену форму, деякі з його засновків опускаються. Полісилогізм, в якому пропущені деякі засновки, називається соритом (грец. “купа” (купа засновків) є два види соритів:
Прогресивний полісилогізм з пропущеними більшими засновками.
А – В
С – В
D – C
D - B
2) Регресивний полісилогізм з пропущеними меншими засновками. До складноскорочених належить також епіхейрема. Епіхейрема – це складноскорочений силогізм, обидва засновки якого є ентимемами.
C – A
A – D
B – D
C - D
ІІІ. Правило логіки висловлювань:
Правило відділення (усунення імплікації) ПВ (УІ) 
МР.
Введення кон’юнкції – ВК 
Усунення кон’юнкції (УК) 
ВД 
Введення і усунення еквіваленції (ВЕ, УЕ)
ВЕ 
УЕ 
Правило експортації і імпортації
(введення кон’юнкції)
П.Експ. 
(УК).
Лекція: Індуктивні умовиводи
План
Поняття індукції. Повна індукція.
Неповна індукція. Популярна індукція.
Наукова індукція.
1. Логічний перехід від знання про окремі явища до узагальненого знання здійснюється в формі індуктивного умовиводу, чи індукції (лат. industio - наведення).
Індуктивним є умовивід, в якому на основі належності ознаки окремим предметам чи частинам деякого класу роблять висновок про його належність класу в цілому.
Основна функція індуктивних виводів в процесі пізнання – генералізація, тобто отримання загальних суджень. В залежності від повноти і закінченості емпіричного дослідження розрізняють два види індуктивних умовиводів: повну і неповну індукцію.
Повна – умовивід, в якому на основі належності кожному елементу чи частині класу певної ознаки робиться висновок про приналежність ознаки класу в цілому.
Повна індукція
S1 має ознаку Р
S2 ---//---- P
…………….
Sn ---//--- P
S1, S2, …, Sn – елементи (частини) класу К.
Всім предметам класу К притаманна ознака Р.
Ці умовиводи мають справу лише із закритими класами (число дозволяє реєструвати). Тут повнота інформації про кожний елемент класу є достатньою підставою для логічного перенесення ознаки на весь клас. Тому вивод в умовиводі повної індукції носить демонстративний характер. Істинність засновків – істинність висновку.
2. Неповна індукція – це умовивід, в якому на основі належності ознаки деяким елементам чи частинам класу робиться висновок про її належність класу в цілому (поля пшениці).
Неповна індукція
S1 має ознаку Р
S2 ---//---- P
…………….
Sn ---//--- P
S1, S2, …, Sn – належить класу К.
Класу К, напевно, притаманна ознака Р.
Індуктивний перехід від деяких до всіх не претендує на логічну необхідність, бо повторюваність ознаки може бути результатом спів падання. Їй характерно ослаблене логічне слідування - істинні засновки забезпечують отримання не достовірного, а лише проблематичного висновку. Отже, неповна індукція належить до правдоподібного (недемонстративного) умовиводу.
По способу відбору вихідного матеріалу розрізняють два види неповної індукції: 1) індукцію шляхом перерахування, яка отримала назву популярної індукції і 2) індукцію шляхом відбору – наукова індукція.
Популярна індукція – це узагальнення, якому шляхом перерахування встановлюють належність ознаки деяким предметам чи частинам класу і на цій онові проблематично робиться висновок про її належність всьому класу. Деколи її називають індукцією через просте перерахування. Обґрунтованість висновків в популярній індукції визначається головним чином кількісним показником: співвідношення досліджуваної множини предметів (взірця чи вибірки) до всього класу (популяції). (фактичні презумпції – досвідне узагальнення – тікання від суду, погроза вбивства, вкрадені речі (речовий доказ) свідчать про злочин і т.д.). Вона має евристичну функцію, наводить на думку що повторюваність невипадкова. Але в умовах, коли досліджуються лише деякі представники класу, є можливість помилкового узагальнення. Обов’язково враховувати – суперечливі випадки, суб’єктивізм відбору версій, які говорять лише за, і ті, що проти відкидають, з множини фактів вибирають лише ті, які є переважаючими в досвіді і будують на їх основі поспішне узагальнення (суєвірря).
3. Наукова індукція – це умовивід, в якому узагальнення будується шляхом відбору необхідних і виключення випадкових обставин. В залежності від способів дослідження розрізняють: (1) індукцію методом відбору (селекції) і (2) індукцію методом виключення (елімінації).
(1) Індукція методом відбору, чи селективна індукція – це умовивід, в якому висновок про приналежність ознаки класу (множині) базується на знанні про взірець (підмножині), отриманий методичним відбором явищ з різних частин цього класу. Тут треба врахувати показовість (представительность) чи репрезентативність взірця і різноманітність умов спостереження.
(2) Індукція методом виключення, чи елімінативна індукція – це система умовиводів, в якій висновки про причину досліджуваних явищ будуються шляхом виявлення обставин, які підтверджують, і виключення обставин, не задовольняючих властивостям причинного зв’язку. Причинним є таки зв’язок між двома явищами, коли одно з них – причина – передує і викликає інше – дію. Важливими властивостями причинного зв’язку, які визначають методичність елімінативної індукції, виступають такі її характеристики, як: 1) все загальність, 2) послідовність в часі, 3) необхідність, 4) однозначність.
(1) Все загальність причинного зв’язку означає, що в світі не існує безпричинних явищ (крім самого світу);
(2) Послідовність в часі – причина – завжди передує дії (зразу – довго) (poct hoc, ergo propter hoc – після нього значить по причині цього) /Блискавка – грім – одне явище/.
(3) Причинний зв’язок відрізняється властивістю необхідності (дія необхідно є, коли є її причина), однозначний характер причинного зв’язку проявляється в тому, що кожна конкретна причина завжди викликає пенву, відповідну їй дію.
Сучасна логіка описує п’ять методів встановлення причинних зв’язків: (1) метод подібності, (2) метод різниці (відмінності); (3) сполучний метод подібності і сумісності, (4) метод супутніх змін; (5) метод залишку (остач.). Розглянемо логічну структуру цих методів.
(1) По методу подібності порівнюють декілька випадків, в кожному з яких досліджуване явища настає і при цьому всі випадки схожі в одному і відмінні у всіх інших обставинах. Тобто, цей метод знаходження спільного в різному.
АВС – викликає d
МВГ – викликає d
МВС – викликає d
Напевно, В є причиною d.
Цей метод вимагає загального знання про можливі причини досліджуваного явища, повинні бути виключені всі обставини, які не є необхідними, виділяють подібне і те, що повторюється. Для достовірного висновку повинні бути відомі всі передуючі обставини, які є закритою множиною причин, і відомо, що кожна обставина не вступає у взаємодію з іншою.
Modus tol. Pon.
AvBvCvFvM
┐A┐B┐C┐F┐M
Може, В
(2) Метод відмінності – порівнюють два випадки, в одному з яких досліджуване явище настає, а в іншому не настає; при цьому другий випадок відрізняється від першого лише однією обставиною, а всі інші є схожі. Цей метод знаходження різного в схожому.
АВСМ --//-- d
АВСМ не --//-- d.
Може, М є причиною d.
(3) Поєднаний метод – є комбінацією двох перших методів, де виявляють як схоже в різному, так і різне в схожому.
АВС --//-- d
MFB --//-- d
MBC --//-- d
AC не --//-- d
MF не --//-- d
МС не --//-- d
Може, В є причиною d.
(4) Метод застосовується при аналізі випадків, в яких має місце видозмінення одного з передуючих обставин, яке супроводжується видозміною досліджуваної дії. АВС – обставини передуючі, 1, 2, ..., n - степінь зміни цих обставин, то :
| AВC1 викликає d1 АВС2 --//-- d2 АВСn --//-- d n Може, C є причиною d. | Метод залишку 1) АВС викликаэ хуz 2) A --//-- x 3) B --//-- y C --//--z | 1) ABC --//-- abcd 2) A --//-- a 3) B --//-- b 4) C --//-- c Напевно, існує деякий Х, який викликає d |