Понятие о логики

Понятие о логике как науке

 

Логика – наука, изучающая законы и формы мышления.

 

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

 

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

 

Суждение – мысль , в которой что-либо утверждается или отрицается о предметах. Оно является истинным или ложным повествовательным предложением (Весна наступила и грачи прилетели).

 

Умозаключение – приём мышления посредством которого из исходного знания получается новое знание; из одного или нескольких истинных суждений, называемых посылками, по определённым правилам вывода получаем заключение (Все металлы –простые вещества. Литий- металл. Следовательно: литий – простое вещество.)

 

Этапы развития логики

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

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

 

2-й этап связан с работами немецкого учёного и философа Лейбница (1646-1716 гг). Он сделал попытку построить первые логические исчисления. Считал, что простые рассуждения можно заменить действиями со знаком и прив1л соответствующие правила. Так возникла математическая логика.

Математическая логика – наука о логических связях и отношениях, лежащих в основе дедуктивного (логического) вывода. Она изучает суждения для которых можно однозначно решить, истинны они или ложны.

 

3-й этап связан с работами Джорджа Буля (1815-1864 гг). Он развил идеи Лейбница. В его работах логика обрела свой алфавит, орфографию и грамматику. Буль считается основоположником математической логики как самостоятельной дисциплины. Начальный раздел её называют булевой алгеброй или алгеброй логики.

Comments