Існують наступні виміри мови логіки:
-семантика (той що позначає) – вивчає смисловий бік виразів штучної мови, правила переносу абстрактних символів на звичайну мову, а також зміну значень символів; ф-ії семантики: інтерпретація символів – тлумачення; становлення відповідності вихідних положень формалізованої системи (логіки) смисловій системі;
-синтаксис (зіставлення, побудова, порядок) – вивчає алфавіт формальної системи, правила утворення формул (представлення відношень, що існують між об'єктами за допомогою знаків), правила перетворення (отримання з одних висловів інших шляхом певних логічних операцій);
-прагматика (діловий, обізнаний, практичний) – досліджує сприйняття усвідомлених виразів знакової системи у відповідності з можливостями того хто сприйняв її, аналізує комунікативні аспекти мови і практичне відношення носія мови до самої мови.
