Істинність, правильність кожної думки стає тоді суворо обгрунтованою і доказовою. По суті, весь процес докази (наприклад, математичної теореми) будується в кінцевому підсумку як ланцюг силогізмів, що співвідносяться один з одним різні судження, поняття і т.д.

Таким чином, силогізм і всі інші логічні форми абсолютно необхідні для нормального протікання розумової діяльності. Завдяки їм всяке мислення стає доказовим, переконливим, несуперечливим і, значить, правильно відображає об'єктивну дійсність. Тому формальна логіка, спеціально досліджує такі форми мислення, як поняття, судження і умовивід, тим самим вивчає досить істотні закономірності розумової діяльності.

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

Предмет формальної логіки - це не все мислення, а тільки одна його сторона, хоча, як ми бачили, і дуже суттєва (логічні форми мислення). Формальна логіка досліджує як би готові, що є, вже виникли думки - поняття, судження і т.д. - І встановлює певні співвідношення (формули) між ними. Силогізм і є одним із прикладів такого співвідношення або такої формули. Тим самим формальна логіка відволікається, абстрагується від безпосередніх умов виникнення та розвитку цих думок - понять, суджень, умовиводів.

Формула силогізму, як і всяка інша формула формальної логіки, не виражає процес мислення, не вказує, як конкретно протікає процес виникнення і розвитку даної думки. Наприклад, в силогізм спочатку варто звичайно велика, тобто загальна посилка, потім йде менша, тобто приватна посилка, і тільки потім робиться висновок з обох посилок. Але це не значить, звичайно, що в живому, дійсному, реальному процесі мислення спочатку з'являється лише загальне положення (загальне судження) і лише потім виникає якесь приватне судження. Загальне та приватне завжди виступають в нерозривному взаємозв'язку. Більш того, в реальному мисленні посилки силогізму або будь-якого іншого умовиводу ніколи не бувають дані відразу вже в готовому вигляді. Їх треба виявляти, добувати, виокремлювати з допомогою мислення.

Формальна логіка відволікається, абстрагується від безпосередніх умов виникнення і розвитку тих чи інших думок. Вона повністю відволікається, зокрема, і від взаємозв'язку мислення з чуттєвим пізнанням. Інакше кажучи, вона зовсім не досліджує, на відміну від психології, як конкретно виникає і збагачується зміст нашого мислення на основі відчуттів, сприйнятті і уявлень.