Как изобрести
Базовые положения логики были открыты несколько раз в человеческой истории (в Китае, Индии и Греции), но ее греческая версия – логика силлогизмов Аристотеля – по историческим причинам стала наиболее влиятельной, и именно ее вы собираетесь придумать. Начнем с аксиом, положений, которые сами по себе выглядят истинными, и из них выведем разные заключения.
Силлогизм включает первую посылку (1), вторую посылку (2) и заключение (3), и выглядит все следующим образом.
1. Все люди смертны.
2. Имхотеп – человек.
3. Следовательно, Имхотеп смертен.