Twierdzenie naukowe – zdanie oznajmiające spełniające następujące warunki: można wobec niego sformułować kryteria pozwalające na eksperymentalne, obserwacyjne lub logiczne ich obalenie (falsyfikowalne według zasad Karla R. Poppera), istnieją reguły jego odczytania, które ograniczają do skończoności liczbę ich interpretacji (kryterium precyzji Józefa Bocheńskiego), odnosi się do empirycznie doświadczalnej lub logicznie definiowanej rzeczywistości (tzw. widły Hume’a), jest elementem zbioru twierdzeń paradygmatu wyjaśniającego rzeczywistość i pozwalającego na przewidywanie jej przyszłych stanów (koncepcja nauki normalnej T. S. Kuhna), twierdzenie będące najprostszym z możliwych opisów świata (tzw. Brzytwa Ockhama).
Podział twierdzeń naukowych
Zdanie analityczne – jego wartość logiczną (prawdę lub fałsz) można wykazać na podstawie analizy użytych w nim wyrażeń i któremu nie można zaprzeczyć bez naruszania reguł obowiązujących w danym języku. Według Ajdukiewicza zdaniu analitycznemu można zaprzeczyć, pod warunkiem, że zwiąże się je z innym znaczeniem aniżeli to, które na gruncie danego języka posiada, np.