美国的国际性研究符号逻辑的学术团体。1936年成立，第一任主席是A．丘奇。会址设于罗得岛州普罗维登斯。协会的宗旨是组织对符号逻辑进行深入研究，并组织对符号逻辑有兴趣的数学家、哲学家和其他学者之间的学术思想交流。协会的年会通常在每年12月份举行，夏季会议在欧洲举行。协会的理事会由主席、副主席、秘书、司库和其他理事组成，下设澳大利西亚逻辑委员会、欧洲逻辑委员会、拉丁美洲逻辑委员会、会员资格审查委员会、奖励委员会、出版委员会等。会员有团体会员和个人会员，现有个人会员约1500人。协会的机关刊物是《符号逻辑杂志》。