Логіка (грец. Logos - розум, мислення, мова, слово) наука про правильне мислення в його мовній формі (психологія також має означати мислення, але його правильність - необов'язкова умова).
Давньогрецький філософ Аристотель (IV століття до н.е.) вважав, що в основі граматики лежить логіка. Недарма у стародавніх греків слово logos означало одночасно слово, мислення, розум і мова.
В основі логіки лежить судження, тобто форма мислення, в якій щось стверджується або заперечується. Судження складається із суб'єкта S (предмета судження), предиката Р (властивості або відносини), зв'язки (є) і кванторів (все А і деякі Е). Суб'єкт є те, про що щось висловлюється, а предикат - то, що висловлюється про суб'єкта, причому S одиничне, а Р - загальне.
Згідно граматиці Пор-Рояля судження збігається з пропозицією. Наприклад, в основі пропозиції «Людина біжить» лежить судження: Людина (предикат) є (зв'язка) біжить (атрибут, тобто предикат). Отже, в мові все повинно бути підпорядковано логіці.
Залишки подібних поглядів позначаються і на сучасній граматичної термінології багатьох західноєвропейських мов (напр. Для слів, що позначають підмет і присудок, застосовуються логічні терміни суб'єкт (анг. Subject, ньому. Subjekt, фр. Sujet) і предикат (анг. Predicate, ньому. Prädikat, фр. prédicat).
- питальні речення не виражають судження;
- мислення людини не строго логічне. У ньому відбиваються людські емоції, бажання, характер людини. Логіка прагне звільнити мову від емоцій, а мова їхня включає (вигуки, модальність і т.д.);
- мова допускає наявність парадоксів, а логіка бореться з ними. Не завжди людина мислить логічно, хоча і буває в ряді випадків прав. Французький психолог Жан Піаже недарма стверджував, що можна бути розумним, але нелогічним. Логіка - простіше, ніж мова, мова складніше, так як він відображає життя у всій її різноманітності.