Главная > База знаний > Большая советская энциклопедия > АССОЦИАЦИЯ СИМВОЛИЧЕСКОЙ ЛОГИКИ

АССОЦИАЦИЯ СИМВОЛИЧЕСКОЙ ЛОГИКИ

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

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я