Что такое - Ассоциация символической логики

Что такое Ассоциация символической логики

Определение «Ассоциация символической логики» по БСЭ

Ассоциация символической логики (англ. Association for symbolic logic)
крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент А. с. л.), А. Чёрча, Х. Кёрри, К. Льюиса и др. Её цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом А. с. л. может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. На начало 1969 имелось 48 институциональных и 1568 индивидуальных (из них 406 иностранных, включая представителей СССР) членов А. с. л. Официальный орган А. с. л. — «Journal of Symbolic Logic», выходящий ежеквартально с 1936.
И. С. Добронравов.

РубрикиА