СИДОРЕНКО Евгений Александрович

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