Сидоренко Евгений Александрович
Биография
Сидоренко Евгений Александрович (родился 2 октября 1940 года в г. Балашиха) специалист в области логики; доктор философских наук (1985), профессор (1989). После окончания механического отделения Новочеркасского геологоразведочного техникума (1960) работал в Северной Осетии и Карачаево-Черкесии. Окончил (1968) философский факультет МГУ имени М. В. Ломоносова.
С 1968 г. по настоящее время работает в Институте философии РАН. В 1987-1989 гг. возглавлял сектор логики научного познания. С 1998 г. главный научный сотрудник. Профессор кафедры логики Московского государственного лингвистического университета. Опубликовал две монографии и свыше 100 научных статей (около 30 из них в зарубежных изданиях). Докторская диссертация "Релевантная логика" (1985).
Основные научные результаты Сидоренко - в области анализа, экспликации и формализации естественных рассуждений. Одним из первых в стране начал изучение и разработку логических теорий (названных впоследствии релевантными), свободных от парадоксов импликации.
Сидоренко принадлежит идея построения двухуровневых семантик возможных миров. Введение в реляционные семантики крипкевского типа второго уровня принципиально исключает сведение теоретических предложений к эмпирическим. Необходимые истины, включая логические, оказываются либо постулированными, либо следствиями уже имеющихся постулатов. Это приводит к переосмыслению лейбницевского понимания необходимых утверждений как истинных во всех возможных мирах, т.к. само отнесение мира к "возможному" или "невозможному" на самом деле всегда конвенционально. По этой причине Сидоренко относит семантики возможных миров, предлагаемого типа, к семантикам не лейбницевского, а юмовского типа. По мнению Сидоренко, П.Флоренский в работе "Столп и утверждение истины", отстаивая совместимость противоречивости Святого писания с божественным его происхождением, предвосхитил ряд идей, разрабатываемых ныне в рамках так называемых паранепротиворечивых и немонотонных логик.
В последнее время интересы Сидоренко сосредоточены в основном на двух проблемах. Первая связана с нахождением универсальной формулировки теоремы дедукции, т.е. представления этой известной теоремы в такой форме, чтобы она была адекватна любому классическому и неклассическому логическому исчислению.
Вторая проблема - эпистемологическая и связана с задачей представления возможных миров как моделей познания. При этом в качестве субъектов познания (дознавателей), формирующих возможные миры, может выступать отдельный индивид, коллектив исследователей, научное сообщество, человечество. Трактовка объективности истины как соответствия онтологическому миру требует переосмысления, т.к. на такое соответствие претендует любой познаватель, а верификация высказываний осуществима только в возможных мирах, отображающих всегда то, что считает истинным сам познаватель.