Этапы развития формальной логики.

Предмет и основные понятия логики.

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

Логика произошла от древнегреческого слова «logos», что буквально означает «мысль, разум, закономерность».

Вопросы, связанные с познанием действительности относятся к философским вопросам, поэтому логика изначально возникла в 4 в. До н.э. как философская наука. В настоящее время представляет собой самостоятельную Науку, включающую в себя формальную и диалектическую логику.

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

Диалектическая логика изучает законы развития человеческого мышления, с учетом возникновения, изменения и развития, т.е. изучает мышление в историческом смысле.

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

Основные принципы:

1) определенности

2) непротиворечивости

3) последовательности

4) обоснованности

Основные законы:

1) закон тождества

2) закон непротиворечивости

3) закон исключенного третьего

4) закон достаточного основания

Диалектическая логика.

Основные принципы:

1) объективности и всесторонности

2) историзма

3) восхождения от абсолютного к конкретному

4) единства исторического и логического

5) разделение единого на противоположности

Основные законы:

1) закон борьбы противоположности

2) закон двойного отрицания

3) переход количества в качество

Основные понятия логики:

1) мышления

2) форма мышления

3) закон мышления

1) мышление – это процесс опосредованного отражения, действительности в сознании человека.

2) форма мышления – это способ связи элементов мысли, ее строение.

3) закон мышления – это необходимая и существенная связь мыслей и процессе рассуждения.

Основными формами мышления являются:

1) понятия – форма мышления, отражающая предмет в их существенных признаках.

2) суждения – форма мышления в которой что-либо утверждается или отрицается о предмете его свойствах и отношениях.

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

Этапы развития формальной логики.

В своем развитии формальная логика прошла 3 этапа:

I этап – традиционная логика.

В своих трудах «Органон» и «Первая аналитика», Аристотель сформулировал 3 закона мышления:

1) тождества

2) закон противоречия

3) закон исключительно третьего

Также он разработал дедуктивный метод познания. В 16 в. Бэкон разработал индуктивный метод познания, в котором познания идет от частного к общему.

II этап – математическая логика (16- 20 вв.)

Представители: Декарт, Кант, Лейбниц.

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

III этап – неклассическая логика (конец 19-20 вв.)

Представители: Лукашевич, Пост, Брауэр.

Включающая в себя модальную и многозначную логику.

Многозначная логика допускает много значений истинности суждения, со значениями: возможности, вероятно, скорее всего.