Наши партнеры
-процедура, устанавливающая ложность теории или гипотезы в результате эмпирическойпроверки. Понятие Ф. является фундаментальным в методологической концепции К. Поппера, который обосновал важность этой процедуры для развития науки.
С логической точки зрения процесс Ф. описывается схемой модус толленс. Из проверяемой теории Т дедуцируется некоторое эмпирическое предложение a, т. e. согласно правилам классической математической логики имеет место Т ->> A. Посредством эмпирических методов познания (наблюдения, измерения или эксперимента) предложение А сопоставляется с реальным положением дел. Выясняется, что A ложно и истинно предложение ~А (не-А). Из Т -> A и ~А следует ~ Т, т. е. ложность теории Т.
Когда речь идет об изолированном предложении или гипотезе невысокого уровня общности и абстрактности, фальсифицирующий вывод часто оказывается полезным и помогает отсечь ложные предложения. Однако если мы рассматриваем сложную, иерархически упорядоченную систему предложений — теорию, то дело обстоит вовсе не так просто. Процедура Ф. обнаруживает только столкновение теории с фактом, но не говорит нам, какой член противоречия ложен - теория или факт. Почему мы обязаны считать, что ложной является именно теория? Быть может, ложным является факт, который установлен в результате «грязного» эксперимента, неправильно истолкован и т. п.?
К этому добавляется еще одно соображение. Из одной теории обычно нельзя вывести эмпирического предложения. Для этого к теории нужно присоединить специальные правила, дающие эмпирическую интерпретацию терминам теории, и предложения, описывающие конкретные условия эмпирической проверки. Т. о., эмпирическое предложение А следует не из одной теории Т, а из Т плюс правила эмпирической интерпретации плюс предложения, описывающие конкретные условия. Если учесть это обстоятельство, то сразу же становится ясным, что из ложности предложения А мы не имеем права делать вывод о ложности теории Т. Ложная посылка может входить в добавляемые правила или предложения. Вот поэтому в реальной науке, обнаружив столкновение теории с некоторым фактом, ученые вовсе не спешат объявлять теорию ложной. Они еще и еще раз проверяют чистоту экспериментов, предпосылок, на которые опираются истолкование экспериментальных результатов, звенья фальсифицирующего вывода и т. д. Только тогда, когда таких фактов накопится достаточно много и появится гипотеза, успешно их объясняющая, ученые начинают склоняться к мысли о том, что их теория, возможно, ложна.
Несмотря на все трудности применения, процедура Ф. используется в качестве одного из критериев научности гипотез и теорий. Всякая гипотеза или теория должна допускать возможность своего опровержения — только в этом случае она заслуживает серьезного рассмотрения. Если некоторая гипотеза в принципе неопровержима, то это означает, что она ничего не говорит о мире и не может прийти в столкновение с фактами. Следовательно, она ненаучна. Поэтому при выдвижении новых гипотез и теорий следует указывать, при каких условиях можно будет считать, что они опровергнуты. Если такие условия сформулировать нельзя, нет смысла рассматривать предложенную гипотезу или ставить эксперимент для ее опровержения.
ФИГУРА СИЛЛОГИЧЕСКАЯ, см.: Силлогизм.
ФИЗИЧЕСКАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность.