Спростовуваність: відмінності між версіями

 

==Наївна спростовуваність==

Спростовуваність була вперше запропонована [[Карл Поппер|Карлом Поппером]] у [[1930|30-x]] роках 20-го століття. [[Поппер Карл|Поппер]] зауважив, що два наступних типи тверджень є особливо цінними для науковців. Перший тип — це спостереження, наприклад 'цей лебідь білий'. [[логіка|Логіки]] називають такі твердження [[екзистенційна квантифікація|одинарними екзистенційними твердженнями]], оскільки вони стверджують існування конкретної речі. Вони можуть бути висловлені у формі ''Існує x, що є лебедем і є білим''. Другий тип тверджень категоризує усі поодинокі випадки чогось, наприклад, 'всі лебеді білі'. Логіки називають такі твердження [[універсальна квантифікація|універсальними]]. Розбір таких тверджень здійснюється у формі ''для всіх x, якщо x є лебедем, то x є білим''. ''Закони'' науки (точнішим терміном буде теорії), як правило, представлені у одній із цих форм. Ймовірно наскладнішим питанням в [[науковий метод|науковій методології]] є: яким чином здійснюється перехід від поодиноких спостережень до теорії? Як стає можливим вивести універсальне твердження із будь-якої кількості поодиноких екзистенційних тверджень?