История модальной логики
Вот её ключевые этапы развития:
1. Античные истоки (IV в. до н.э.)
· Авторство и начало справедливо связывают с Аристотелем.
· Он не создавал формальную систему в современном понимании, но детально проанализировал модальные понятия: необходимость (ἀνάγκη), возможность (δυνατόν), случайность...
