Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

МЕТОД В ЛОГИКЕ

Читайте также:
  1. A. гностическим методам
  2. Amp;Сравнительная характеристика различных методов оценки стоимости
  3. C) Методы стимулирования поведения деятельности
  4. E) мировоззренческая, гносеологическая, методологическая.
  5. I ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ КУРСОВОЙ РАБОТЫ
  6. I. Из истории развития методики развития речи
  7. I. ОБЩИЕ МЕТОДИЧЕСКИЕ УКАЗАНИЯ
  8. I. Определение эпидемического процесса и методологическое обоснование разделов учения об эпидемическом процессе.
  9. I. Определение эпидемического процесса и методологическое обоснование разделов учения об эпидемическом процессе.
  10. I. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЙ РАЗДЕЛ

 

 

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

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

Некоторые методы являются универсальными, как, например, дедукция и индукция, некоторые более ограниченны.

Например, рассмотрим эмпирический метод. Он заключается в накоплении, объяснении, описании, классификации и систематизации фактов и результатов экспериментов.

Этот метод является конкретным. В логике также нашли свое применение определенные методы исследования.

Эвристический метод. Он представляет собой нахождение некого алгоритма решения проблемы.

Алгоритм – это точное предписание о выполнении в определенном порядке некоторой системы операций, которые ведут к решению всех задач (проблем) определенного типа. Данный метод, являясь по своей сути теоретическим, тесно связан с эмпирическими методами построения теорий.

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

Метод формализации. Этот метод основывается на использовании в логике исчисления.

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

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

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

 

 




Дата добавления: 2014-12-15; просмотров: 36 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.008 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав