<<
>>

К проблеме становления символической логики On the Problem of Symbolic Logic Genesis

Шиян Т.А.

Логический портал Theo.ru, г. Москва E-mail: taras_a_shiyan@mail.ru

На наш взгляд дисциплинарное единство символической логики (СЛ) опирается, в первую очередь, не на единый предмет исследования (о нем существуют разные, противоре­чащие мнения), не на единую проблематику, а на общий «математический» аппарат, что и зафиксировано в названии «символическая» (или «математическая») логика.

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

Необходимо различать историю СЛ как уже возникшей дисциплины и историю станов­ления СЛ, те культурные процессы, которые привели к ее появлению. Ключевым моментом для обоих этапов стало появление языка логики предикатов (ЛП). С одной стороны, с этого периода можно рассматривать уже становление и историю собственно СЛ как определенной научной дисциплины. Эту тему мы рассматривать не будем. С другой стороны, формирова­ние языка ЛП стало процессом, условием sine qua non для возникновения СЛ.

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

<< | >>
Источник: Философия в современном мире: диалог мировоззрений: Материалы VI Российского философского конгресса (Нижний Новгород, 27-30 июня 2012 г.). В 3 томах. Т. I. — Н. Новгород: Изд-во Нижегородского госуниверситета им. Н.И. Лобачевского,2012. — 565 с.. 2012

Еще по теме К проблеме становления символической логики On the Problem of Symbolic Logic Genesis:

  1. К проблеме становления символической логики On the Problem of Symbolic Logic Genesis