Логічна характеристика доведення

Аналогія, її різновиди

Аналогія – традуктивний умовивід, в якому на підставі подібності двох предметів в одних ознаках робиться висновок про подібність їх в інших ознаках.

Прикладом аналогії може бути міркування Галілея, який, відкривши чотири супутники Юпітера і виявивши спільність між системою „Юпітер – його супутники” і сонячною системою, зробив висновок, згідно з яким подібно до того, як у системі Юпітера в центрі перебуває найбільше за розмірами тіло, так і в центрі руху планет перебуває найбільше за об’ємом тіло цієї системи – Сонце.

Схема міркування за аналогією: Предмет А має ознаки abcd. Предмет В має ознаки abc. Ймовірно, що предмет В має ознаку d.

Висновок за аналогією має ймовірний характер.

Оскільки предмети можуть уподібнюватися один одному за своїми ознаками (властивостями), так і відношеннями між ними, то аналогії, відповідно, поділяються на аналогії властивостей і аналогії відношень. Міркування Галілея є прикладом аналогії відношення. Міркування, що на Марсі існує життя – приклад аналогії властивостей.

Хоча ймовірність висновків за аналогією загалом нижча, ніж за неповною індукцією, проте її евристичну роль важко перебільшити. Аналогія в історії нерідко була формою винятково сміливих гіпотез, обґрунтування яких призводило до епохальних відкриттів.

Проста аналогія – аналогія, в якій на підставі подібності предметів за одними якими-небудь ознаками роблять висновок про їх подібність в інших ознаках.

Строга аналогія – аналогія, що ґрунтується на знанні залежності ознак предметів, які порівнюються.

Нестрога аналогія – аналогія, в результаті якої робиться висновок від подібності двох предметів в одних ознаках до подібності ї за такою ознакою, про зв’язок якої з першими нічого не відомо.

Доведення – багатозначне поняття уже хоча б тому, що доводити – це обґрунтовувати, а обґрунтування можна здійснити як шляхом безпосереднього звертання до дійсності (вдаючись до вимірювання, спостереження, експерименту), так і за допомогою відомих знань шляхом побудови міркувань. Оскільки логіку цікавить насамперед другий випадок встановлення істинності думок, то доведення(власне доведення) можна визначити так:

Доведення – це обґрунтування істинності одного положення(судження, гіпотези, концепції) за допомогою інших шляхів побудови відповідного міркування.

Будова доведення:

теза – положення, що обґрунтовується. Вона виражається у формі судження чи системи суджень. Щоправда, іноді з риторичних міркувань їй надають форму запитання. Наприклад: „В якому зв’язку перебувають чуттєві та логічні форми пізнання людиною світу?”

аргумент(логічна основа, підстава, довід, доказ) – положення, за допомогою якого обґрунтовується теза.

демонстрація – форма логічного зв’язку між тезою та аргументами

Доведення здійснюють у формі демонстративного міркування (дедукція, індукція) або за схемою недемонстративного міркування(аналогія).

Дата добавления: 2015-05-22