Логика Галена: наследие Аристотеля или научная инновация?

История медицины. 2015. Т. 2. № 1. С. 10–16.

Васюков В. Л.

Анализируется логическое наследие Галена и выделяются аспекты, теснее всего связанные с его медицинской практикой. В этом отношении наибольший интерес представляют его воззрения на гипотетическую логику, особенно с точки зрения его лозунга «руководствоваться вещами (положениями дел), а не словами». Гален считает, что имеется три разновидности отношений между парами положений дел: они могут находиться в конфликте, быть следствием друг друга, или ни в одном из отношений. Эту галеновскую классификацию отношений между положениями дел можно представить в виде своеобразного онтологического квадрата: Выявляются следы галеновских концепций в современной логике, в частности в системах нефрегевской и релевантной логик, обладающих ситуационной семантикой. Так, в рамках нефрегевской логики из «Q ситуационно влечет P» получаем справедливость «если P, то Q» (но не наоборот), что соответствует лозунгу Галена. Несколько иная, более сложно устроенная ситуационная семантика релевантной логики, также обнаруживает следы галеновской логической установки. Подобная семантика позволяет учесть близость релевантной импликации к условным высказываниям естественного языка (кондиционалам), а в галеновских рассуждениях мы чаще всего имеем именно с кондиционалами, которые лучше всего описывают ситуации, возникающие в процессе диагностики заболевания в силу своей гипотетичности. В какой-то мере семантика подобных кондициональных описаний могла бы быть использована в компьютерной диагностике. В этом случае современный врач неизбежно должен был бы быть также и логиком, как и во времена Галена.

Ключевые слова: доказательство, гипотетическая логика, положения дел, современная логика, ситуационная семантика

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА: Динамический поворот в логической семантике (2015)