12.3.5. Аналогові виводи

Аналоговими називають виводи, в яких встановлюють, що об'єкт має ще одну ознаку У, оскільки решта відомих ознак цього об'єкта ідентичні з ознаками іншого об'єкта, який має, поза тим, і вказану ознаку К Структура виводу за аналогією така (тут/= 1,2, 3,...я):

ЧХ32_{М п}(ХР[2_р2₂,2_у..2_п]У₉ Отже, УУ32_п(УР2_п).

Існують такі аналогові висновки: простий (якщо об'єкти мають кілька спільних ознак, то й решта їх ознак подібні), безумовний (зв'язок між спільними ознаками та досліджуваною ознакою є встановленим),умовний (зв'язок між спільними ознаками та досліджуваною ознакою не є встановленим) та причиновий (від подібності наслідків встановлюють ідентичність їх причин).

Норми контролю аналогових виводів.

• Кількість спільних ознак у порівнюваних об'єктах повинна бути максимальною, а відмінних — мінімальною.

• Ознака, стосовно якої роблять висновок, повинна бути суттєвою.

• Об'єкт, стосовно якого роблять висновок, не може мати ознак, що унемож­ливлюють наявність тої ознаки, яка повинна випливати з висновку.

• Виявлені в об'єктах спільні ознаки повинні стосуватися різних, а не якогось одного аспекту цих об'єктів.

Специфіка перевірки аналогових виводів. Контроль аналогових виводів здійснюють положеннєвими методами.

Істинність аналогових висновків завжди ймовірнісна. Тому, контролюючи істинність аналогових виводів, редактор завжди повинен перевіряти, чи вказав автор на неодно­значність висновку.

Типові помилки в аналогових виводах.

Приклад. На основі того, що / в людей, і в мурашок є соціуми, роблять висновок про те, що У соціумі мурашок є мурашки-раби, мурашки-воїни та домашні тварини. Така аналогія в науковому аспекті є помилковою, оскільки мурашки не володіють, як люди, свідомістю та мисленням (порушено четверте правило)¹. Так само помилково робити логічний висновок, що Політичні організації, як і люди, переживають юний, зрілий та літній вік.

12.4. Норми редагування доведень 12.4.1. Норми для доведень

Операції виведення і доведення. Виведення — це логічна операція, яка полягає у тому, що із певної послідовності тверджень, які є або припущеннями, або висновками з попередніх тверджень цієї ж послідовності, на основі правил для висновків (див. розділ 12.3) отримують нове твердження. Доведення — це логічна операція, яка полягає в тому, що із певної послідовності тверджень, які є завжди істинними, на основі правил для висновків отримують нове істинне твердження. Таким чином, різниця між цими двома операціями полягає в тому, що виведення базується як на істинних, так і гіпотетичних, а доведення — тільки на істинних твердженнях.

Іноді ланцюжки тверджень, які виникають у процесі виведення чи доведення, називають ще полісилогізмами, тобто послідовностями висновків, в яких висновки якихось двох силогізмів є засновками для третього, висновок третього — є засновком для четвертого і т. д. (див. приклад в розділі 8.4.5).

¹ Сказане зовсім не заперечує того, що автор може використовувати такі образні порівняння. Але, вдаючись до них, треба або брати слова раби, воїни, домашні тварини у лапки, або явно вказувати, що вони вжиті в переносному значенні.

У повідомленнях автори використовують і виведення, і доведення. Проте для науки більше значення мають, звичайно, доведення. Тому зупинимося нижче саме на них.

Структура доведення. Доведення має такі складові: 1) теза (твердження, яке підлягає доведенню); 2) аргументи (множина тверджень, що їх використовують як основу для доведення тези¹); 3) демонстрація (множини висновків, у які на основі правил для висновків крок за кроком розгортають аргументи задля доведення тези).

Види доведень:

• пряме та непряме (залежно від того, що доводять — саму тезу чи її заперечення);

• регресивне та прогресивне (залежно від того, де розташована теза — на початку чи в кінці доведення);

• підтверджуюче та спростовуюче, тобто спростування (залежно від того, що доводять — істинність чи хибність тези);

— однозначні та гіпотетичні, тобто гіпотези (залежно від ступеня істинності тези). Норми для контролю доведень. Для контролю доведень використовують низку

норм, які поділяють на норми для тези, для аргументів і для демонстрації. Перелічимо норми для контролю тези.

• Теза повинна бути точно і ясно сформульована.

• Під час доведення теза не може змінюватися.

• Теза не повинна містити в собі логічної суперечності.

• Теза не повинна суперечити раніше встановленим істинним твердженням.

Подамо норми для контролю аргументів.

• У доведенні аргументи повинні бути істинними твердженнями.

• Істинність аргументів повинна бути доведена незалежно від тези.

• Аргументи повинні бути достатньою основою для доведення тези.

• Аргументи не повинні суперечити один одному.

Для демонстрації використовують лише одну норму.

• Демонстрація повинна відповідати всім правилам, переліченим вище для висновків, означень та класифікацій.

Специфіка контролю доведень. Контроль доведень слід здійснювати поло-женнєвими методами. їм однаково підлягають як однозначні, так і гіпотетичні твердження.

Контролюючи істинність тези, редактор повинен пам'ятати, що при істинності усіх аргументів і дотриманні всіх перелічених вище правил теза буде однозначною, тобто або істинною, або хибною. Якщо серед аргументів є такі, істинність яких імовірнісна, теза також буде імовірнісною. В цьому випадку редактор повинен проконтролювати, чи вказав автор у повідомленні, що доведення має характер гіпотези.

Зупинимося також на особливостях спростувань. Спростовувати можна трьома способами: а) довівши хибність аргументів; б) довівши хибність демонстрації; в) зро­бивши на підставі тези виведення її наслідків і порівнявши їх із самою тезою. Стосовно останнього випадку редактор повинен пам'ятати, що достатньо навіть одного наслідку, який суперечить дійсності або доведеним уже раніше твердженням, щоби зробити висновок про хибність тези.