перевірка судом і слідством обставин у вигляді слідчого чи судового експерименту, що може виявити нове в справі і суттєво змінити її., спростувати попередні версії, виявити що є неправильно і т.д. Послідовне спростування в процесі перевірки попередніх версій протікає методом виключення в формі заперечно-ствердного модусу розділово-категоричного умовиводу:. 2) Підтвердження версії. Гіпотеза чи версія (Н) підтверджується, якщо виведені з неї наслідки (S) співпадають з новими виявленими фактами. Якщо ймовірність вихідної гіпотези виразити зірочкою Н*, то будучи підтвердженою, вона стає більш ймовірною . Дедуктивне виведення з гіпотези наслідків виведення наслідків S1, S2, … , Sn витікає з неї з логічною необхідністю. Але реальне виявлення кожного з них – це очікування, яке розцінюється в термінах ймовірності. При цьому ймовірність кожного наслідку повиннаж бути вище йомвіності самої гіпотези Р(S) > Р(Н), лише тоді можна підвищити першопочаткову ймовірність гіпотези, виявивши її наслідки. Недоцільно виводити наслідки ймовірність яких Р(S) = Р(Н), також недоцільно Р(S) < Р(Н) і нічого не дають Р(S) = 1, вони є достовірні і незалежні від гіпотези.
2. В залежності від сфери дослідження користуються різними способами доказів. Основні з них три: (1) дедуктивне обґрунтування вираженого в гіпотезі припущення; (2) логічний доказ гіпотези; (3) безпосереднє виявлення припущених в гіпотезі предметів. Стосовно до судового слідства розглянемо два основних способи перетворення версій в достовірне знання: 1) безпосереднє виявлення розшукуваних предметів і 2) логічний доказ версій, шляхом підтвердження наслідків.
(1) Найбільш переконливим способом перетворення версії в достовірне знання є безпосереднє виявлення в припущений час чи в припущеному місці розшукуваних предметів чи безпосереднє сприйняття припущених властивостей. Ці версії в більшості своїй є частковими, бо вони встановлюють лише окремі фактичні обставини справи.
(2) Так доказуються в основному недоступні безпосередньому сприйняттю речі (наприклад, версії про спосіб здійснення злочину, провинність, про мотиви, об’єктивні обставини і т.п.).
Логічний доказ гіпотези в залежності від способу обґрунтування може протікає в формі (а) побічного чи (б) прямого доказування.
а) Побічне доказування протікає шляхом спростування і виключення всіх хибних версій, на основі чого стверджують про достовірність єдиного залишившогося припущення. Вивод протікає в формі заперечно-стверджуючого модуса розділово-категоричного умовиводу: . Висновок в цьому виводі може розцінюватися як достовірний, якщо, по-перше, побудований вичерпний ряд версій, пояснюючих досліджувану подію, і, по-друге, в процесі перевірки версій спростовані всі хибні припущення. Версія, яка вказує на причину, яка залишилась, в цьому випадку буде єдиною, а виражене в ній знання буде виступати уже не як проблематичне, а як достовірне. Цей спосіб доказування, відомий як метод виключення.
б) Пряме доказування гіпотези протікає шляхом виведення з припущення різновид них, але витікаючи тільки з даної гіпотези наслідків, підтвердження їх виявленими фактами.
При відсутності побічного доказування просте співпадіння фактів з тими наслідками, які виведені з версії, не можна розцінювати як достатню підставу істинності версії, бо співпадаючі факти могли бути викликані іншою причиною:. Логіка не вважає демонстративним перехід від ствердження наслідків до ствердження підстави (основи).
Якщо наслідки (Sа, Sв, … , Sn) вказують на походження від однією, визначеної причини, і ця версія підтверджується упорядкованою сукупністю фактів (Fа, Fв, … , Fn), тим самим служить достовірною підставою для виводу про достовірність єдиного припущення Н1 , і також виключає інше пояснення обставин справи, то, ми маємо такий зв’язок між підставою і наслідком, який може бути виражений подвійною імплікацією: “якщо і тільки якщо Н1, то (Sа, Sв, … , Sn)”. Н1S. Вивод тут є законним. Якщо в меншому засновку стверджується, що сукупність фактів Fа, Fв, … , Fn і співпадає з наслідками Sа, Sв, … , Sn , то в висновку з необхідністю стверджують про існування причини Н1. Міркування приймає вид:.