Что такое формальная логика?

Формальная логика была первым методом, который использовала экономическая наука. Формальная логика - это изучение мысли со стороны её структуры, формы. Основателем формальной логики считается Аристотель, открывший своеобразную форму умозаключения (силлогизм) и сформулировавший основные законы логики.

Ученики Аристотеля назвали эту новую книгу "органон", то есть "орудие познания". Термин "логика" ("слово", "разум", "закономерность") появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за Кантом называть формальной.

Простейшей категорией формальной логики является понятие. Оно фиксирует мысль о предмете. Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку видового различия. Суждение - это мысль, в которой утверждается или отрицается что-либо о чем-либо. Формой взаимосвязи суждений выступает умозаключение. Умозаключение представляет собой прием мышления, посредством которого из некоторого исходного знания получается выводное знание. Наиболее известной формой умозаключения является силлогизм. Он утверждает, что если свойство Р принадлежит каждому из предметов, образующих данный класс, то это свойство будет принадлежать и любому индивидуальному предмету, относимому к этому классу. Это называется аксиомой силлогизма.

Формальная логика разработала обширный набор методов и приемов познания. Важнейшие из них - это анализ и синтез, индукция и дедукция, сравнение, аналогия, гипотеза, доказательство, определенные законы мышления.

Методы и приёмы познания

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

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

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

Аналогия - это метод познания, основанный на переносе одного или ряда свойств с известного явления на неизвестное. В общей форме умозаключение по аналогии записывается следующим образом Если Л и В имеют общие свойства иА имеет свойство с, то и В имеет свойство с. Аналогия - это частный случай индукции. Она играет важную роль в выдвижении предположений, получении нового знания. Многие открытия в политической экономии были сделаны по аналогии. Ф. Кенэ, например, предложил плодотворную аналогию между кровообращением в человеческом организме и движением товарных и денежных потоков в организме социальном. Это позволило ему построить первую макроэкономическую модель воспроизводства. Изучение механического равновесия привело А. Курно к идее экономического равновесия. Аналогия, таким образом, играет важную роль в рождении новых идей и формулировке гипотез. Она существенно облегчает понимание сложных процессов, являясь основой научного моделирования. Нередко аналогия позволяет правильно поставить проблему, определив направление дальнейшего исследования.

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

 

	№	Сформулирована проблема	Методы решения проблемы	Решение проблемы	Проблемные ситуации
явные		+	+	+	Показательные задачи
		+	+	-	Типовые задачи
		+	-	+	Риторические проблемы
		+	-	-	Классические проблемы
неявные		-	+	+	"От правильного ответа - к правильному вопросу"
		-	+	-	"Метод ищет применения"
		-	-	+	Догматическая теория
		-	-	-	Софизмы, парадоксы, апории

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

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

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

Гипотеза - это метод познания, заключающийся в выдвижении научно обоснованного предположения о возможных причинах или связях явлений и процессов. Гипотеза возникает тогда, когда появляются новыефакторы, противоречащие старой теории.

Научная теория состоит из ядра и защитного пояса. Ядро - наиболее фундаментальные положения теории; защитный пояс образуют вспомогательные гипотезы, которые конкретизируют теорию, расширяя область ее применения. Доказанные гипотезы сливаются с ядром, недоказанные служат объектом полемики с оппонентами, защищая ядро теории. Например, ядром марксизма являются трудовая теория стоимости, теория прибавочной стоимости, всеобщий закон капиталистического накопления, а их защитным поясом - закон тенденции нормы прибыли к понижению и другие законы.

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

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

1. Закон тождества

(А=А);

2. Закон противоречия

(А и А, А Л А);

3. Закон исключенного третьего

(А и А, А V А);

4. Закон достаточного основания.

формальная логика экономическое исследование

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

Закон противоречия означает, что две противоположные мысли об одном и том же предмете, взятом в одном и том же времени, отношении и т.д., не могут быть истинными.

Закон исключенного третьего утверждает, что из двух отрицающих

друг друга мыслей об одном и том же предмете, взятом водном и том же времени, отношении и т.д., одно непременно истинно.

Закон достаточного основания требует, чтобы всякая истинная мысль обосновывалась другими мыслями, истинность которых была доказана ранее. Первые три закона были сформулированы. Аристотелем, четвертый закон открыт в XVII в.Г. Лейбницем.

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

Применение формальной логики в экономической теории

Формальная логика не сразу стала методом экономической науки. В экономической мысли древнего мира доминировал метод непосредственного описания, в качестве руководства к действию рекомендовалось использование конкретного опыта, практической деятельности как в частном хозяйстве, например в рабовладельческой вилле ("Земледелие" Катона), так и в масштабе государства ("Законы" Платона, "Афинская полития" Аристотеля). Из нерасчлененной совокупности обществознания еще не выделился не только метод, но и предмет экономической науки.

Развитие искусства обработки понятий начинается позже - в эпоху средневековья. Именно западноевропейские схоласты значительно усовершенствовали аппарат формальной логики и особенно дедуктивный метод исследования. Это было необходимо для того, чтобы согласовать отдельные положения науки с богословской доктриной. Главной целью выступал вывод реальных отношений из догматов "отцов церкви", объяснение земного миропорядка как порождения неземного. Поэтому средневековое мышление носит трансцендентальный, умозрительный характер. Широкий полет метафизики не сдерживается ничем. Рассуждения ведутся, как правило, в отрыве от конкретных эмпирических исследований, безотносительно к потребностям реальной экономической жизни. Организация многочисленных диспутов по вопросам, не имеющим никакого практического значения, получила своеобразное отражение в названии этой науки. Средневековая схоластика называлась в то время "диалектикой"от первоначального смысла этого греческого слова - "искусство вести беседу, спор".

В отличие от средневековых схоластов меркантилисты апеллируют не к общей теории, а к реальной практике. Их эмпирический метод находит свое обоснование в индукции Ф. Бэкона и Т. Гоббса, а также в дедукции Р. Декарта. Меркантилисты ориентируются на решение частных задач, для них характерно движение от конкретного к абстрактному. Стремление найти основание в реальных фактах реальной действительности, установить точные количественные пропорции между явлениями и процессами экономической жизни характерно и для основоположников классической экономии. В отличие от средневековых схоластов, методологической основой учения которых выступало каноническое право, классики политэкономии богатства опираются на теорию "естественного права". Они стремятся открыть естественные, вытекающие из самой "человеческой природы", рациональные законы развития. Неудивительно, что при таком подходе объектом их анализа становятся не только отдельные индивиды, но и социальные классы, целью существования которых является стремление "к естественному порядку, наиболее выгодному для человеческого рода". Вводится понятие "экономического человека", под которым подразумевается индивид, преследующий свои личные интересы путем участия в общественном производстве. С течением времени усиливаются элементы субъективизма (Э.Б. де Кондильяк) и утилитаризма (И. Бентам). На основе дедуктивного метода появляются попытки (хотя и далеко не последовательные) создания экономических систем путем восхождения от абстрактного к конкретному (А. Смит, Д. Рикардо). При этом неизбежно возникают противоречия, от которых ученики Рикардо (Дж. Милль, Д.Р. Мак-Куллох и др.) пытаются избавиться путем формально-логического упорядочения материала, сведения реальных фактов к абстрактно-теоретическим схемам. Это вызывает повышенный интерес экономистов к проблемам метода, что находит яркое выражение в "Системе логики" Д.С. Милля.