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

Метод построения теории

Научный метод познания

Метод (греч. methodos – путь исследования) – способ достижения цели, решения задачи, совокупность приемов или операций практического или теоретического познания и освоения действительности.

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

Метод познания - способ построения и обоснования системы знания (теории).

Теория - система идей, дающая целостное представление о закономерностях и существенных связях действительности

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

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

3.6. Общая схема аксиоматического метода:

• 1) Перечисляются исходные понятия, которые вводятся без определений;

• 2) На основе исходных понятий определяются новые необходимые понятия (определяются все основные понятия);

• 3) Формулируются исходные истинные предложения (аксиомы), принимаемые без доказательств - указывается список аксиом, в которых устанавливаются некоторые связи и взаимоотношения между первоначальными понятиями;

• 4) На основе понятий и аксиом (первоначальных фактов, содержащихся в аксиомах), с помощью некоторой логической системы выводятся доказательства новые факты – теоремы.

Известны два логических метода:

метод формальной и метод диалектической логики.

• Формальная логика (основоположник – Аристотель) – это изучение мысли со стороны ее структуры, формы (изучает формы рассуждений, отвлекаясь от их конкретного содержания). Правильность рассуждения определяется его формой, структурой, а не содержанием.

• Простейшие категории формальной логики: понятие – фиксирует мысль о предмете, суждение – мысль, в которой что-то утверждается или отрицается, умозаключение – прием мышления, посредством которого из некоторого исходного знания получается выводное знание.

Дата добавления: 2014-01-11