Изображение Талоса из «Историй о богах и героях» Томаса Булфинча (1920), выполненное английской художницей Сибил Таус (1886–1971).

      «Органон» Аристотеля. Ок. 350 до н. э.

      Греческий философ Аристотель (384–322 до н. э.) затрагивал в своих работах несколько важных тем, которые и по сей день интересуют исследователей ИИ. В своей книге «Политика» Аристотель высказал предположение, что когда-нибудь автоматы заменят рабов: «Если бы каждое орудие могло выполнять свойственную ему работу само, по данному ему приказанию или даже его предвосхищая, и уподоблялось бы статуям Дедала или треножникам Гефеста, о которых Гомер говорит, что они “сами собой входили в собрание богов”, если бы ткацкие челноки сами ткали, а плектры сами играли на кифаре, тогда и зодчие не нуждались бы в работниках, а господам не нужны были бы рабы»[2].

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

      Аристотель также анализировал силлогизмы с модальной логикой – то есть утверждения, содержащие слова возможно или обязательно. Современная математическая логика далеко ушла от аристотелевской методологии, а его приемы были доработаны для применения к суждениям с другой структурой, включая те, что выражают более сложные отношения, и те, что содержат более одного квантора, как, например, фраза «Ни одному человеку не нравятся все люди, которым не нравятся некоторые люди». И все же глубокие изыскания Аристотеля в области логики считаются одним из величайших достижений человечества, давшим толчок многим разработкам в области математики и искусственного интеллекта.