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