Большая биографическая энциклопедия - караваев эдуард федорович

(р. 28.03.1939) — логик и философ; д-р филос. наук, проф. Род. в Ленинграде. Окончил приборостроительный ф-т Ленингр. ин-та авиац. приборостроения (1962), асп. филос. ф-та ЛГУ (1971). В 1962—1967 работал проектировщиком счетно-решающих устройств и автоматов. С 1967 — преп. филос. и логики. Зав. кафедрой филос. в Ленингр. ин-те авиационного приборостроения (1980—1981), в Ленингр. электротехн. ин-те связи (1985— 1991). С 1991 — зав. кафедрой филос.; в наст. вр. — зав. кафедрой филос. науки и техники СПбГУ. Докт. дисс. — "Философские проблемы временной логики" (1988). Ведет иссл. в обл. временной логики и ее применений в методологии науч. познания. В работах К. выдвигается и обосновывается идея о том, что появление временной логики — закономерно и отражает методол. запросы науки, связанные с изучением проблемы времени, а также необходимость раскрытия временного аспекта принципа конкретности истины; при этом идеи и методы ма-тем. и физ. представления времени внедряются в логику с сохранением стандартов формализации (полнота и разрешимость исчислений). Предлагается аксиоматизация понятия одновременности, основанная на построении отношения временного предшествования из элементарного отношения между элементами древовидной структуры; строится система временной логики, в к-рой учитывается значительное количество содержательных характеристик времени. Критикуются попытки логич. обоснования фатализма, предлагается обоснование положений об особом значении временной логики для языков искусств, интеллекта и для языка связи с кос-мич. цивилизациями. Наряду с применением временной логики в посл. годы занимается основаниями деонтической логики и ее применениями в этике науки и техники. Показал целесообразность комбинирования средств временной и деонтической логики и дал обоснование невозможности избежать (моральных) дилемм и построить безупречный кодекс в принципе.

Соч.: Некоторые вопросы развития временной логики // ФН. 1970. № 1; Формализованные языки и взаимодействие человека и роботов // Научно-техническая революция и личность. Л., 1982; Временная логика как средство реализации логической функции категории времени // Логика и философские категории. Л., 1982; Основания временной логики. Л., 1983; Математика, логика и вычислительная техника как средства моделирования в социальном познании // Проблемы методологии социального познания. Л., 1985; Временная логика и описание процессов развития // Материалистическая диалектика и пути развития естествознания. Л., 1987; Проблемы семантики временной логики // Логика и теория познания. Л., 1990; Средства временной логики для представления процесса развития научного знания // Логика и развитие научного знания. СПб., 1992; Философия науки в Ленинграде-Петербурге во второй половине XX века // В. СПбГУ. Сер.6. 1999. Вып.3; Формализация — инструмент, разрабатываемый логикой для научного познания // В. СПбГУ. Сер.6. 2000. Вып.2.

Большая биографическая энциклопедия

2009