Проблема референції

Проблема редукції

Проблема верифікації

Проблема демаркації

Проблема дедукції

Проблема індукції

Логічне порівняння отриманих наслідків один з одним, за допомогою якого перевіряється внутрішня несуперечливість системи.

Перевірка теорії за допомогою емпіричного застосування виведених з неї наслідків.

Перевірка адекватності теорії здійснюється за допомогою раціональної інтуїції, яка ще з часів Декарта вбачає ясність і очевидність основним критерієм істинності.

Дослідження логічної форми теорії з метою визначити, чи має вона характер емпіричної чи наукової теорії або, наприклад, є тавтологічною.

Порівняння даної теорії з іншими теоріями, головним чином з метою визначити, чи робить нова теорія певний внесок у науковий прогрес в тому випадку, якщо вона виживе після її різних перевірок.

Завжди має місце питання про правильність чи істинність універсальних висловлювань, котрі грунтуються на досвіді.

Багато людей вважає, що гіпотези і теоретичні системи в емпіричних науках істинні, оскільки "відомі з досвіду", але результат будь-якого досвіду може бути виражений тільки сингулярним (одиничним) висловлюванням, але ніяк не універсальним (загальним).

Скільки б прикладів появи білих лебедів ми не спостерігали, це не може виправдати висловлання "Всі лебеді білі".

З логічної точки зору не є очевидною виправданість наших дій щодо виведення універсальних висловлювань з одиничних незалежно від кількості одиничних висловлювань.

Всі теоретичні формулювання, що мають загальний характер, можуть бути зведені до сингулярних висловань про безпосередній досвід.

Головною вимогою тут є те, що теорія працює, тобто її твердження можна ефективно використовувати на практиці.

Система ідентифікується як така, що описує наш емпіричний світ на основі внутрішньої несуперечливості та узгодженості з попередніми теоріями.

Немає жодної різниці між теоріями, всі логічно несуперечливі теорії адекватно описують наш світ.

Вона була піддана перевіркам і витримала їх.

Таку систему підтримала наукова спільнота.