Ресурс как проблема логики

Понятие ресурса (от франц. «ressources» – средства, запасы, возможности, источники чего-либо) является общенаучным понятием и в таковом качестве широко используется в технических, естественных и гуманитарных науках, в политической, экономической, военных сферах, в медицине, образовании и т.д.. Так принято говорить о природных и экономических ресурсах страны, о жизненном ресурсе организма и о творческих ресурсах личности или коллектива, о финансовых ресурсах государства и о ресурсе политического доверия. Пожалуй, сложно указать такую область человеческой деятельности, в которой так или иначе не было бы задействовано понятие ресурса. Особенно активно понятием ресурса пользуются в информатике и вычислительной технике, в проектировании компьютерных сетей и СУБД. Специалисты по компьютерным наукам и программированию различают физические ресурсы (реализованные в виде конкретных физических объектов элементы вычислительных систем) и логические ресурсы (структурные-логические компоненты программ и вычислительных систем, обеспечивающие доступ к иерархически организованным блокам информации и порядок манипулирования ими). Возможность различать предметно-содержательные и собственно логические аспекты ресурсов позволяет успешно проектировать и моделировать разнообразные системы ресурсопотребления, не прибегая при этом к серьёзным материальным затратам, неизбежно сопутствующим всякое эмпирическое исследование. Первостепенная роль логики в таком моделировании очевидна. 

Вместе с тем, в силу известных исторических причин на протяжении многих столетий европейская формальная логика рассматривалась как наука по преимуществу нормативная, изучающая не столько те действительные формы, в которых разворачивается человеческое мышление, сколько вырабатывающая требования, нормы и предписания, которым должно соответствовать мышление, ориентированное на познание истины. В этом заключается одна из причин того, что в течение долгого времени в логике обходились без использования понятия ресурса. Исследуя законы и формы абстрактного мышления, оперируя в своей работе идеальными объектами, логики вслед за философами смотрели на мир sub specie aeternitatis, не будучи озабоченными нехваткой ресурсов для нужд своих теоретических построений. Понятие ресурса оставалось вне сферы интересов логики.

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

Последовавшее за оригинальной работой Ж.-И. Жирара [1] развитие так называемых ресурсных логик (resource-sensitive logics) породило обширную литературу, в которой даётся описание логических систем, предназначенных для учёта и калькуляции ресурсов различного рода. Самой известной из таких теорий является, несомненно, линейная логика.

Линейная логика изначально позиционировалась её создателями как логическая модель для процессов, развёртывание которых предполагает потребление ресурсов. Будучи изначально задуманной как логический инструмент для учёта и калькуляции ресурсов как объектов особого рода, линейная логика оказала косвенное влияние на переосмысления широкого класса современных логик, которые в некоторых своих аспектах тоже обнаружили способность к логическому анализу ресурсных систем. Среди таких логик следует упомянуть, прежде всего, релевантную логику.