Формальная логика (силлогистика) в современной науке (Сочинение на свободную тему)

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

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

При этом общая схема перехода от общего к частному по Аристотелю выглядит как следующая цепь:

Первое — общее высказывание (аксиома, постулат, гипотеза, «общее»)

Второе — цепь логических рассуждений

Третье — частный вывод (теорема, «частное»).

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

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

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

В свою очередь, силлогизм — умозаключение, состоящее из двух посылок: суждений и заключения, иными словами, вывода сделанного на их основе (Королев, Трофимов, 2016).

Также в почти любой современной науке используется такой философский метод познания, как анализ.

Анализ, как общенаучный метод исследований реализуется в любой науке в двух вариантах: эмпирическом и теоретическим. Поэтому выделяется два вида анализа:

1) фактический (предметный) анализ, основанный на применении разнообразных аналитических способов исследований с использованием аналитических технических устройств (анализаторов), реализуется только на эмпирическом уровне исследований;

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