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

(19.11.1924—07.12.1994) — спец. по логике; д-р филос. наук, проф. Род. в Харькове. Окончил филос. ф-т ЛГУ (1948). В том же году был принят в асп. по кафедре логики. Канд. дисс. — "Отражение диалектики общего и отдельного в понятии и суждении" (1952). С 1954 и до конца жизни работал на кафедре логики филос. ф-та ЛГУ (СПбГУ), сначала асс., затем доц. (с 1961) и проф. (с 1981). Докт. дисс — "Философские и логические аспекты проблемы отрицательных высказываний" (1974). Б. — один из создателей совр. петерб. (ленингр.) логической школы. Работал в обл. символической логики и филос. оснований логики и науч. познания. Иссл. вопрос о роли отрицания в логике и гносеологии. Создал оригинальную типологию отрицательных высказываний, предложил расширенную трактовку контрарного отрицания. Высказал идею о том, что денотатами собственных имен на логическом уровне являются не реальные, а мыслимые объекты. Если принять эту идею, то можно устранить парадоксальность суждений типа "Пегас не существует". Подчеркивая творч. характер науч.-техн. знания, Б. выдвинул положение о том, что человек вмешивается в естеств. ход событий как внешн. и дополнительная составляющая и, меняя направление течения природных процессов, добивается наступления маловероятных событий и локального понижения энтропии. Б. принадлежит ряд формальных разработок, посвященных построению модальных исчислении выполнимых, отбрасываемых и невыполнимых формул, представлению силлогистики в форме относительных модальностей, иссл. процедуры индексации формул в связи с построением логического вывода и выработкой критериев релевантности, созданию новых алгоритмов восстановления энтимем, построению исчислений с модальным оператором "правдоподобно". Б. является автором нескольких учебных пособий по символической логике.

Соч.: К вопросу о процессе образования понятий // Вопросы логики. Л., 1957; О природе отрицательных суждений // Вопросы логики. Вып.2. Л., 1959; Причинность и информация // В. ЛГУ. № 17. Л., 1963; Элементарное введение в символическую логику (1964, 1973); Логический позитивизм и проблемы смысла отрицательных высказываний // Вопросы теории познания и методологии научного исследования. Л., 1969; Дедуктивные умозаключения. [В соавт.]. Л., 1969; Об одном варианте исчисления отбрасываемых формул // Неклассическая логика. М., 1970; Логическое противоречие и научное знание // ФН. 1970. № 3; О путях развития теоретического знания // ФН. 1971. № 6.; Отрицательные высказывания. Л., 1973; Формальная система с неточными предикатами // Теория логического вывода. Ч.1. М., 1979; Модальные исчисления с обратимыми правилами вывода // В. ЛГУ. 1980. № 11; Исчисление невыводимых формул систем М, Br, S4, S5 // Модальные и интенсиональные логики. М., 1982; Технические знания и конструктивные процессы // Творческая природа научного познания. М., 1984; Обобщение силлогистики, представленной в форме относительных модальностей // Интенсиональные логики. Тбилиси, 1985; Индексация формул как процедура, эквивалентная построению вывода // Логика и системные методы анализа. М., 1986; Индексированные формулы и критерии релевантности // В. ЛГУ. Сер.6. Вып.1. Л., 1988; Восстановление энтимемы // В. ЛГУ. Сер.6. Вып.2. Л., 1989; Аристотелевская силлогистика и логика относительных модальностей // Логика Аристотеля. Тбилиси, 1989; Ассерторическая силлогистика Аристотеля, представленная в исчислении относительных модальностей // Современная логика: проблемы истории, теории и применения в науке. Ч.1. Л., 1990; Исчисления с модальным оператором "правдоподобно" // Логика и развитие научного знания. Л., 1991; Индексация формул и поиск вывода // В. СПбГУ. Сер.6. Вып.4. СПб., 1992; Восстановление энтимемы в исчислении предикатов // Современная логика: проблемы теории, истории и применения в науке. Ч.1. СПб.,

1994.

Я.А.Слинин, Б.И.Федоров

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

2009