Бродский

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