этого языка должна выражаться в задании некоторых первичных истинностных
значений для пропозициональных переменных и использовании обычных правил
семантики по Тарскому для молекулярных формул. Например, формула pq истинна
если только если истинна формула р и истинна формула q. Научная теория Т
интерпретировалась в этом случае как исчисление высказываний, в которое добавлены
некоторые нелогические аксиомы, выражающие специфику этой теории. Такое
расширенное исчисление высказываний называется также прикладным исчислением
высказываний.
Из подобной модели вытекает то следствие, что главной составляющей, своего
рода базисом научной теории, является множество атомарных высказываний, к
логической конечной комбинации которых может быть сведено любое научное
суждение. Неопозитивисты считали, что истинные атомарные формулы должны быть
именами так называемых протокольных предложений, т.е. простейших и максимально
конкретных суждений вида «Субъект Х в момент времени t в месте p совершает
действие А», используемые при ведении протокола эмпирического исследования
(например, в процессе наблюдения, измерения или эксперимента). Действие А также
должно быть в этом случае некоторым простейшим действием, например,
регистрацией того, что стрелка прибора находится у некоторой отметки шкалы.
Протокольные предложения должны выражать чистый чувственный опыт субъекта, не
«загрязненный» примесями какого-либо теоретического знания. Существует
некоторый язык наблюдения, на котором формулируются протокольные
высказывания, и этот язык независим от языка научной теории, позволяя сохранять
неизменными формулировки протокольных высказываний, как бы ни менялось
теоретическое знание. Протокольные предложения – это некоторые атомы научности,
неразрушимые и неизменяемые, которые лишь по-разному могут объединяться в
логические молекулы производных смыслов. Научные теории представляют собой
системы таких смысловых молекул, обладающих менее обеспеченной надежностью.
Молекулы могут возникать и исчезать, перестраиваться в новые комбинации, но
логические атомы протокольных высказываний навсегда останутся вне изменений,
только увеличивая свое количество по мере развития научного знания. Выражаясь
более точно, можно сказать, что на одном и том же множестве атомарных формул
могут строиться разные прикладные исчисления высказываний, отличающиеся друг от
друга не языком, но своими нелогическими аксиомами и теоремами. Если
протокольные предложения как семантическое основание атомарных формул
составляют наиболее незыблемую часть теории, то ее нелогические аксиомы,