начною мірою долає цей недолік традиційної логіки. Недарма вона не рідко визначається як наука про методи дедуктивної формалізації змістовних теорій. Сучасна теорія висновку дозволяє виражати структуру тих чи інших умовиводів, нехай навіть дуже складних, у символічній формі, а на цій основі здійснювати їх перевірку. Для цього вироблена особлива логічна процедура, правда, сама по собі досить складна і громіздка, вимагає спеціальної підготовки.
У діалектичній логіці робляться спроби знайти і проаналізувати діалектичні форми умовиводів, наприклад силогізмів. Однак іменників результатів вони поки не дали.
Бібліографія
Бочаров В.А., Маркін В.І. Основи логіки raquo ;, Москва, 1998р.
Брюшінкін В.Н. Логіка raquo ;, Москва, 2001р.
Іванов Е.А. Логіка raquo ;, Москва, 2001р.
Івін А.А. Логіка raquo ;, Москва, 2000р.
