Положение (вывод), полученное с помощью отменяемого аргумента называется отменяемым положением. Смысл отменяемости здесь такой: когда мы начинаем исследовать объекты А за пределами исходной выборки, то можем обнаружить, что не все А имеют свойство В. Тогда мы просто отбрасываем (отменяем) и аргумент и вывод (положение) и провозглашаем, что они неверны.
Заметим, что во всех без исключения направлениях "современных теорий познания" отменяемый вывод считается оправданным. Таким образом, получается, что оправданными в этой школе могут быть как истинные, так и ложные выводы. Т. е. представители "современных теорий познания" вопреки их декларациям на самом деле не сдвинулись с исходной точки экзистенциализма, считающего, что мы не может полагаться на наше познание, особенно в таких вопросах, как организация человеческого общества и нормы поведения индивидуума в нем. Действительно, если наше познание принимает, как оправданные, отменяемые аргументы и выводы, какое может быть у нас основание устанавливать те или иные формы организации общества как якобы лучшие, или принимать ту или иную мораль, если завтра заключение о том, что это лучшие формы и нормы, может быть отменено и они будут признаны худшими?
Но дело не в том, с кем совпадает основная позиция "современных теорий познания". Дело в том, насколько она верна и как она обоснована. Заменив требование истинности наших знаний, требованием оправданности наших выводов, представители "современных теорий познания" должны были бы объяснить, что они понимают под этой оправданностью, дать ее определение или критерии и убедить нас, что эта оправданность, да может заменить истинность хоть где-то и в чем-то.
Но, как пишет Джон Поллок: "Все обсуждавшиеся выше теории (фаундизм, кохерентные, пробабилизм, релиабилизм - мое) имеют общий недостаток: ни одна из них не в состоянии дать внятного определения понятию оправданность, которым они пользуются". Однако критерий оправданности самого Поллока также не обоснован им, хотя он и претендует на это. Поллок рассматривает, как оправданные, выводы, получаемые в соответствии с правильными эпистемологическими нормами. Очевидно, что это не решает проблемы, а лишь заменяет ее на аналогичную, поскольку теперь в обосновании нуждаются эти самые эпистемологические нормы. Но у Поллока нет ни малейшего объяснения, почему же, собственно, его эпистемологические нормы следует считать правильными и в каком смысле. Более того, он не дает и сколь нибудь ясного общего определения или хотя бы описания их. Он лишь между строк вскользь упоминает один раз индукцию и дедукцию, а другой раз механизм автоматического поддержания равновесия при езде на велосипеде в качестве таких норм. Но разве эти вещи имеют одну и ту же природу? С другой стороны механизм автоматической регулировки равновесия имеет ту же природу, что и перестальтика кишечника, скажем. Должны ли мы на этом основании относить и эту последнюю к эпистемологическим нормам?
Философы "современных теорий познания" не справились также с другой задачей, которую все они без исключения декларативно берут на себя, а именно с задачей описания процесса познания (ерistemic ascent). Все они принимают, что базисным элементом познания является вывод. Выводы подразделяются ими на две категории: 1) перцепторные выводы (арреаrens beliefs) - положения, принимаемые на основе непосредственных ощущений, такие, например, как "этот объект красный" или "я вижу красное" и 2) аргументальные выводы, получаемые из других ранее принятых с помощью аргументов.
Аргументы также подразделяются философами данной школы на две группы: заключительные (соnсlusion reasons ), т. е. логические или математические построения, и выше упомянутые отменяемые аргументы (defeasible или prima facie reasons ). Поскольку наши органы чувств обеспечивают нам непрерывный поток ощущений, то непрерывно же возникают новые перцепторные выводы (appearens beliefs),что в свою очередь приводит к построению новых аргументальных выводов по схеме (см. рис. 1).
Pn Qn Rn
↑ ↑ ↑
∙ ∙ ∙
∙ ∙ ∙
↑ ↑ ↑
Pi Qi Ri
↑ ↑ ↑
∙ ∙ ∙
∙ ∙ ∙
↑ ↑ ↑
P2 Q2 R2
↑ ↑ ↑
P1 Q1 R1
Рисунок 1
Здесь Pi, Qi,Ri (i = 1, n)-последовательные выводы в логической цепочке аргументирования, а стрелки обозначают сами аргументы. (Цепочки, естественно, не обязаны быть линейными, но Поллок в его книге рассматривает только линейные, чем и мы для простоты ограничимся). Далее, согласно Поллоку, если один из конечных выводов одной из цепочек противоречит какому-либо выводу другой цепочки, то по правилам различным для различных теорий этой школы, устанавливается какой из двух выводов следует отбросить. Если, например, вывод Qn противоречит промежуточному выводу P3 из цепочки Р и решенo отбросить этот последний , то соответствующая цепочка размыкается и приобретает вид (см. Рис. 2):
P2
↑
P1
Рисунок 2
После этого построение цепочек выводов продолжается до обнаружения нового противоречия.
Такая схема эпистемологического развития, напоминаю, принятая всеми "современными теориями познания", решительно не соответствует реальному процессу познания. Прежде всего, базисным элементом процесса познания является не вывод, а понятие. Я употребляю здесь термин "понятие" в смысле, в котором я ввожу его в моей модели познания. А именно, под понятием я имею в виду множество объектов или явлений действительности, которые мы выделяем из нее на основании общего свойства или свойств. В первый и единственный раз я позволю себе сравнить то, как я ввожу это понятие с тем, как его сегодня принято вводить во многих других школах. То, что я назвал понятием, в этих школах обычно называют содержанием понятия, хотя содержание этого содержания может несколько варьироваться от школы к школе и соответственно отличаться от моего. А вот то, что я в моей модели называю определением , соответствует более менее тому, что в этих школах называется понятием. Из ниже следующего будет ясно, почему мне было нужно или удобно вводить термин "понятие" так, как я это сделал. Но поскольку, как будет показано в моей модели познания, не бывает ни единственных, ни абсолютных понятий и выбор их обуславливается задачей, то впредь никаких сравнений моих понятий с где-то принятыми я проводить не буду.