розділ логіки, в якому вивчають міркування з модальностями необхідності, дійсності, можливості, випадковості тощо