Ассоциация символической логики
- Ассоциация символической логики
-
крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент А. с. л.), А. Чёрча, Х. Кёрри, К. Льюиса и др. Её цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом А. с. л. может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. На начало 1969 имелось 48 институциональных и 1568 индивидуальных (из них 406 иностранных, включая представителей СССР) членов А. с. л. Официальный орган А. с. л. — «Journal of Symbolic Logic», выходящий ежеквартально С 1936.
И. С. Добронравов.
Большая советская энциклопедия. — М.: Советская энциклопедия.
1969—1978.
Смотреть что такое "Ассоциация символической логики" в других словарях:
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Философские общества и организации — Первые формы философских организаций – философские школы в древней Греции (Ликей, Академия Платоновская) и философские факультеты средневековых университетов. В эпоху Возрождения из различных кружков гуманистов формировались академии… … Большая советская энциклопедия
логика символическая — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
теоретическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
МЫШЛЕНИЕ — направленный процесс переработки информации в когнитивной системе живых существ. М. реализуется в актах манипулирования (оперирования) внутренними ментальными репрезентациями, подчиняющимися определенной стратегии и приводящими к возникновению… … Философская энциклопедия
Грузинская Советская Социалистическая республика — (Сакартвелос Сабчота Социалистури Республика) Грузия (Сакартвело). I. Общие сведения Грузинская ССР образована 25 февраля 1921. С 12 марта 1922 по 5 декабря 1936 входила в состав Закавказской федерации (См. Закавказская… … Большая советская энциклопедия
АМЕРИКАНСКАЯ ФИЛОСОФИЯ — филос. мысль в США. Особенность А.ф. в том, что хотя она развивалась под сильным влиянием идей и концепций, проникавших из Европы, последние обретали здесь новый смысл и звучание. Первые проявления филос. активности в США датируются 17 в., что… … Философская энциклопедия
Франция — (France) Французская Республика (République Française). I. Общие сведения Ф. государство в Западной Европе. На С. территория Ф. омывается Северным морем, проливами Па де Кале и Ла Манш, на З. Бискайским заливом… … Большая советская энциклопедия