Парафальсифицирующая Логика

Логическая теория, не предполагающая ассиметрию верификации (эмпирического подтверждения) и фальсификации (эмпирического опровержения). Особый интерес к проблеме такой ассиметрии привлек К. Поппер, противопоставивший опровержимость научных теорий их эмпирической подтверждаемости и связавший разграничение науки и ненауки с фальсифицируемостью.Согласно современной (классической) логике, две взаимосвязанные операции - подтверждение и опровержение - существенно неравноправны.Достаточно одного противоречащего факта, чтобы окончательно опровергнуть общее утверждение, и вместе с тем сколь угодно большое число подтверждающих фактов не способно раз и навсегда подтвердить такое утверждение и превратить его в истину.

Напр., даже осмотр миллиарда деревьев не делает утверждение "Все деревья теряют зимой листву" истинным, а только повышает его правдоподобие. Зато всего один пример дерева, сохранившего листву среди зимы, опровергает это высказывание.Асимметрия подтверждения и опровержения опирается на логическую схему рассуждения, именуемую принципом фальсификации. "если верно, что А имплицирует В, и неверно, что В, то неверно, что А". Данный принцип был известен еще стоикам, которые передавали его так. "если есть первое, то есть второе. Второго нет. Следовательно, нет и первого". В средневековой логике принцип получил название modus tollens. Принципа фальсификации совершенно не коснулась критика в адрес классической логики, начавшаяся в 1920-е гг.

И ставшая особенно активной после 1950-х гг.В П.л. Не принимается логический принцип фальсификации, очерчивающий слишком узкие рамки для опровержения. Логика не должна предрешать ответа на выходящий за рамки ее компетенции вопрос. Симметричны опровержение и подтверждение или нет. Задаваемое логикой понимание опровержения должно быть шире эпистемологического его понимания. Отказ считать принцип фальсификации законом логики не означает, что фальсификация в духе данного принципа никогда не имеет места. Он лишь не является универсальным, применимым всегда. Ситуация здесь аналогична закону исключенного третьего, не применимому в рассуждениях о бесконечных множествах. В П.л. Принцип фальсификации не является доказуемым, и вместе с тем в ней возможна фальсификация в некотором более слабом смысле ("парафаль-сификация").

Возможен также путь реализации идеи П.л. Путем отказа от модального аналога принципа фальсификации. "если верифицировано условное высказывание (если А, то В) и фальсифицировано его следствие В, то фальсифицировано основание А". Последнее положение является следствием принципа фальсификации в рамках простой логической теории эпистемических модальностей "верифицировано" и "фальсифицировано".Карнап Р. Философские основания физики. М., 1971. Кун Т. Структура научных революций. М., 1975. Поппер К. Логика и рост научного знания. М., 1980. Ивин А.А. Логика без принципа фальсификации // Философские науки. 1987. № 3. Он же, А.А. Теория аргументации. М., 2000..