Розділ ІІІ. Формалізація як метод логіки

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

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

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