1 месяц назад
Чек-лист по отцам основателям троичной логики
Вклад: Основоположник формальной логики, сформулировал закон исключённого третьего и закон противоречия. Дополнение: Его жёсткая дихотомия стала тем «камнем преткновения», от которого отталкивались все создатели многозначных логик. Именно Аристотель задал бинарную норму, которую позже стали дополнять или преодолевать, вводя третье состояние — Ноль как точку равновесия между «истиной» и «ложью». В его системе Ноль не допускается, но он незримо присутствует как граница. Вклад: В книге «Liber Abaci» (1202) предложил задачу о гирях: набором 1, 3, 9, 27 фунтов можно взвесить любой груз до 40 фунтов, кладя гири на обе чаши...