Заметки на полях
Аристотель, между прочим, четко разделял науку и ремесла («техно», по-гречески) — позиция, которая была странным образом утрачена уже почти на наших глазах, во второй половине XX века, когда в 1956 году Нобелевскую (научную) премию впервые дали за технологическое достижение — изобретение транзистора. И пошло-поехало — в некоторых источниках я встречал утверждения, что существование микропроцессоров есть выдающееся научное достижение. И, раз уж мы заговорили на философские темы, уместно сделать еще одно замечание. Дело в том, что почти все «обычные» достижения технологического века (паровой двигатель, телеграф, телефон, самолет, телевизор, автомобиль и т. п.) в некотором смысле изобретать было не надо — идеи передачи речи или изображения на расстояние (волшебное зеркальце), или передвижения с большой скоростью по воздуху (ковер-самолет) были выдвинуты давно, вероятно, задолго даже до Аристотеля. Нужно было придумать только способы технического воплощения этих идей. Если завтра изобретут антигравитацию, вы, с детства читавшие фантастические романы, сильно ли удивитесь? А вот никаких таких «компьютеров» не существовало и в помине — в некотором смысле это единственное настоящее изобретение, основанное на чисто идеальных предпосылках, в материальном мире никаких аналогов не имевшее — кроме, конечно, самого человеческого разума. И люди — самые уважаемые, крупные математики — всерьез верили, что именно искусственный разум они и изобрели, не будучи в силах поверить, что это действительно абсолютно новая, ранее не существовавшая вещь, которой не надо искать аналогий в повседневности. Компьютеры к разуму имеют такое же отношение, как интернет-путешествие к реальной охотничьей экспедиции в Африку — это всего лишь имитационное моделирование отдельных немногочисленных сторон деятельности разума. Что совершенно не умаляет значимости самого изобретения, кстати, скорее наоборот.
Главной составной частью науки во времена Аристотеля считалась именно логика — искусство рассуждения. Она-то и послужила той основой, из которой выросла цифровая техника и все многообразие информационных технологий, которые окружают нас теперь на каждом шагу.
Законы аристотелевой логики, которые с его лихой подачи стали идентифицироваться с законами мышления вообще, неоднократно пытались привести в математическую форму. Некто Луллий в ХIII веке попытался даже механизировать процесс логических рассуждений, построив «Всеобщий решатель Задач» (несомненно, это была первая попытка построения «думающей машины»). Затем формализацией логики занимался Лейбниц и многие другие, пока, в конце концов, все не сошлось в двух работах английского математика Джорджа Буля, который жил и работал уже в середине XIX века.