AZ-libr.ру

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

Литература и другие источники информации