Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами
Квантор существования, как необходимый и достаточный минимум для получения кванторов целого и части, ∃, ∀, Δ.
В этой части мы попробуем, насколько это возможно, углубиться в основы гуманитарной логики, оставив в стороне некоторые аспекты формальной логики и сосредоточившись на других важных вопросах. Начнём с того, что мы будем рассматривать утверждения и отрицания существования, не используя такие понятия, как«все», «часть», «большинство» и другие кванторы. Мы также не будем говорить о принадлежности, качествах или отношениях. Для обозначения квантора существования  будем использовать символ «∃», как это принято в литературе...
Основы формальной и предикатной логики первого порядка
Аристотель считал, что логика — инструмент к познанию, который объединяет методом получения информации науки