ИСТИНА

На наш взгляд дисциплинарное единство символической логики (СЛ) опирается, в первую очередь, не на единый предмет исследования (о нем существуют разные, противоречащие мнения), не на единую проблематику, а на общий "математический" аппарат, что и зафиксировано в названии "символическая" (или "математическая") логика. Именно единый математический аппарат задает единство образцов (классических авторов и работ), наличие сквозных проблем и задач, и даже предметное единство, поскольку именно математический аппарат СЛ становится основным предметом ее исследования. И только на этой основе происходит обращение к традиционным формально-логическим темам, проблемам, разработкам. Необходимо различать историю СЛ как уже возникшей дисциплины и историю становления СЛ, те культурные процессы, которые привели к ее появлению. Ключевым моментом для обоих этапов стало появление языка логики предикатов (ЛП). С одной стороны, с этого периода можно рассматривать уже становление и историю собственно СЛ как определенной научной дисциплины. Эту тему мы рассматривать не будем. С другой стороны, формирование языка ЛП стало процессом, условием sine qua non для возникновения СЛ. Наш основной тезис: возникновение языка ЛП явилось закономерным итогом процесса алгебраизации арифметики (рассматриваемом в семиотическом, а не знаниевом аспекте). Здесь можно выделить следующие исторические этапы. 1) Позднеантичная арифметика, связанная с деятельностью александрийских математиков (ключевой момент - переход в работах Диофанта от риторической к синкопической алгебре). 2) Арабская математика, развитие т.н. "арабской алгебры". 3) Европейская математика Нового времени, процесс становления символической алгебры. Этот процесс заканчивается где-то в XIX в., одновременно с появлением первых вариантов ЛП. Эти факты обычно никак не связываются, но, на наш взгляд, являются звеньями единого семиотического процесса. В выступлении этот подход уточняется и представляются аргументы в его пользу.