илок не означає, тому достовірності виведеного з них індуктивного затвердження. Індукція дає тільки ймовірні, або правдоподібні, висновків, які потребують подальшої перевірки. На відміну від дедуктивних умовиводів, в яких між посилками і укладанням має місце відношення логічного слідування, індуктивні умовиводи представляють собою такі зв'язки між посилками і укладанням по логічним формам, при яких посилки лише підтверджують висновок.
Индуктивная логіка, як і дедуктивна, початку формуватися в Стародавній Греції. За свідченнями древніх авторів, що не дійшов до нас твір Демокріта В«Канон, або Про логікуВ», містила елементи індуктивної логіці індуктивної логіки розробляли Сократ, Платон і Аристотель. Індукція за Сократом - це спосіб уточнення понять етики, що полягає в наступному: береться первинне визначення якого-небудь поняття, наприклад поняття В«мужністьВ», аналізуються різні випадки його вживання. Якщо після закінчення аналізу необхідно уточнити поняття, то воно уточнюється, потім процедура повторюється. Платон розумів під індукцією так звану зворотну дедукцію: якщо А | = В, то В | | = А, Аристотель - узагальнюючу індукцію, тобто перехід від знання про деякі предмети класу до знання про всіх предмети класу. У В«ТопіціВ» Аристотель писав: В«Наведення ... є входження від одиничного до загального. Хочеться навести приклад:
Якщо керманич, який добре знає свою справу, - кращий керманич, і точно так само правлячий колісницею, який добре знає свою справу, - кращий, то взагалі добре знає свою справу в кожній області - найкращий В». ( Аристотель. Твори: У 4 т. 2.М., 1978. С. 362)
У середні століття індукція практично не розроблялася, оскільки на перший план висувалося вивчення способів виведення знань з вищих (божественних) істин, а також узгодження знань з догматами церкви, дослідне ж знання всіляко принижувати. p> Зародження буржуазного способу виробництва в надрах феодального суспільства зробило необхідність розвиток техніки, яка не могло здійснюватися без розвитку дослідної науки. Великі представники епохи Відродження Леонардо да Вінчі (1452-1519), Коперник (1473-1543) та інші закликали переходити від тлумачення книг до тлумачення природи. Бурхливий розвиток дослідного природознавства в епоху Відродження і Новий час зумовило розробку індуктивної логіки. У книзі В«Новий ОрганонВ» Ф. Бекон (1561-1626) заклав основи так званих методів встановлення причинного зв'язку між явищами, створивши В«таблиці відкриттяВ». Ідеї, висловлені Ф. Беконом, розвинули Гершель (1792-1871) і Д.С. Мілль (1806-1873). Методи встановлення причинних зв'язків між явищами зазвичай називають методами Бекона - Мілля. Істотний внесок у розробку індукції внесли російські логіки М.І. Каринский (1840-1917) і Л.В. Рутковський (1859-1920). p> У рамках сучасної логіки проблеми індукції розробляються з використанням теорії ймовірності. Сучасну логіку нерідко називають математичної, підкреслюючи тим самим своєрідність нових її методів у тоді як які використовувались раніше в традиційній логіці. Одна з характерних рис цих методів - широке використання різноманітних символів замість слів і виразів звичайної мови. Символи застосовував у ряді випадків ще Аристотель, а потім і всі наступні логіки. Однак тепер у використання символіки був зроблений якісно новий крок. У логіці стали використовуватися спеціально побудовані мови, що містять тільки спеціальні символи і не включають ні одного слова звичайної розмовної мови. Широке використання символічних коштів послужило підставою того, що, нову логіку стали називати символічною. Назви В«математична логікаВ» і В«символічна логікаВ», зазвичай вживаються зараз, означають одне і те ж - сучасну формальну логіку. Вона займається тим же, чим завжди займалася логіка - дослідженням правильних способів міркування. Проблеми, сформульовані на мові формальної логіки, можуть оброблятися на електронних обчислювальних машинах з програмним управлінням. Якщо ж необхідна ступінь точності формулювання не досягнута, то машинна обробка неможлива. Жоден важливий крок вперед у розвитку істинного знання неможливий без опори на логічні принципи. Спроби ж обійти логіку, представити її зайвою і малозначною спростовуються допомогою самої логіки, невблаганним дією її законів. Логіка - знаряддя істини і незамінний засіб викриття брехні, помилок і фальсифікацій. На цьому підставі знання логіки в її складових умовиводів дедуктивних і індуктивних методів є невід'ємною частиною юридичної освіти. Це обумовлено специфікою роботи юриста, будь він суддя, адвокат, юрисконсульт, вчений правознавець і т.д. Усім їм доводиться постійно визначати і класифікувати висновки як рішення, Займатися аргументацією і спростуванням, забезпечити точність і ясність висловлювань, щоб вони однозначно трактувалися і сприймалися людьми. p> Далі ми перейдемо до більш докладного розгляду дедуктивних і індуктивних умовиводів. Спираючись на логіку і аргументацію судовій практиці.
...
