Доклад Рамазана Аюпова «Анализ аналитичности в философии математики Хинтикки и теории типов Мартина-Лёфа»
17 июня прошло 123-е заседание теоретического семинара «Формальная философия».
Аннотация
Доклад посвящен вопросу о том, возможна ли такая трактовка аналитичности, которая не подпадает под действие критики, предложенной Уиллардом Куайном в статье «Две догмы эмпиризма». История аналитичности от Канта до наших дней может быть представлена как история изменения самого критерия аналитичности. Так, у Канта аналитичность связана с содержанием понятия и отношениями внутри суждения; у Фреге — с обоснованием; у Карнапа — с языковыми правилами; у Куайна — с критикой неразъяснённых понятий значения, синонимии и семантических правил; у Хинтикки — с множественностью форм анализа; у Мартина-Лёфа — с типом суждения; у Бентцена — с вычислительной семантикой интуиционистской теории типов.
Основной тезис доклада состоит в том, что вычислительный критерий аналитичности, предложенный Бруно Бентценом в рамках интуиционистской теории типов, может рассматриваться как самостоятельный смысл аналитичности, дополняющий типологию Хинтикки. Согласно этому критерию, суждение является аналитическим тогда, когда его корректность полностью устанавливается посредством вычисления входящих в него выражений и приведения их к каноническим формам. Такая трактовка аналитичности не опирается на неразъясненные понятия значения, синонимии или семантических правил, против которых была направлена критика Куайна, а потому позволяет иначе поставить вопрос о возможности проведения аналитико-синтетического различения.
Martin-Löf P. Analytic and Synthetic Judgements in Type Theory // Kant and Contemporary Epistemology / ed. by P. Parrini. The University of Western Ontario Series in Philosophy of Science. — Vol. 54. — Dordrecht: Springer, 1994. — P. 87–100.
Bentzen B. Analyticity and Syntheticity in Type Theory Revisited // Review of Symbolic Logic. — 2024. — Vol. 17, no. 4. — P. 1119–1145.
Hintikka J. An Analysis of Analyticity // Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. — Oxford: Clarendon Press, 1973. — P. 123–149.
