Что является предметом логики