Биография Сидоренко Евгений Александрович

(р. 02.10.1940) — спец. в обл. логики; д-р филос. наук, проф. Род. в г. Балашиха Моск. обл. Окончил Новочеркасский геолого-разведочный техникум (1960), филос. ф-т МГУ (1968). С 1968 по наст. вр. работает в ИФ РАН. С 1986 — вед. н. с, с 1999 — гл. н. с, в 1987-1989 возглавлял сектор логики науч. познания.
Проф. кафедры логики Моск. гос. лингвистич. ун-та. Докт. дисс. — «Релевантная логика» (1985). Осн. науч. результаты С. — в обл. анализа, экспликации и формализации ес-теств. рассуждений.
Одним из первых в стране начал изучение и разработку логич. теорий (названных впоследствии релевантными), свободных от парадоксов импликации.
С. принадлежит идея построения двухуровневых семантик возможных миров. Введение в реляционные семантики крипкевского типа второго уровня принципиально исключает сведение теор. предложений к эмпирич.
Необходимые истины, включая логич., оказываются либо постулированными, либо следствиями уже имеющихся постулатов.
Это приводит к переосмыслению лейбницевского понимания необходимых утверждений как истинных во всех возможных мирах, т. к. само отнесение мира к «возможному» или «невозможному» на самом деле всегда конвенционально.
По этой причине С. относит семантики возможных миров, предлагаемого типа, к семан-тикам не лейбницевского, а юмовского типа. По мнению С., П. Флоренский в работе «Столп и утверждение истины», отстаивая совместимость противоречивости Святого писания с божественным его происхождением, предвосхитил ряд идей, разрабатываемых ныне в рамках так называемых паранепротиворечивых и немонотонных логик. В посл. вр. интересы С. сосредоточены в осн. на двух проблемах.
Первая связана с нахождением универсальной формулировки теоремы дедукции, т. е. представления этой известной теоремы в такой форме, чтобы она была адекватна любому класс. и некласс. логич. исчислению.
Вторая проблема — эпистемологич. и связана с задачей представления возможных миров как моделей познания.
При этом в качестве субъектов познания (познавателей), формирующих возможные миры, может выступать отдельный индивид, коллектив исследователей, науч. сооб-во, человечество.
Трактовка объективности истины как соответствия онтол. миру требует переосмысления, т. к. на такое соответствие претендует любой познаватель, а верификация высказываний осуществима только в возможных мирах, отображающих всегда то, что считает истинным сам познаватель.
Соч.: Некоторые варианты систем логического следования — Неклассическая логика.
М., 1970; Пропозициональное исчисление с условной дизъюнкцией — Методы логического анализа.
М., 1977; Логическое следование и условные высказывания.
М., 1983; Принцип непротиворечия и парадоксальность формализованных теорий — ВФ. 1983. № 6; Логические выводы, доказательства и теория дедукции — Логика научного познания.
М., 1987; Каждой арфе слух вверяй — Коммунист. 1991. № 3; Реляционная семантика релевантных исчислений — Логические исследования.
Вып.3. М., 1995; Семантика возможных миров: от лейбницевской к юмовской — Там же; Логистика и теодицея (Идеи немонотонной и паранепротиворечивой логики у П. Флоренского) — ВФ. № 5. 1997; Возможные миры как модели познания — Первый российский философский конгресс.
Т.3. СПб., 1997; Нормализованные выводы и обобщение теоремы дедукции — Логические исследования, М., 1998. Вып.5; Универсальная теорема дедукции — Логические исследования.
Вып.7. М., 2000; Релевантная логика.
М., 2000.

(1 оценок, среднее: 5,00 из 5)

дмитрий ленский