19 ноября 1924, Харьков — 7 декабря 1994, Санкт-Петербург) — русский логик, специалист в области методологических проблем научного знания. Окончил философский факультет Ленинградского университета (1948), где на кафедре логики работал с 1954 по 1994. В 1974 защитил докторскую диссертацию: «Философские и логические аспекты отрицательных высказываний», профессор (1981). Стоял у истоков становления символической логики в России. Его научные труды посвящены проблемам паранепротиворечивой логики и понимания смысла отрицательных высказываний в структуре мыслительной деятельности; созданию модальных исчислений выполнимых, отбрасываемых и невыполнимых формул; построению логических исчислений с модальным оператором «правдоподобно»; представлению силлогистики в форме относительных модальностей; Исследованию процедуры индексации формул при построении логического вывода и выработке критериев логической релевантности; изучению формально-логических приемов восстановления энтимемы и др. Большую ценность имеют его статьи по теории аргументации, научного и технического творчества, а также учебные пособия по логике. Бродский по праву считается одним из основателей современной петербургской логической школы.
Соч.: Причинность и информация.—«Вестник ЛГУ», 1962, № 17; Элементарное введение в символическую логику. Л., 1972 (2-е изд.); Дедуктивные умозаключения (в соавт. с Серебрянниковым О. Ф.). Л-, 1969; Об одном варианте исчисления отбрасываемых формул.— Неклассическая логика. М., 1970; О путях развития теоретического знания.—«Философские науки», 1971, № 6; Исчисление выполнимых формул.—Вопросы диалектики и логики. Л., 1971; Отрицательные высказывания. Л., 1973; Формальная система с неточными предикатами.—Теория логического вывода, ч. 1. M., 1979; Модальные исчисления с обратимыми правилами вывода.— «ВестникЛГУ», 1980, № 11; Технические знания и конструктивные процессы.—Творческая природа научного познания. М., 1984; Самоорганизация и развитие науки.—Самоорганизация в природе и обществе. Л., 1989; О проблемах современной логики.— «Вестник ЛГУ», 1991, сер. 6, вып. 1; Исчисление с модальным оператором «правдоподобно».—Логика и развитие научного знания. Л., 1991; Индексация формул и поиск вывода.—«Вестник СПбГу», 1992, сер. 6, вып. 4; Восстановление энтимемы в исчислении предикатов.—Современная логика: проблемы истории, теории и применения в науке, ч. 1. СПб., 1994, и др.
Б. И. Федоров