Читать книгу Физическая культура и спорт в отражении философских и социологических наук. Социология спорта - Алексей Передельский - Страница 15

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

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

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

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

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