Философия логического позитивизма, основанная на верификационном принципе смысла, различие между аналитическими и синтетическими высказываниями в работе А. Дж. Айера