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

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

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

Предмет формальної логіки - це не все мислення, а тільки одна його сторона, хоча, як ми бачили, і дуже суттєва (логічні форми мислення). Формаль ... Читати далі »