х яких повинно інтерпретуватися наукове вислів, може бути нескінченно багато, так що їх не можна буде явно сформулювати в будь-який кінцевий відрізок часу. Крім того. виводяться висловлювання спостереження є умовними висловлюваннями, тобто такими, що якщо зазначені в них умови не осущестляются, то умовні висловлювання і тим самим початкові наукові висловлювання повинні парадоксальним чином вважатися істин вими, навіть коли вони фактично помилкові. Наприклад, вислів В«Х розчинний у водіВ», згідно розглянутій точці зору, може означати В«Коли х опущений у воду, х розчиняєтьсяВ». Але якщо х ніколи не опущений у воду, то гіпотетичне висловлювання є істинним, незалежно від того, чим є х, таким чином, можна прийти до абсурдного висновку, що х розчинний у воді, навіть якщо х є сірником або яким-небудь іншим нерозчинним об'єктом. Враховуючи всі ці труднощі, Карнап відкинув ідею про тлумачення наукових виразів тільки в термінах висловлювань спостереження, виведених з них, і висунув замість неї у своїй роботі В«Верифікованість і значенняВ» непрямий способу введення наукових виразів при посередництві того, що він назвав В«Редукційними пропозиціямиВ». У такому реченні вводиться вираження не проявляється ні як В«визначаєтьсяВ» визначального висловлювання, ні як основний антецедент імплікації, а як деяка зв'язок в ланцюжку умовах а них висловлювань, іншими членами якої є висловлювання спостереження. Пропозиція, яка вводить вираз В«розчинний у водіВ», має читатися не як В«якщо х розчинний у воді, то ... В», але якВ« якщо будь-яку річ х помістити у воду на деякий час Т, то, якщо х розчинний у воді, х розчиниться протягом Т, а якщо х не розчинний у воді, то цього не відбудеться В». Звичайно, деякі терміни можуть безпосередньо вводитися шляхом визначення, наприклад коли ми визначаємо китів як вид ссавців, але, як правило, введення термінів через редукційні пропозиції не тільки більшою мірою гарантовано від абсурдності, а й більш зручно, тому що воно дозволяє будувати наукові поняття поступово, по мірі накопичення нових даних. З цієї точки зору можна сказати, що наукове вислів проверяемое якщо відомий спосіб побудови відповідних умовних суджень спостереження. Якщо навіть наукове висловлення не проверяемо, то Тобто немає ще способу побудови відповідних йому умовних речень, його можна підтвердити тим, що предикати, пов'язані з цим умовним пропозиціям, належать до В«класу предикатів, доступних спостереженнюВ»; та наукове висловлювання може вважатися осмисленим, навіть якщо воно підтверджується лише частково. Підтвердження наукового пропозиції полягає, звичайно, в реалізації пов'язаних з ним умовних речень, спостереження у процесі фактичних спостережень, а його часткове підтвердження полягає в реалізації деяких з цих пропозицій. p> У останніх роботах Карнапа навіть ця більш помірна трактування відносини між науковими виразами і висловлюваннями про спостереження розглядається як занадто жорстка, щоб відповідати реальним процедурам наукового до...