Итак, можно виделить следующие черты, отличающие способность к абстрактному мышлению от чувственно-сенситивного отражения действительности:
1) способность к отражению общего в предметах; при сенситивном отражении в отдельных предметах не дифференцируются общие и единичные признаки; они не разделены, слиты в единый гомогенный образ;
2) способность к отражению существенного в предметах; в результате же сенситивного отражения существенное не отграничивается от несущественного;
3) способность к конструированию на основе познания сущности предметов понятий-идей, подлежащих опредмечиванию;
4) опосредованное познание действительности — как через посредство сенситивного отражения, так и с помощью рассуждений, умозаключений и благодаря применению приборов.
Правильное рассуждение можно определить как такое, которое при истинности посылок гарантирует истинность заключения. Однако не любые истинные посылки и истинное заключение образуют правильное рассуждение. Вопрос о том, является ли некоторое умозаключение правильным или неправильным, нельзя смешивать с вопросом: какими – истинными или ложными – являются его посылки и заключение. Истинность посылок является необходимым, но недостаточным условием истинности заключения рассуждения. Дать оценку рассуждению, зная значение его посылок и заключения, можно лишь в случае, когда каждая из посылок истинна, а заключение ложно, т.е. если подобрать контрпример. В случае нахождения контрпримера рассуждение является заведомо неправильным, так как оно не сохраняет основное свойство логических систем – «свойство» сохранения истинности посылок при выведении заключения. Для того чтобы рассуждение было правильным, т.е. истинность его посылок с необходимостью гарантировала бы истинность заключения, рассуждение должно иметь правильную структуру, или логическую форму. Именно логическая форма является основанием для перехода от посылок к заключению в дедуктивных рассуждениях (для других типов рассуждений основания будут другие). Теперь можно более точно сформулировать критерий правильности дедуктивных рассуждений: умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинности посылок мы обязательно (всегда, каждый раз) получим истинное заключение, т.е. не существует умозаключения данной логической формы с истинными посылками и ложным заключением.