Но прежде чем взяться за тяжелую работу по установке двигателей на самолет, поэкспериментируйте для начала с планерами: самолетами без двигателей, которые запускаются с высоких мест. С их помощью можно многое узнать, и в то время как технические предпосылки для летающих аппаратов тяжелее воздуха выглядят сложными, для планера вам надо лишь немного дерева, ткани и некоторое количество знаний, а ими мы вас обеспечили.
Временные эксперименты показали, что функциональный деревянный планер можно построить в Европе около 1000 н. э., не используя технологии нашего времени. Понятно, что полет с помощью двигателя все равно невозможен до промышленной революции, то есть примерно до 1760 н. э., но зато это открытие приводит к появлению авианосцев с планерами и катапультами для запуска их в небо ко времени Возрождения, в начале XV века н. э.
Ваша цивилизация наверняка захочет начать с изготовления воздушных шаров на горячем воздухе прямо сейчас, а уже затем перейти к экспериментам с другими их вариантами или аппаратами тяжелее воздуха, но все целиком на ваше усмотрение. Застрять в прошлом только для того, чтобы какая-то книга запретила вам вываляться в птичьих перьях и посмотреть, что произойдет?
Ха! И мы всецело уважаем ваш выбор.
В этом разделе приведена одна технология, а именно логика, которая даст членам вашей цивилизации не только возможность лучше мыслить, но и способ понимать, когда их мышление точно. И все это в конечном счете приведет к машинному мышлению, как вы увидите в разделе 17.
Она также является одним из величайших достижений человечества за всю его историю, и поскольку у нас ушли столетия на формирование этой области знания, то логичным будет выглядеть, если вы воспользуетесь преимуществом и сократите маршрут.
Если бы мир был устроен логично, то люди бы ездили в седле боком.
Искусственная система структурированного мышления, что не только меняет способ, с помощью которого мы думаем, но в конечном счете позволяет вам создавать машины, способные думать точно таким же образом.
Ясное и правильное абстрактное мышление было буквально более сложным.
350-е до н. э. (логика впервые подверглась научному изучению: Аристотель);
1200-е н. э. (логические постулаты открыты заново);
1847 н. э. (придумано пропозициональное исчисление).
Устная речь.
Базовые положения логики были открыты несколько раз в человеческой истории (в Китае, Индии и Греции), но ее греческая версия – логика силлогизмов Аристотеля – по историческим причинам стала наиболее влиятельной, и именно ее вы собираетесь придумать. Начнем с аксиом, положений, которые сами по себе выглядят истинными, и из них выведем разные заключения.
Силлогизм включает первую посылку (1), вторую посылку (2) и заключение (3), и выглядит все следующим образом.
1. Все люди смертны.
2. Имхотеп – человек.
3. Следовательно, Имхотеп смертен.
Вполне четко, не так ли? Вы можете излагать аргументы всех сортов в таком формате.
1. Все путешественники во времени рассматривают возможность потусоваться с собой в прошлом.
2. Все пользователи FC3000тм являются путешественниками во времени.
3. Следовательно, все пользователи FC3000тм рассматривают возможность потусоваться с собой в прошлом.
Или даже так.
1. У всех людей есть плоть.
2. На всякой плоти можно сделать крутые татуировки с помощью нанесения пигмента на кожу заостренными палочками, костями животных или иглами: верхний слой эпидермиса исцеляется, ну а иммунная система тела поглощает частицы пигмента, стабилизируя и фиксируя пигмент прямо под эпидермисом.
3. Следовательно, все люди могут сделать крутые татуировки с помощью нанесения пигмента на кожу заостренными палочками, костями животных или иглами: верхний слой эпидермиса исцеляется, ну а иммунная система тела поглощает частицы пигмента, стабилизируя и фиксируя пигмент прямо под эпидермисом[200].
Слова и фразы можно заменять символами, и тогда аргумент будет выглядеть гораздо короче. Давайте использовать S для «субъекта», M для «среднего» и P для «предиката», то есть просто «того, что мы утверждаем о субъекте».
1. Все M являются P.
2. Все S являются M.
3. Следовательно, все S являются P.
И вот она, магия логики силлогизмов: если ваши предпосылки истинны и структура силлогизма выдержана, то невозможно такое, чтобы заключение не было истинным. Если все M являются P и все S являются M, то все S должны являться P. Совершенно не имеет значения, что такое M, S и P: если они отвечают приведенным критериям, то заключение всегда будет корректным.