Думки виразність у слові (символі, знаку). Мислення, будучи ідеальним, проявляється в мові, мови, діяльності. Немає мови поза мислення, немає мислення без мови. Під мовою розуміють не тільки природний, але штучна мова графічних, звукових, тактильних символів, знаків, сигналів, ієрогліфів. Думка як властивість особливим чином організованої матерії, неможливо відокремити від породила її матерії. Ми передаємо на відстань не думки самі по собі, а сигнали про думках (у вигляді слів, звукових, електромагнітних коливань), ці сигнали, сприйняті іншими людьми, можуть перетворюватися в відповідні вихідним думки (якщо сигнали в процесі передачі були спотворені).
Мислення невідривно від мови. Мислення і мова історично і генетично формувалися в зв'язку один з одним, зберігаючи відносну самостійність, якісну відмінність. Мислення ідеально, будь-яка знаково-сигнальна система матеріальна. Мислення і мова мають крім загальних, різними властивостями. Думка виразність у мові, в знаковій системі, але не всякий знак, символ, не всяке мовне вираження осмислено.
Форма думки має мовне вираження. Мова - матеріальне утворення, система, що дозволяє висловлювати, зберігати, передавати, перетворювати думки. Мислення (думка)-ідеальна система. Елементи мови. літери (знаки) поєднання букв, слова, словосполучення пропозиції. Елементи мислення. форми думки (поняття, судження, умовиводи). Мова логіки. слова, терміни, знаки (символи). У логіці «термін» - синонім «поняття».
Символіка традиційної формальної логіки:
- система знаків (символів) в логіці для позначення термів, предикатів, висловлювань, логічних функцій, відносин між висловлюваннями. У різних логічних системах можуть використовуватися різні системи позначень. Символи в літературі за логікою:
S - суб'єкт судження. предмет думки (логічне підмет), на що спрямований розум; будь-яке поняття, що відбиває реальний, уявний, матеріал, ідеальний предмет.
P - предикат судження - будь-яка ознака предмета думки (логічний присудок).
М - середній термін умовиводи, загальне дли вихідних суджень поняття.
«Є» - «не їсти» (суть - не має) - логічна зв'язка між суб'єктом і предикатом судження, що виражається іноді простим тире між «S» і «Р».
R - символ будь-якого відношення.
А (а) - общеутвердітельное судження: все S є Р (всі студенти - учні).
Е (е) - общеотріцательное судження: жодне S не є Р (жоден студент групи не спортсмен, і всі студенти групи не спортсмени).
I (i) - частноутвердительное: деякі S є Р (деякі студенти відмінники).
О (о) - частноотрицательное судження: S не є Р (деякі студенти не відмінники)
«Не» - негативна частка, може бути виражена і рисою над знаком: В, С.
початкові літери латинського алфавіту використовуються для позначення індивідуальних константних виразів, термів;