Читать книгу Философия и цифровые технологии. Сборник статей - Александр Болдачев - Страница 8

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

В современной философии существует несколько конкурирующих теорий истинности: корреспондентская, авторитарная, прагматическая, конвенциональная, когерентная и некоторые другие, включая дефляционную, отрицающую саму необходимость понятия «истинность». Данную ситуацию трудно представить как разрешимую, могущую завершиться победой одной из теорий. Скорее, мы должны прийти к пониманию принципа релятивности истинности, который можно сформулировать так: истинность предложения может констатироваться только и исключительно в границах одной из множества более или менее замкнутых систем, которые в статье «Многомировая теория истинности» [4] я предложил называть логическими мирами. Для каждого из нас очевидно, что для утверждения истинности произнесенного нами предложения, констатирующего некое положение дел в персональной действительности, в собственной онтологии, не требуется отсылки к какой-либо теории истинности: предложение истинно просто по факту встроенности в нашу онтологию, в наш логический мир. Понятно, что существуют и надындивидуальные логические миры, обобщенные онтологии людей, объединенных той или иной деятельностью – научной, религиозной, художественной и пр. И очевидно, что в каждом из этих логических миров истинность предложений фиксируется особо – по способу включенности их в конкретную деятельность. Именно специфика деятельности внутри некоторой онтологии определяет набор методов фиксации и генерации истинных предложений: в одних мирах превалирует авторитарный метод (в религии), в других когерентный (в науке), в третьих конвенциональный (в этике, политике).

Итак, если мы не хотим ограничивать семантическую сеть описанием лишь некой одной сферы (скажем, физической реальности), то мы изначально должны исходить из того, что в ней не может быть одной логики, одного принципа истинности – сеть должна строиться на принципе равноправия пересекающихся, но принципиально не сводящихся друг к другу логических миров, отражающих множество всех мыслимых деятельностей.