Логика в вопросах и ответах - [10]

Методы в логике

Научное знание, в отличие от житейского опыта и здравого СМЫСЛА, характеризуется рядом специфических черт.

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

Во-вторых, научное знание – это не опыт отдельного человека. Наука является суммарным опытом всего человечества на всем историческом пути его развития.

В-третьих, по своей природе научное знание является не стихийным, строго организованным, упорядоченным и субординированным.

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

В-пятых, научное знание – это не только система готового знания, но и система приобретения нового знания, то есть система научных методов.

Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.

Современная система методов столь же разнообразна, как и сама наука. Различают экспериментальные, теоретические, эвристические и алгоритмические методы. Можно выделить количественные и качественные методы изучения реальности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, гипотико-индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы идеализации, обобщения, типологизации и классификации.

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

Перейдем к рассмотрению некоторых методов, используемых в логике.

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

Более эффективным в логике является использование аксиоматического метода. Это способ построения теории, при котором некоторые положения теории выбираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, – теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений – теорем.

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

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

Понятие как форма мышления и его структура

Понятие – это форма мышления, отражающая предметы в их существенных признаках.

Признаком предмета называется то, в чем предметы сходны друг с другом или отличаются друг от друга.

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

Признаки могут необходимо принадлежать предмету и выражать его сущность. Это существенные признаки. Признаки, которые могут принадлежать, а могут и не принадлежать предмету и которые не выражают его сущности, называются несущественными.

Существенные признаки могут быть общими, которые присущи всему классу предметов (например, для человека это будет возможность создавать орудия труда, абстрактное мышление и т. п.), и единичными, которые необходимо присущи одному из предметов данного класса (например, понятие, отражающее один предмет – здание МГУ – наряду с признаками здания вообще включает признаки присущие только зданию МГУ).