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