К проблеме становления символической логики On the Problem of Symbolic Logic Genesis
Шиян Т.А.
Логический портал Theo.ru, г. Москва E-mail: taras_a_shiyan@mail.ru
На наш взгляд дисциплинарное единство символической логики (СЛ) опирается, в первую очередь, не на единый предмет исследования (о нем существуют разные, противоречащие мнения), не на единую проблематику, а на общий «математический» аппарат, что и зафиксировано в названии «символическая» (или «математическая») логика.
Именно единый математический аппарат задает единство образцов (классических авторов и работ), наличие сквозных проблем и задач, и даже предметное единство, поскольку именно математический аппарат СЛ становится основным предметом ее исследования. И только на этой основе происходит обращение к традиционным формально-логическим темам, проблемам, разработкам.Необходимо различать историю СЛ как уже возникшей дисциплины и историю становления СЛ, те культурные процессы, которые привели к ее появлению. Ключевым моментом для обоих этапов стало появление языка логики предикатов (ЛП). С одной стороны, с этого периода можно рассматривать уже становление и историю собственно СЛ как определенной научной дисциплины. Эту тему мы рассматривать не будем. С другой стороны, формирование языка ЛП стало процессом, условием sine qua non для возникновения СЛ.
Наш основной тезис: возникновение языка ЛП явилось закономерным итогом процесса алгебраизации арифметики (рассматриваемом в семиотическом, а не знаниевом аспекте). Здесь можно выделить следующие исторические этапы. 1) Позднеантичная арифметика, связанная с деятельностью александрийских математиков (ключевой момент - переход в работах Диофанта от риторической к синкопической алгебре). 2) Арабская математика, развитие т.н. «арабской алгебры». 3) Европейская математика Нового времени, процесс становления символической алгебры. Этот процесс заканчивается где-то в XIX в., одновременно с появлением первых вариантов ЛП. Эти факты обычно никак не связываются, но, на наш взгляд, являются звеньями единого семиотического процесса.