Формиране на диалектическа логика
Ако и традиционната (аристотелова), и символната (математическа) логика са качествено различни етапи в развитието на една и съща формална логика, то диалектическата логика е друг най-важен компонент на съвременната логика като наука за мисленето. Обръщайки се отново към историята на логиката, откриваме, че Аристотел вече е позирал и се е опитал да реши редица основни проблеми на диалектическата логика - проблемът за отразяване на реални противоречия в концепциите, проблемът за връзката между индивида и общото, нещо и концепцията за него и т. н. Елементи на диалектическата логика постепенно се натрупват в писанията на следващите мислители и се проявяват особено ясно в трудовете на Бейкън, Хобс, Декарт, Лайбниц. Въпреки това, като относително независима логическа наука, качествено различна от формалната логика в подхода си към мисленето, диалектическата логика започва да се оформя едва в края на 18 - началото на 19 век. И това също е свързано, на първо място, с напредъка на науките. В тяхното развитие все по-ясно се отбелязва нов етап: от науките за утвърдени, „завършени“ предмети те все повече се превръщат в науки за процесите, произхода и развитието на тези обекти, както и връзката, която ги обедини в едно велико цяло.
Доминиращият преди това метафизичен метод на изследване и мислене, свързан с изолирано разглеждане на обекти и явления от реалността, извън тяхната връзка, промяна и развитие, навлизаше във все по-дълбоко противоречие с постиженията на науките. Императивът на времето беше нов, по-висш, диалектически метод, основан на принципите на универсалната връзка, промяна и развитие.
Първият, който се опитва съзнателно да въведе диалектиката в логиката, е немският философ И. Кант (1724–1804). Преглеждайки вековната история на развитието на логиката, започвайки от Аристотел, той преди всичко обобщава резултатите от това развитие. За разлика от някои от своите предшественици, Кант не отричаше нейните постижения. Напротив, смяташе философът, логиката е постигнала известни успехи и тя дължи тези успехи на „определеността на нейните граници“, а самите й граници се дължат на факта, че тя е „наука, която излага в детайли и строго доказва само формалните правила на цялото мислене. "[девет].
Друг немски философ, Г. Хегел (1770–1831), прави грандиозен опит да развие интегрална система от нова, диалектическа логика. В основната си работа „Наука за логиката“ той преди всичко разкрива фундаменталното противоречие между наличните логически теории и действителната практика на мислене, която по това време е достигнала значителни висоти. Средството за разрешаване на това противоречие е създаването от него - макар и в особена, религиозно-мистична форма - на система от нова логика. Неговият фокус е върху диалектиката на мисленето в цялата му сложност и противоречия. Хегел преразгледа същността на мисленето, неговите закони и форми. В тази връзка той стигна до заключението, че „диалектиката съставлява естеството на самата мисъл, че по качеството на разума тя трябва да изпадне в отричане на себе си, в противоречие“. Мислителят вижда своята задача като намиране на начин за разрешаване на тези противоречия. Хегел строго критикува старата, обикновена логика за връзката й с метафизичния метод на познание.
В същото време Маркс и Енгелс показват дълбока качествена разлика между своята диалектика и хегелианската: Хегелиан е идеалист, а марксистът е материалист, разглеждайки мисленето, неговите форми и закони като отражение на външния свят.
Разкривайки действителната връзка между формалната и диалектическата логика, Енгелс показа, че те не се изключват взаимно. Официалната логика е необходима, но не е достатъчна. Следователно е необходима и диалектическа логика.
Формирането на диалектическата логика като наука продължава в различни страни в края на 19 век, както и през целия 20 век. В Русия разработването на отделни проблеми на диалектическата логика, връзката й с формалната логика е извършено от Г. Плеханов (1856-1918) и В. Ленин (1870-1924). Така Плеханов, противопоставяйки се на онези, които отхвърляха диалектическата логика, разкри връзката й с формалната логика по следния начин: „Както мирът е частен случай на движение, така и мисленето по правилата на формалната логика (според„ основните закони “ на мисълта) е частен случай на диалектическо мислене ". Диалектиката, смята той, „не премахва формалната логика, а само я лишава от законите на абсолютния смисъл, който им приписват метафизиците“.