кох суджень ми отримуємо інше судження витягуючи його з змісту вихідних суджень. Вихідні судження, з яких виводиться, витягується інше судження, називають посилками умовиводи. У наведеному вище прикладі посилками будуть такі судження: В«Все сланці горючі" (загальна, або велика посилка), В«дана речовина є сланцем В»(приватна, або менша, посилка). Найпростішою і типовою формою виведення на основі приватної і спільної посилок є силогізм.
Прикладом сілллогізма може служити наступне міркування: В«Всі метали - електропровідні. Олово - метал. Отже, олово - електропровідні В».
На основі подібних способів і формул міркування можна зіставляти один з одним ті чи інші поняття і судження, якими користується людина в ході своєї розумової діяльності. У міру такого зіставлення здійснюється перевірка всіх основних думок, що виникають у процесі обмірковування поступово розв'язуваної задачі. Істинність, правильність кожної думки стає тоді строго обгрунтованою і доказовою. По суті, весь процес докази (наприклад, математичної теореми) будується в кінцевому підсумку як ланцюг силогізмів, соотносящие один з одним різні судження, поняття тощо
Таким чином, силогізм і всі інші логічні форми абсолютно необхідні для нормального протікання розумової діяльності. Завдяки ним всяке мислення стає доказовим, переконливим, суперечним і, значить, правильно відображає об'єктивну дійсність. Тому формальналогіка, спеціально досліджує такі форми мислення, як поняття, судження і умовивід, тим самим вивчає вельми істотні закономірності розумової діяльності.
Закономірності, що вивчаються формальною логікою, хоча і необхідні, але абсолютно недостатні для повного, глибокого, всебічного пояснення людського мислення.
Предмет формальної логіки - це не все мислення, а тільки одна його сторона, хоча, як ми бачили, і вельми істотна (логічні форми мислення). Формальна логіка досліджує як би готові, наявні, вже виниклі думки - поняття, судження і т.д. - І встановлює певні співвідношення (формули) між ними. Силогізм і є одним із прикладів такого співвідношення або такий формули. Тим самим формальна логіка відволікається, абстрагується від безпосередніх умов виникнення і розвитку цих думок - понять, суджень, умовиводів.
Формула силогізму, як і всяка інша формула формальної логіки, не виражає процес мислення, не вказує, як конкретно протікає процес виникнення і розвитку даної думки. Наприклад, в силогізм спочатку коштує зазвичай велика, тобто загальна посилка, потім слід менша, тобто приватна посилка, і тільки потім робиться висновок з обох посилок. Але це не означає, звичайно, що в живому, дійсному, реальному процесі мислення спочатку з'являється тільки загальне положення (загальне судження) і лише потім виникає якесь приватне судження. Загальне і приватне завжди виступають у нерозривному взаємозв'язку. Більше того, в реальному мисленні посилки силогізму або будь-якого іншого умовиводи ніколи не бувають дано відраз...
