The main purpose of The Journal is to publish original scholarly work in symbolic logic. The Journal intends to represent the entire field of symbolic logic, which has become very broad, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.