Zagadnienie uzasadnienia zdań analitycznych, PWN, Warszawa 1965, s. 297.. Eksperyment jest to „zabieg polegający na wytworzeniu przedmiotu lub zjawiska w tym celu, by go obserwować, oraz na dokonaniu tej obserwacji”.
Weryfikacja prognozy oznacza potwierdzenie sprawdzanego twierdzenia. Wnioskowanie przebiega tu w kierunku odwrotnym niż wynikanie, czyli od następstwa do racji: N --→ R. Zatem sprawdzanie empiryczne ma charakter redukcyjny i jest procedurą logicznie zawodną, ponieważ prawdziwość następstwa (N) nie pociąga racji (R), lecz jedynie zwiększa jej wiarygodność (stopień konfirmacji)J. Such, Problemy weryfikacji wiedzy, rozdz. II, § 3. Rodzaje uzasadniania. Dowodzenie i sprawdzanie empiryczne jako podstawowe odmiany uzasadniania, Wyd. PWN, Warszawa 1975, s. 115..
Między dowodzeniem, a sprawdzaniem empirycznym zachodzą zatem trzy podstawowe różnice: odwołanie się do racji logicznej lub do następstw empirycznych charakter dedukcyjny lub redukcyjny (w szczególności indukcyjny) niezawodność lub zawodność.