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