Формальный дедуктивный вывод эквивалентности истины и красоты в аксиоматической системе эпистемологии из допущения априорности знания (от Пифагора и Платона к Дж. Китсу, А. Пуанкаре, Г. Вейлю, В. Гейзенбергу и П. Дираку)
УДК 16+18+1(091)+111.83+111.85
Лобовиков В.О. Формальный дедуктивный вывод эквивалентности истины и красоты в аксиоматической системе эпистемологии из допущения априорности знания (от Пифагора и Платона к Дж. Китсу, А. Пуанкаре, Г. Вейлю, В. Гейзенбергу и П. Дираку) // Философия науки. 2019. № 1 (80). С. 70-84. DOI: 10.15372/PS20190104. РИНЦ список ВАК
Впервые в научной литературе по эстетике и логике взаимосвязь красоты и истины обсуждается на уровне искусственного языка аксиоматической системы универсальной философской эпистемологии, синтезирующей априоризм и эмпиризм. Также впервые конструируется и выносится на обсуждение формальный дедуктивный вывод логической эквивалентности истинности и красоты (а также красоты и доказуемости) в системе априорного знания.
For the first time in scientific literature on aesthetics and logic, the interconnection of beauty and truth is discussed at the level of artificial language of an axiomatic system of universal philosophical epistemology synthesizing aprioriism and empiricism. Also for the first time, the author constructs and proposes for discussion a formal deductive derivation of logic equivalence of truth and beauty (and that of beauty and provability as well) in an apriori knowledge system.
