News

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness ...
Recent research in other areas such as computer science, linguistics, and cognitive science has also been inspired by logic, and the current membership and activities of the Association reflects such ...