Аристотель — основатель логики
В трудах Аристотеля высокой степени совершенства достигла логика. По сути, именно Аристотель впервые изложил логику систематично, в виде самостоятельной дисциплины. Логику обычно понимают как науку о законах мышления. Аристотель сумел выделить эти законы в четкой и ясной постановке.
1. Закон исключенного противоречия: невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же предмету. Так, по отношению к Сергею не могут быть одновременно истинными два следующих утверждения: «Сергей ниже Татьяны» и «Сергей выше Татьяны».
2. Закон исключенного третьего: отрицание и утверждение не могут быть оба ложными. В нашем примере одно из двух утверждений «Сергей и Татьяна одинакового роста» или «Сергей и Татьяна неодинакового роста» должно быть истинным. Если истинно второе утверждение, то можно на предмет истинности проверять новые два высказывания: «Сергей ниже Татьяны» и «Сергей выше Татьяны». Сравнение двух последних высказываний является бессмысленным, если Сергей и Татьяна одинаковы по росту.
3. Закон тождества: А есть А (Аристотель не приводил такую формулировку, но она соответствует его воззрениям). Так, в нашем случае речь идет об одном и том же Сергее и той же самой Татьяне, причем в одно и то же время.
Аристотель гордился своим учением о силлогизме (буквально: о сосчитывании высказываний). Силлогизм состоит из трех суждений: первое содержит общее правило, второе — особенное, третье — вывод. Силлогизмом является, например, такое рассуждение:
(1) Если все люди смертны
(2) И все греки — люди,
(3) То все греки смертны.