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