Каждый из этих методов конкретизируется в какой-либо науке и наполняется своим конкретным содержанием. Некоторые методы являются универсальными, другие более ограничены. Например, эмпирический метод. Он заключается в накоплении, описании, объяснении, классификации и систематизации фактов и данныхэкспериментов над явлениями. Будучи конкретным, он далек от универсальности.
Перейдем к рассмотрению некоторых методов, используемых в логике.
Прежде всего это эвристический метод.Он представляет собой нахождение некоторого алгоритма решения проблемы. Здесь начинают играть существенную роль методы познания, связанные с математикой. В то же время данный метод, хотя и является теоретическим, тесно связан с эмпирическими методами построения теорий.
Более эффективным в логике является использование аксиоматического метода.Это способ построения теории, при котором некоторые положения теории выбираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, – теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений – теорем.
Одним из важных методов логики является метод формализации.Этот метод основывается на различении естественных и искусственных языков. Естественные языки складываются в процессе коммуникации и служат средством общения, передачи информации, выражения эмоций и т. д. В отличие от них, искусственные языки ориентированы на строго определенные и ограниченные задачи исследования. Они претендуют не только на сокращение записи, но и на более эффективную работу. Над формулами искусственных языков можно проводить операции, получать из них новые формулы и отношения. Символическое исчисление становится аналогом рассуждения, позволяющим дедуктивным образом из одних структур знаков и символов получать другие, выражающие новое знание о данном объекте.
Между структурами мышления и структурами их языкового выражения существует определенное соответствие. Это приводит к тому, что внутри формальной логики операции с мыслями о предметах можно заменить действиями со знаками и символами. Следовательно, формализация в данном случае представляет собой логический метод уточнения содержания мысли посредством уточнения ее логической формы.
15. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
Понятие– это форма мышления, отражающая предметы или явления на основе существенных и отличительных признаков.
Исходной формой абстрактного человеческого мышления является понятие. Любая мысль выражается посредством понятия.
Понятие образуется на основе ощущения, восприятия и представления с помощью общенаучных методов: анализ, синтез, сравнение, обобщение, абстрагирование. Эти приемы широко используются в познании. Важную роль они играют в формировании понятий, основанном на выявлении существенных признаков.
Чтобы составить понятие о предмете, нужно сравнить данный предмет с другими предметами, найти признаки сходства и различия. Логический прием, устанавливающий сходство или различие предметов, называется сравнением.
Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.
Выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием.
Элементы, стороны, признаки предмета, выделенные с помощью анализа, должны быть соединены в единое целое. Это достигается с помощью приема, противоположного анализу, – синтеза,представляющего собой мысленное соединение частей предмета, расчлененного анализом. Признаки изучаемых предметов распространяются на все сходные предметы. Эта операция осуществляется путем обобщения– приема, с помощью которого отдельные предметы на основе присущих им одинаковых свойств объединяются в группы однородных предметов. Благодаря обобщению существенные признаки, выявленные у отдельных предметов, рассматриваются как признаки всех предметов, к которым приложимо данное понятие.
Читать дальше