Для логика эти ограничения означают, что используемый в описании искусственного языка метаязык — это «естественный» или «повседневный» язык; он универсален, поскольку все другие языки можно перевести на него; но не обоснован в отношении отрицания, поскольку допускает образование парадоксов.
[144]Отсюда, вопрос о легитимации знания нужно ставить по-другому. Когда заявляют, что высказывание, имеющее денотативный характер, истинно, то предполагают, что аксиоматическая система, в которой оно определенно и доказуемо, была сформулирована, что она известна собеседникам и принята ими, как безусловно наиболее удовлетворительная. Именно в таком духе развивалась, например, математика группы Бурбаки.[145] Однако мы можем найти подобные наблюдения и в других областях: своим статусом они обязаны существованию языка, правила функционирования которого сами не могут быть доказаны, но составляют предмет консенсуса между экспертами. Эти правила являются требованиями, по крайней мере, некоторые из них. А требование — разновидность предписания.
Необходимая для принятия научного высказывания аргументация оказывается, таким образом, подчиненной «первоначальному» принятию правил (в действительности постоянно обновляемому в силу принципа рекурсивности), которые устанавливают средства аргументации. Отсюда замечательные свойства этого знания: гибкость его средств, т. е. множественность его языков; его характер парадигматической игры, приемлемость применяющихся в ней «приемов» (введение новых суждений), которая зависит от предварительной договоренности между партнерами. Отсюда же и различие между двумя видами «прогресса» в знании: первый связан с новым «приемом» (новой аргументацией) в рамках установленных правил, а второй — с изобретением новых правил и, следовательно, с изменением игры.[146]
Этому новому положению безусловно соответствует главное перемещение в представлении об обосновании. Принцип универсального метаязыка оказывается замещенным принципом множественности формальных и аксиоматических систем, способных аргументировать денотативные высказывания, причем эти системы описаны хотя и универсальным, но не обоснованным метаязыком. То, что проходило как парадокс и даже паралогизм в знании эпохи классической и современной науки, может приобрести в такого рода системе силу нового убеждения и получить одобрение сообщества экспертов.[147] Метод, использующий языковые игры, которые мы здесь рассмотрели, скромно ссылается на это течение мысли.
