|
Аристотель |
|
|
384-322 гг. до н.э.
|
Родом Аристотель
был из города Стагира на фракийском побережье
полуострова Халькидика. Его отец был врачом и
другом македонского царя Аминта II. Аристотель
рос и учился вместе с сыном Аминта – будущим
царем Филиппом II Македонским, и на протяжении
всей жизни его судьба была тесно связана с
македонским царским домом. В возрасте 18 лет
Аристотель отправился в Афины к великому
мыслителю Платону и провел в его школе около 20
лет. Он был самым способным из учеников Платона,
глубоко усвоившим его знания и идеи, но далеко не
всегда согласный со своим учителем.
|
В 343 году до н.э. царь Филипп приглашает
Аристотеля стать наставником своего сына
Александра. Когда через несколько лет Александр
сам становится царем, знаменитым Александром
Македонским, Аристотель возвращается в Афины и
собирает вокруг себя учащуюся молодежь, которой
читает курсы различных наук. В 323 году до н.э. умер
Александр Македонский и в Афинах победила
антимакедонская партия. Аристотель, как друг и
учитель Александра, вынужден был покинуть Афины.
Год спустя он умер на острове Евбея.
Аристотеля считают основоположником
логики. В определении Аристотеля логика
представляет собой науку о выводе одних
умозаключений из других сообразно их логической
форме. В соответствии с этим логику Аристотеля
называют формальной. В своих трудах Аристотель
впервые обосновал один из важнейших разделов
логики – учение о суждениях и силлогизмах.
В своих трактатах Аристотель обстоятельно исследовал
терминологию логики, подробно разобрал теорию умозаключений и
доказательств, описал ряд логических операций, сформулировал
основные законы мышления, в том числе законы противоречия и
исключения третьего.
Еще сам Аристотель заметил, что между созданной им наукой и математикой
(тогда она именовалась арифметикой) много общего. Он пытался соединить
эти две науки, а именно свести размышление, вернее, умозаключение, к вычислению
на основании исходных положений. В одном из своих трактатах
Аристотель вплотную приблизился к одному из разделов математической логики - теории доказательств.
|
 |
|
|
