Разработка урока по информатике Использование элементов алгебры логики при решении заданий ЕГЭ

АРИСТОТЕЛЬ (384-322 до н.э.) - великий древнегреческий философ и ученый, ученик Платона, основатель Перипатетической школы.

• Его отец Никомах был придворным врачом и личным другом македонского царя Аминты Второго, и их погодки дети, юный Аристотель и наследник престола Филипп, не раз проводили время вместе.

Когда Аристотелю было 15 лет, отец его умер, опекуном был назначен его дядя Проксен, который, вероятно, и рассказал Аристотелю про Платона и его Академию.

• В 17 лет приехал в Афины и с 367 по 347 был в платоновской Академии сначала на правах ученика, затем - в качестве преподавателя.

• После смерти Платона уезжает из Афин и почти 14 лет (347-334) проводит в странствиях.

• Самым значительным эпизодом этого периода является его педагогическая работа с наследником македонского престола Александром, сыном Филиппа Македонского (с 343/342 по 340/39).

• В 334 Аристотель возвращается в Афины и основывает собственную философскую школу - Ликей.

• Умер от болезни в изгнании, покинув Афины перед угрозой со стороны антимакедонски настроенной общественности.

• Согласно завещанию, был похоронен в родной Стагире

• Аристотелем были заложены основы логики, науки о законах и формах человеческого мышления (отсюда одно из ее названий - формальная логика),

• Он в своих трактатах обстоятельно исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего.

• Вклад Аристотеля в логику весьма велик, недаром другое ее название - аристотелева логика.
  Еще сам Аристотель заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего.

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

• В одном из своих трактатов Аристотель вплотную приблизился к одному из разделов математической логики - теории доказательств.