"Суждений, которые не нуждаются ни в каком доказательстве, или так называемых аксиом, очень не много. Суждений, которые служат простым, точным выражением наблюдаемых фактов, правда, бесчисленное множество; но они редко входят непосредственно в системы наук в качестве научных положений; по большей части они служат только посылками для вывода научных истин. Почти все содержание знания составляют суждения выводные, так что вывод по всей справедливости можно назвать той формой нашего убеждения в истине, которая всего чаше применяется в науке. Постоянно также пользуемся мы им и в жизни. Отсюда понятно, почему логика с самого начала своего существования всегда ставила своей существенной задачей обозреть разнообразные формы выводов, которыми пользуется человек в науке и в жизни. Успела ли она разрешить эту задачу? Дает ли она полную и правильную классификацию выводов? Группировка выводов в различных системах логики не одинакова. Но для нас важны, конечно, не незначительные разногласия, а разности наиболее существенные, и наша критика может касаться не воззрений, стоящих особняком, а взглядов более или менее устойчивых. Все системы логики можно разделить на две большие группы, смотря по отношению их к учению о силлогизме. Одни из них считают силлогизм за вывод и принимают, говоря вообще, аристотелеву классификацию его, другие отрицают значение силлогизма как вывода. Мы должны особо рассмотреть каждую из этих групп и сверх того отметить недостатки общие им обеим".