Mantıksal dizimbilimin amacı, işaretlerden oluşan bir dizge oluşturarak mantıksal çözümlemenin sonuçlarını bir muğlaklığa yol açmaksızın tam olarak ifade edebilmektir.
Carnap’a göre bu başarılabilirse felsefe, bilimin cümlelerinin ve kavramlarının mantıksal olarak çözümlenmesine dönüşebilecektir. Felsefe bilimin mantığı olacaktır. Bu, Leibniz’in kurduğu characteristica universalis rüyasının gerçekleşmiş halidir.