Определенность - это свойство правильного мышления воспроизводить в структуре мысли реальные признаки и отношения самих предметов и явлений, их относительную устойчивость. Она находит свое выражение в точности и ясности мысли, отсутствии сбивчивости и путаницы в элементах мысли и самих мыслях.
Непротиворечивость — свойство правильного мышления избегать в структуре мысли противоречий, которых нет в отражаемой действительности. Оно проявляется в недопустимости логических противоречий в строгих рассуждениях.
Последовательность — свойство правильного мышления воспроизводить структурой мысли те структурные связи и отношения, которые присущи самой действительности, способность следовать «логике вещей и событий». Она обнаруживается в непротиворечивости мысли самой себе.
Обоснованность есть свойство правильного мышления отражать объективные причинно-следственные связи и отношения предметов и явлений окружающего мира. Оно проявляется в установлении истинности или ложности мысли на основе других мыслей, истинность которых установлена ранее.
Указанные существенные признаки правильного мышления не произвольны. Они представляют собой результат взаимодействия человека с внешним миром. Их нельзя ни отождествлять с коренными свойствами самой действительности, ни отрывать от них. Правильность мышления, отражая, прежде всего, объективные законы мира, возникает и существует стихийно, задолго до возникновения каких бы то ни было правил. Сами логические правила — это лишь вехи на пути постижения особенностей правильного мышления, действующих в них законов, которые неизмеримо богаче любого, пусть даже самого полного, свода таких правил. Но правила вырабатываются на основе этих законов именно для того, чтобы регулировать последующую мыслительную деятельность, обеспечивать ее правильность уже сознательно.
Таким образом, логическая правильность рассуждений обусловлена законами абстрактного мышления. Нарушение вытекающих из них требований ведет к логическим ошибкам. Закон мышления - это необходимая, существенная, устойчивая связь мыслей в процессе рассуждения. Данные законы одинаковы для всех людей, независимо от их социальной и национальной принадлежности. Логические законы действуют независимо от воли людей, не созданы по их желанию. Они являются отражением связей вещей объективного мира. При этом человек не просто включается в сферу действия определенного логического закона, не только пассивно подчиняется его регулирующему влиянию, но и вырабатывает сознательное отношение к объективно протекающим мыслительным процессам. Познание законов логики, определение их объективной основы позволяет выдвинуть и сформулировать ее принципы. Принципы формальной логики, как и принципы любой науки, представляют собой единство объективного и субъективного. С одной стороны, они выражают объективное содержание законов логики, с другой - выступают правилами мыслительной деятельности человека. Именно через осознанное формулирование принципов законы логики становятся регуляторами мыслительной деятельности людей.
Таким образом, формальная логика, чтобы быть средством обнаружения истины, должна, на основе изучения формальных структур абстрактного мышления, сохранять и учитывать логическую правильность рассуждений, обусловленную логическими законами.
Какие же аспекты абстрактного мышления изучает формальная логика? Во-первых, она рассматривает абстрактное мышление как инструмент познания мира, как средство получения формально-истинных знаний.
Во-вторых, ее интересует практическая результативность и правильность опосредованного (выводного) знания, полученного из раннее установленных и проверенных истин без обращения к опыту, а только в результате учета формально-логических законов и применения соответствующих правил абстрактного мышления.
В-третьих, абстрактное мышление рассматривается как формальный процесс, имеющий свою особую структуру, отличающуюся от структуры объективно-истинного содержания мышления.
Вот почему формальная логика позволяет отвлекаться от содержания объекта и сосредоточивать внимание только на формах, в которых протекает тот или иной мыслительный процесс. Эти аспекты взаимозависимости Логики и мышления определяют особенности формальной логики как науки.