Проблема істинності та формально-логічної правильності мислення.

Поняття істинності характеризує думки, передусім судження, а поняття правильності — зв'язки між думками у формі міркувань.

Міркування — зіставлення думок, пов'язування їх задля відповідних висновків.

Істинними є думки, які в принципі, загалом, відповідають дійсності за своїм змістом. У формальній логіці абстрагуються від проблеми відносності істини й розглядають думки як такі, за якими закріплене одне і лише одне логічне значення — або істина, або хиба.

Правильне міркування — міркування, в якому одні думки (висновки) з необхідністю випливають з інших думок (засновків).

Прикладом правильного міркування може бути такий умовивід: «Кожен громадянин України повинен визнати її Конституцію. Всі народні депутати України — громадяни України. Отже, кожен з них повинен визнати Конституцію своєї держави», а прикладом істинної думки — судження: «Є громадяни України, які не визнають принаймні деяких статей Конституції своєї держави».

Неправильним треба вважати таке міркування: «Оскільки економічна криза в Україні явно дає про себе знати після проголошення її самостійності, то остання і є причиною цієї кризи». Логічну помилку такого типу називають «після цього — внаслідок цього». Вона полягає в тому, що часову послідовність подій у подібних випадках ототожнюють із причинною. Прикладом неістинної думки може бути будь-яке положення, яке не відповідає дійсності, скажімо, твердження, ніби української нації взагалі не існує.

Метою пізнання є одержання істинних знань. Для того щоб одержати такі знання за допомогою міркувань, треба, по-перше, мати істинні засновки, а по-друге, правильно їх поєднувати, міркувати за законами логіки. При використанні хибних засновків припускаються фактичних помилок, а при порушенні законів логіки, правил побудови міркувань роблять логічні помилки. Фактичних помилок, певна річ, треба уникати, що не завжди вдається. Що ж до логічних, то людина високої інтелектуальної культури може уникнути цих помилок, оскільки давно вже сформульовано основні закони логічно правильного мислення, правила побудови міркувань і навіть осмислено типові помилки в міркуваннях.

Логіка вчить правильно міркувати, не припускатися логічних помилок, відрізняти правильні міркування від неправильних. Вона класифікує правильні міркування з метою їх системного осмислення. В цьому контексті може виникнути запитання: оскільки міркувань безліч, то чи можна, висловлюючись словами Козьми Пруткова, охопити безмежне? Так, можна, оскільки логіка вчить міркувати, орієнтуючись не на конкретний зміст думок, які входять до складу міркування, а на схему, структуру міркування, форму поєднання цих думок. Скажімо, форма міркування типу «Кожен х є у, а даний z є х; отже, даний z є у» правильна, і знання її правильності містить у собі значно багатшу інформацію, ніж знання правильності окремого змістовного міркування аналогічної форми. А форма міркування за схемою «Кожен х є у, a z теж є у; отже, z є х» належить до неправильних. Як граматика вивчає форми слів та їх поєднань у реченні, абстрагуючись від конкретного змісту мовних виразів, так і логіка досліджує форми думок та їх поєднань, відволікаючись від конкретного змісту цих думок.

Щоб виявити форму думки чи міркування, їх необхідно формалізувати, тобто замінити всі терміни символами, а всі судження та їх поєднання відповідними послідовностями символів.