Ассоциация символической логики (англ. Association for symbolic logic), крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент Ассоциация символической логики), А. Чёрча, Х. Кёрри, К. Льюиса и др. Её цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом Ассоциация символической логики может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. На начало 1969 имелось 48 институциональных и 1568 индивидуальных (из них 406 иностранных, включая представителей СССР) членов Ассоциация символической логики Официальный орган Ассоциация символической логики — «Journal of Symbolic Logic», выходящий ежеквартально С 1936.
И. С. Добронравов.
Так же Вы можете узнать о...
Печорский угольный бассейн, вторая (после Донбасса) крупная база коксующихся углей в Европейской части СССР. Сцинтилляция (от лат. scintillatio — мерцание), кратковременная (~10–4—10–9 сек) световая вспышка (вспышка люминесценции), возникающая в сцинтилляторах под действием ионизирующих излучений. Эстонский язык, язык эстонцев, живущих в Эстонской ССР, Ленинградской, Псковской, Омской и других областях РСФСР, Латвийской ССР, Украинской ССР, Абхазской АССР, а также в Швеции, США и Канаде. Вынгапур, река в Ямало-Ненецком национальном округе Тюменской области РСФСР, правый приток р. Карнак (комплекс храмов в Египте) Карнак (древне-егип. — Ипет-Исут), комплекс храмов (20 в. Московский театр имени Вл. Маяковского, создан в 1943 в результате слияния Театра Революции (основан в 1922) и Московского театра драмы. Рос
, наименование восточнославянских племён, которое встречается у византийских и арабских авторов. Фонотека (от греч. phone – звук и theke – хранилище), организованное в определённой системе собрание звукозаписей (музыкальных, литературных, документальных, специальных учебных и др. Барабинская степь, лесостепная равнина в южной части Западной Сибири, на Обь-Иртышском водоразделе, в пределах Новосибирской и Омской области РСФСР. Диктофон (от лат. dicto — диктую и ...фон), аппарат для звукозаписи речи с целью последующей диктовки и записи текста речи от руки на бумаге. Лаборатория (позднелат. laboratorium, от лат. Пастбища, земельные угодья, покрытые растительностью, используемой животными в виде подножного корма.