Дедукция: от общего к частному

Сократ смертен. Звучит как приговор, но это — один из самых известных выводов в истории философии. Аристотель около 350 года до н. э. записал: «Все люди смертны. Сократ — человек. Значит, Сократ смертен». Этот трёхчастный аргумент называется силлогизмом и лежит в основе дедуктивного мышления. За две с половиной тысячи лет этот метод стал основой математики, юриспруденции и программирования.