екзистенціальний висловлювання емпіричний демаркація
Висловлювання, в які входять тільки універсальні імена і немає індивідуальних імен, будемо називати «суворими», або «чистими». Найбільш важливі серед них строго універсальні висловлювання, про які ми вже говорили. Поряд з ними великий інтерес для мене представляють висловлювання типу «Існують чорні ворони». Наведене висловлювання можна вважати рівнозначним висловленню «Існує хоча б один чорний ворон». Подібні висловлювання будемо називати строго, або чисто - екзистенційними висловлюваннями (або висловлювання про існування).
Природничо-наукові теорії, і зокрема те, що ми називаємо законами природи, мають логічну форму строго універсальних висловлювань. Тому вони можуть бути виражені у формі заперечень строго екзистенціальних висловлювань або, можна сказати, в формі неекзістенціальних висловлювань (висловлювань про неіснування). Наприклад, закон збереження енергії можна виразити у формі «Не існує вічного двигуна», а гіпотезу про елементарне електричному заряді - у формі «Не існує іншого електричного заряду, ніж заряд, кратний елементарного електричного заряду». Ми бачимо, що в такому формулюванні закони природи можна порівняти «проскрипциями», або «заборонами». Вони не стверджують, що щось існує чи відбувається, а заперечують щось. Вони наполягають на неіснування певних речей або положень справ, забороняючи або усуваючи їх. Саме в силу цього закони природи фальсифікації.
Строго екзистенційні висловлювання не можуть бути фальсифіковані. Жодне сингулярне висловлювання (тобто жодне «базисне висловлювання», жодне висловлювання про що спостерігається подію) не може суперечити екзистенційному висловом «Існують білі ворони». Це може робити тільки універсальне висловлювання. Тому, спираючись на запропонований нами критерій демаркації, я буду розглядати суворо екзистенційні висловлювання як неемпіричні, або «метафізичні». Може бути, на перший погляд така характеристика здасться сумнівною і не відповідає практиці емпіричної науки.
Суворі, або чисті, висловлювання - універсальні і екзистенційні - не мають просторових і часових обмежень. Вони не належать до індивідуальної, обмеженою просторово-часової області. Саме тому строго екзистенційні висловлювання нефальсіфіціруеми. Ми не можемо досліджувати весь світ для встановлення того, що щось не існує, ніколи не існувало і ніколи не буде існувати. З тієї ж самої причини строго універсальні висловлювання неверіфіціруеми.
Якщо буде виявлено, що щось існує тут і тепер, то завдяки цьому строго екзистенціальне висловлювання може бути верифіковано, а строго універсальне - фальсифікована.
Зазначена асиметрія разом з її наслідком - односторонньої фальсифікації універсальних висловлювань емпіричної науки - тепер, можливо, здасться менш підозрілою, ніж раніше. Ми бачимо, що вона не пов'язана ні з яким чисто логічним відношенням. Навпаки, відповідаю щие логічні відносини є симетричними. Універсальні і екзистенційні висловлювання формулюються симетрично. Асиметрія виникає тільки завдяки нашому критерієм демаркації.