- •1. Предмет и значение логики
- •2. Мышление как предмет логики
- •3. Взаимосвязь логики и языка
- •4. История формирования логики
- •5. Логика и язык
- •6. Особенности современной логики
- •7. Многозначная логика
- •8. Релевантная логика
- •9. Особенности логических законов и их связь с принципами мышления
- •10. Закон тождества
- •11. Закон непротиворечия
- •12. Закон исключенного третьего
- •13. Закон достаточного основания
- •14. Методы в логике
- •15. Понятие как форма мышления
- •16. Виды понятий
- •17. Приемы образования понятий
- •18. Обобщение и ограничение понятия
- •19. Определение понятия как логическая операция
- •20. Виды определений деление понятия. Классификация
- •21. Отношения между понятиями. Логические операции с понятиями
- •22. Суждение как форма мышления
- •23. Виды простых суждений. Отношения между простыми суждениями
- •24. Сложные суждения, отношения между сложными суждениями
- •25. Распределенность терминов в суждении. Модальность суждений
- •26. Логические операции с суждениями
- •27. Умозаключение как форма мышления. Непосредственные умозаключения
- •28. Дедуктивное умозаключение и его виды
- •29. Индукция
- •30. Умозаключения по аналогии
- •31. Простой категорический силлогизм и его фигуры. Правила силлогизма
- •32. Сокращенные, сложные и сложносокращенные силлогизмы
- •33. Доказательство и его структура. Способы доказательства
- •34. Опровержение
- •35. Правила и ошибки в доказательстве
- •36. Формирование научного знания и его принципы
- •37. Понятие гипотезы и ее структура. Виды гипотез
- •38. Теория как система научного знания
- •39. Понятие риторики и ее связь с логикой
- •40. Софизмы как элемент спора
- •41. Парадоксы логики как элемент процесса познания
- •42. Версия в юриспруденции
14. Методы в логике
Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.
Современная система методов столь же разнообразна, как и сама наука. Различают экспериментальные, теоретические, эвристические и алгоритмические методы. Можно выделить количественные и качественные методы изучения реальности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, гипотико-индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы идеализации, обобщения, типо-логизации и классификации.
Каждый из этих методов конкретизируется в какой-либо науке и наполняется своим конкретным содержанием. Некоторые методы являются универсальными, другие более ограничены. Например, эмпирический метод. Он заключается в накоплении, описании, объяснении, классификации и систематизации фактов и данныхэкспериментов над явлениями. Будучи конкретным, он далек от универсальности.
Перейдем к рассмотрению некоторых методов, используемых в логике.
Прежде всего это эвристический метод. Он представляет собой нахождение некоторого алгоритма решения проблемы. Здесь начинают играть существенную роль методы познания, связанные с математикой. В то же время данный метод, хотя и является теоретическим, тесно связан с эмпирическими методами построения теорий.
Более эффективным в логике является использование аксиоматического метода. Это способ построения теории, при котором некоторые положения теории выбираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, – теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений – теорем.
Одним из важных методов логики является метод формализации. Этот метод основывается на различении естественных и искусственных языков. Естественные языки складываются в процессе коммуникации и служат средством общения, передачи информации, выражения эмоций и т. д. В отличие от них, искусственные языки ориентированы на строго определенные и ограниченные задачи исследования. Они претендуют не только на сокращение записи, но и на более эффективную работу. Над формулами искусственных языков можно проводить операции, получать из них новые формулы и отношения. Символическое исчисление становится аналогом рассуждения, позволяющим дедуктивным образом из одних структур знаков и символов получать другие, выражающие новое знание о данном объекте.
Между структурами мышления и структурами их языкового выражения существует определенное соответствие. Это приводит к тому, что внутри формальной логики операции с мыслями о предметах можно заменить действиями со знаками и символами. Следовательно, формализация в данном случае представляет собой логический метод уточнения содержания мысли посредством уточнения ее логической формы.