Логика - [5]

Определенность - это свойство правильного мышления воспроизводить в структуре мысли реальные признаки и отношения самих предметов и яв­лений, их относительную устойчивость. Она находит свое выражение в точ­ности и ясности мысли, отсутствии сбивчивости и путаницы в элементах мысли и самих мыслях.

Непротиворечивость — свойство правильного мышления избегать в структуре мысли противоречий, которых нет в отражаемой действительнос­ти. Оно проявляется в недопустимости логических противоречий в строгих рассуждениях.

Последовательность — свойство правильного мышления воспроизводить структурой мысли те структурные связи и отношения, которые присущи са­мой действительности, способность следовать «логике вещей и событий». Она обнаруживается в непротиворечивости мысли самой себе.

Обоснованность есть свойство правильного мышления отражать объектив­ные причинно-следственные связи и отношения предметов и явлений окру­жающего мира. Оно проявляется в установлении истинности или ложности мысли на основе других мыслей, истинность которых установлена ранее.

Указанные существенные признаки правильного мышления не произ­вольны. Они представляют собой результат взаимодействия человека с внешним миром. Их нельзя ни отождествлять с коренными свойствами са­мой действительности, ни отрывать от них. Правильность мышления, отра­жая, прежде всего, объективные законы мира, возникает и существует сти­хийно, задолго до возникновения каких бы то ни было правил. Сами логические правила — это лишь вехи на пути постижения особенностей пра­вильного мышления, действующих в них законов, которые неизмеримо бо­гаче любого, пусть даже самого полного, свода таких правил. Но правила вы­рабатываются на основе этих законов именно для того, чтобы регулировать последующую мыслительную деятельность, обеспечивать ее правильность уже сознательно.

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

Таким образом, формальная логика, чтобы быть средством обнаружения истины, должна, на основе изучения формальных структур абстрактного мышления, сохранять и учитывать логическую правильность рассуждений, обусловленную логическими законами.

Какие же аспекты абстрактного мышления изучает формальная логика? Во-первых, она рассматривает абстрактное мышление как инструмент по­знания мира, как средство получения формально-истинных знаний.

Во-вторых, ее интересует практическая результативность и правильность опосредованного (выводного) знания, полученного из раннее установлен­ных и проверенных истин без обращения к опыту, а только в результате уче­та формально-логических законов и применения соответствующих правил абстрактного мышления.

В-третьих, абстрактное мышление рассматривается как формальный процесс, имеющий свою особую структуру, отличающуюся от структуры объективно-истинного содержания мышления.

Вот почему формальная логика позволяет отвлекаться от содержания объекта и сосредоточивать внимание только на формах, в которых протекает тот или иной мыслительный процесс. Эти аспекты взаимозависимости Логики и мышления определяют особенности формальной логики как науки.

И так, формальная логика - это наука об общезначимых формах и сред­ствах мысли, необходимых для рационального познания бытия и его кон­кретных видов. К общезначимым формам мысли относятся понятия, сужде­ния, умозаключения. Общезначимыми средствами мысли являются правила (принципы), логические операции, приемы и процедуры, формально-логи­ческие законы, лежащие в их основе, то есть все то, что служит целям осу­ществления правильного абстрактного мышления.

Следовательно, предмет формальной логики составляют:

1) формы мыслительного процесса - понятие, суждение, умозаключе­ние, гипотеза, доказательство и др.;

2) законы, которым подчиняется абстрактное мышление в процессе по­знания объективного мира и самого мышления;

3) методы получения нового выводного знания - сходства, различия, со­путствующих изменений, остатков и др.;