Міркування, форма якого - логічний закон, називається правильним. Відхилення від вимог логічних законів тягне за собою порушення правильності мислення.
Правильність зазвичай відрізняють від істинності мислення. Поняття істинності характеризує мислення в його ставленні до дійсності: думка істинна. якщо вона відповідає дійсності. Правильність характеризує думка з точки зору внутрішнього зв'язку між її елементами. Різниця між правильністю і істинністю чітко проявляється в тих випадках, коли правильні міркування призводять до помилкових висновків. Це можливо тоді, коли вихідні дані є неправдивими. Так з помилкового висловлювання «Кажани - птиці» з повним правом виходить твердження «Деякі з птахів - кажани», яке також є хибним.
Дотримання правильності при істинності вихідних даних завжди веде до істинним результатами. У зв'язку з цим перед нами відкриваються можливості до опосередкованого, без звернення до досвіду, пізнання дійсності за рахунок розширення наших знань на основі застосування логічних законів.
Однак між істинністю і правильністю немає непрохідною межі. Правильність є особливого роду істинність. Логічні зв'язки не відірвані від зовнішнього світу, вони знаходяться в глибокому відповідно до його природою, відображаючи найбільш прості і загальні відносини в ньому. Саме тому логічні закони визначаються за допомогою поняття істинності і самі називаються логічними істинами.
Пізнавальні помилки, пов'язані з неправильним поданням про дійсний стан справ, називаються змістовними. Змістовна помилка може бути результатом помилки, т. Е. Невідповідного, ненавмисного відображення предметів і явищ в свідомості людини, або продуктом брехні, дезінформації як цілеспрямованої дії.
Помилки, пов'язані з порушеннями правильності мислення, називаються формальними. або логічними. Вони діляться на паралогізми і софізми.
Паралогізм - це ненавмисна логічна помилка. Вона, як правило, є продуктом невисокої логічної культури людини. Софізм - навмисне порушення вимог логіки, прийом інтелектуального шахрайства, пов'язаний зі спробою видати неправду за істину.
Спочатку софістами в Давній Греції називали людей, які досягли досконалості в якійсь галузі: ремеслі, музиці і т.д. Потім слово поступово набуває іншого значення: їм називають філософів-професіоналів, вчителів мудрості і красномовства, а пізніше воно набуло загальне значення по відношенню до людей, процвітаючим в прийомах вводити слухачів в оману.
«Те, чого ти не втратив, ти маєш. Ти не втратив рогів. Отже, ти рогатий ».
«Ця статуя - художній твір. Але вона твоя. Значить, вона є твоє художнього твір ».
«Злодій не бажає придбати нічого поганого. Придбання хорошого є справа хороша. Отже, злодій бажає гарного ».
«Чи знаєш ти цього прихованого людини? Ні. Це твій батько. Отже, ти не знаєш свого батька ».
«- Скажи-ка, чи є у тебе собака?
- А чи є у неї щенята?
- А їх батько, звичайно ж, собака?
- Я навіть бачив, як він займався з самкою.
- І цей батько теж твій?
- Значить, ти стверджуєш, що твій батько - собака і ти брат щенят ».
Отже, предметом формальної логіки є логічні форми. Серед цих форм особливе місце належить логічним законам.