Логічна форма і логічний закон. Формальна правильність та істинність.
Мислення людини підпорядковане логічним законам. Введемо поняття: а) істинність думки; б) логічна правильність міркування.
Критерій істини - практика. Думка, відповідає дійсності, практиці - справжня. Думка є помилковою, якщо вона не відповідає дійсності.
Істинність думки за змістом - умова отримання вірних результатів в міркуваннях. Якщо в числі посилок умовиводи зустрічається помилкова посилка, то при дотриманні правил логіки ми в ув'язненні можемо отримати і істину, і брехня. Логічна правильність міркування - інше умова досягнення істинних висновків. Логічну правильність забезпечують закони мислення. При недотриманні правил логіки (якщо посилки при цьому істинні) ми також можемо отримати як справжнє, так і неправдивий висновок. Отже, з точки зору змісту мислення може давати істинне або помилкове відображення світу, а з боку форми воно може бути логічно правильним чи неправильним. Істинність є відповідність думки дійсності, а правильність мислення - дотримання законів і правил логіки.
Логічний закон - це істотні необхідні зв'язки між думками. Дотримання законів логіки - необхідна умова досягнення істини в процесі міркування. Основними формально-логічними законами зазвичай вважаються: 1) закон тотожності; 2) закон несуперечливий, 3) закон виключеного третього; 4) закон достатньої підстави. Ці закони (принципи) висловлюють визначеність, несуперечність, доказовість мислення.