винна задовольняти певним вимогам раціональності. Одним з основних і найважливіших вимог є умова, щоб ступеня ймовірності задовольняли законам обчислення ймовірностей, а тим самим ці ступеня узгоджувалися один з одним. А це означає, що вони не можуть бути довільними. Саме цій умові підпорядковуються всі відомі персоналістські інтерпретації розумної віри. Навіть при психологічної інтерпретації ймовірності ступеня віри встановлюються таким чином, щоб вони були когерентними, тобто узгоджувалися між собою. Тому не може бути такого положення, коли сукупна ступінь вір перевищувала одиницю.
Після аналізу понять фактичної і раціональної віри Карнап природно переходить від цих квазі-психологічних по суті понять до чисто логічним. Однак індуктивні поняття Карнап тлумачить зовсім по-іншому, ніж більшість не тільки старих, а й сучасних авторів. "Вони розглядають, - пише він, - індуктивні міркування як висновки з деяких відомих висловлювань, званих посилками або свідченнями, до нового висловом, зазвичай званому законом або окремим пророкуванням "(8, p. 29). Але з цієї точки зору результатом будь-якого конкретного індуктивного міркування є прийняття нового затвердження. При такому підході до індукції ми неминуче потрапляємо під вогонь критики Д.Юма, бо створюється враження, що нібито для такого прийняття існують якісь раціональні підстави. Тому доцільніше розглядати індуктивні міркування щодо гіпотези H при відповідному свідоцтві E (яке зазвичай складається з кон'юнкції висловлювань) як приписування їй ймовірності, або ступеня підтвердження, c: c (H/E) = r. У колишніх роботах Карнап визначав ступінь підтвердження в термінах пропозицій, але мови, які при цьому використовувалися, були вельми бідними і не могли висловити, наприклад, пропозиції про дійсних числах і дійсних функціях. Впоследнейработе (Jeffrey R., Carnap R. (eds) Studies in Inductive logic and probability. Vol. 1. Berkeley, 1971) він використовує термін "подія", розуміючи його в досить широкому сенсі, тобто розглядаючи в якості подій реальні явища і судження про них. Тому замість складної і заплутаної техніки побудови опису станів, структур і вимірюють функцій для них він будує систему індуктивної логіки за допомогою функцій ступеня підтвердження, які дозволяють визначити ступеня раціональної віри.
Основні властивості цих функцій задаються за допомогою наступних аксіом.
А1. Аксіома нижньої межі: C (H/E)? O. p> А2. Аксіома самоподтвержденія: C (E/E) = 1. p> А3. Аксіома доповнення: C (H/E) + C (H /-E) = 1. p> А4. Загальний мультиплікаційний принцип: якщо ECH можливо, то C (HC H '/ E) = C (H/E) ? C (H '/ E C H). p> Як неважко помітити, чотири перераховані аксіоми аналогічні звичайним аксіомам обчислення ймовірностей, але відрізняються від них просто інтерпретацією ймовірності в термінах раціональної ступеня підтвердження. На жаль, труднощі полягає не стільки в різних трактуваннях самого поняття раціональності, скільки в адекватності застосув...