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