Здравствуйте, vdimas, Вы писали:

V>Горе тебе, о невежда, бо именно Буль окончательно формализировал Аристотелевскую логику и назвал её "исчисление высказываний", из неё возникло "исчисление предикатов" и наконец отшлифовалось в современную математическую логику. ))

V>Студентам тех.ВУЗ-ов это так и преподают, именно поэтому сильные "технари" с лёгкостью засунут за пояс сколь угодно долго изучавшего логику Аристотеля гуманитария (в сленговом смысле этого слова, ес-но, типа как ты тут топишь). Хотя бы потому что студентам технарям показывают ограничения аристотелевской (булевской) логики, а для изучающих логику только уровня аристотелевской — это их вершина, бгг...

1) Аристотелевская логика была формализована задолго до Буля и Де Моргана.
2) Исчисление предикатов изобрел Фреге
3) Begriffsschrift — обязателен к изучению на факультете философии.
4) Ты понятия не имеешь, какие логики изучают на философских факультетах.