апріорних відносин, незалежних від фактів і від істинності чи хибності входять до них посилок. В обох відношення між посилками і укладанням є В«чисто логічним в тому сенсі, що воно залежить тільки від значень пропозицій, або, точніше, - від областей цих пропозицій В». Можна навіть сказати, що індуктивна логіка є розширенням дедуктивної логіки за рахунок додавання деякої нової функції підтвердження. Істотна різниця між ними полягає в тому, що тільки більш обмежена дедуктивна логіка дає остаточні результати, в той час як більш широка індуктивна або імовірнісна логіка дає тільки різні ступені підтвердження. p> Ймовірності в тому сенсі, в якому Карнап в основному ними займається, завжди віднесені до підтверджуючим даними, і принципова проблема ймовірнісної логіки полягає в тому, щоб знайти спосіб так формулювати ступінь підтвердження деякої гіпотези наявними даними, щоб вона в один і той же час мала точне чисельне значення (від 0 до 1) і узгоджувалася з нашою інтуїцією і дійсної практикою науки. Поки такі формулювання знайдені щонайбільше для двох перших з п'яти основних видів індуктивного виводу. Ці п'ять видів наступні: В«прямий висновок. .. від сукупності до вибірці; ПРЕДСКАЗ висновок ... від однієї вибірки до іншої; висновок за аналогією ... від одного індивіда до іншому; інверсний висновок ... від вибірки до сукупності; і універсальний висновок від вибірки до гіпотези, вираженої висловлюванням, що містить квантор спільності В». Навіть для двох видів, щодо яких досягнуто суттєвого прогресу, точність може бути отримана тільки в термінах дуже спрощеного мови, елементами якого є індивіди і предикати, що позначають якості. Для висловлювань про безперервних кількостях задовільною ймовірнісної логіки ще не побудовано. Там, де не можна отримати імовірнісних висловлювань на термінах точних числових значень, можна іноді сформулювати класифікаційні ймовірні судження, що вказують, що гіпотеза підтверджується даними, і порівняльні ймовірні судження, що вказують, що одна гіпотеза підтверджується даними більшою чи меншою мірою, ніж інша. Проте Карнап твердо переконаний, що кількісно точні імовірнісні висловлювання можна в кінцевому рахунку отримати фактично для ситуації будь-якого роду. p> Пошуки кількісної оцінки ймовірностей можна починати з можливостей. Сукупність всіх можливостей є сукупність всіх описів станів. Опис стану є кон'юнкція пропозицій, що встановлює В«для кожного індивіда ... і для кожної властивості, позначеного вихідним предикатом, має чи ні цей індивід це властивість В». Область пропозиції складається з тих описів станів, в яких воно виконується. p> Ймовірність якої гіпотези щодо певних даних в загальному є відношенням області підтверджуючих даних до області гіпотези разом з підтверджуючими даними, однак конкретно визначити це відношення дуже важко. Коли гіпотеза підтверджується для всіх описів стану, як у випадку тавтології, ймовірність, очевидно, дорівнює 1. Навпаки, коли гіпотеза помилкова для всіх описів ...
