колдунья Медея свела Талоса с ума при помощи духов смерти (их называли «керами») и заставила выбить гвоздь. Божественная кровь (ихор) хлынула у него из лодыжки, «как расплавленный свинец», и великан умер.
Талос – лишь один из примеров того, как древние греки представляли себе роботов и самодвижущиеся автоматы. Здесь также стоит упомянуть труды математика Архита Тарентского (428–347 до н. э.), который, возможно, придумал и создал механического летающего голубя, приводимого в движение паром.
СМ. ТАКЖЕ Водяные часы Ктесибия (ок. 250 до н. э.), Медные рыцари из легенды о Ланселоте (ок. 1220), Голем (1580), «Франкенштейн» (1818)
Изображение Талоса из «Историй о богах и героях» Томаса Булфинча (1920), выполненное английской художницей Сибил Таус (1886–1971).
«Органон» Аристотеля. Ок. 350 до н. э.
Греческий философ Аристотель (384–322 до н. э.) затрагивал в своих работах несколько важных тем, которые и по сей день интересуют исследователей ИИ. В своей книге «Политика» Аристотель высказал предположение, что когда-нибудь автоматы заменят рабов: «Если бы каждое орудие могло выполнять свойственную ему работу само, по данному ему приказанию или даже его предвосхищая, и уподоблялось бы статуям Дедала или треножникам Гефеста, о которых Гомер говорит, что они “сами собой входили в собрание богов”, если бы ткацкие челноки сами ткали, а плектры сами играли на кифаре, тогда и зодчие не нуждались бы в работниках, а господам не нужны были бы рабы»[2].
Аристотель также положил начало системному изучению логики. В своих трудах под общим названием «Органон» (др.-греч. «инструмент», «метод») он предлагает приемы выяснения истины и осмысления мира. Основной инструмент в арсенале Аристотеля – силлогизм, трехступенчатый аргумент, например: «Все женщины смертны; Клеопатра – женщина; следовательно, Клеопатра смертна». Если две предпосылки истинны, то и заключение должно быть истинным. Аристотель также проводит различие между частностями и универсалиями (то есть общими категориями). Например, Клеопатра – это частное понятие, тогда как женщина и смертны – универсальные. Когда речь идет об универсалиях, им предшествуют слова все, некоторые или ни один. Аристотель проанализировал множество возможных типов силлогизмов и показал, какие из них состоятельны.
Аристотель также анализировал силлогизмы с модальной логикой – то есть утверждения, содержащие слова возможно или обязательно. Современная математическая логика далеко ушла от аристотелевской методологии, а его приемы были доработаны для применения к суждениям с другой структурой, включая те, что выражают более сложные отношения, и те, что содержат более одного квантора, как, например, фраза «Ни одному человеку не нравятся все люди, которым не нравятся некоторые люди». И все же глубокие изыскания Аристотеля в области логики считаются одним из величайших достижений человечества, давшим толчок многим разработкам в области математики и искусственного интеллекта.
СМ. ТАКЖЕ Талос (ок. 400 до н. э.),