Введение в логику и научный метод - страница 41

Шрифт
Интервал


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

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

Книга I Формальная логика

Глава II Анализ суждений

§ 1. Что такое суждение?

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