Аристотель

Родом Аристотель был из города Стагира на фракийском побережье полуострова Халькидика. Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта � будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласный со своим учителем.

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

терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего. Еще сам Аристотель заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего. Он пытался соединить эти две науки, а именно свести размышление, вернее, умозаключение, к вычислению на основании исходных положений. В одном из своих трактатах Аристотель вплотную приблизился к одному из разделов математической логики - теории доказательств.