Формална и диалектическа логика
Формална и диалектическа логика.
Разграничаване между формална и диалектическа логика Основателят на традиционната формална логика е, както знаете, Аристотел. Терминът "диалектическа логика" е въведен в науката от немския философ, обективен идеалист Г. Хегел (1770 - 1831), за първи път на идеалистична основа очерта основните закони и принципи на диалектическата логика като учение за общото развитие на абсолютното
Диалектическата логикае най-високата степен в развитието на логическата наука, но тя не отменя и не поглъща формалната логика, последната не трябва да се счита за преминат етап
Диалектическата логика, подобно на формалната логика, изучава мисленето, но от друга страна и чрез други методи. Формалната логика е логика, която изучава структурата на мисленето, изследва законите на структурата на нашето мнение.Тя е предназначена да даде отговор каква трябва да бъде структурата на мисълта, така че да е вярна и правилно да възпроизвежда реалността.логическите форми, тяхната когнитивна същност, разкрива връзката между формите и законите на мисленето със законите на обективния свят.Формалнаталогика изследва структурата на готови, установени логически форми, без да се интересува от техните генетични връзки и взаимен преход, докато диалектическата логика изучава формите на мислене в техните връзки, преходи и развитие. Ограничеността на формалната логика се състои в това, че спазването на нейните закони само по себе си не е достатъчно за познанието, и не в това, че тя се използва само за познаването на някои елементарни връзки и отношения, но при изучаването на сложни явления и връзки, нейните закони изглежда неакт В процеса на познание на етапа на абстрактното мислене има постоянна комбинация от два момента - формално спазване във всеки акт на мисълта и диалектическата посока на мисълта като цяло, както формалната, така и диалектическата логика действат навсякъде, в познанието на всякакви обекти, както прости, така и сложни, в познанието както на относително неподвижни обекти, така и на обекти, които се движат, те се променят.
Няма специална област на елементарни отношения, която да бъде разпозната само с помощта на формалната логика, и диалектическата логика би била неприложима в тях, както няма такава област на познанието, където мисленето да е подчинено само на законите на диалектическата логика и където не е необходимо да се съобразява с изискванията на формалната логика. Там, където се спазват законите на формалната логика, наистина диалектическото мислене става невъзможно различно, където диалектиката е заменена от софия. Стрий и еклектизъм мислене, това, без което мисленето като логически процес е по същество невъзможно.
Труден е въпросът за съотношението между формалната и математическата логика. Има различни гледни точки. Някои смятат, че съвременната формална логика е математическата логика, а една от другите (обща, традиционна, класическа), с изключение на математическата, днес не съществува. Математическата логика възниква от нуждите на математиката, като клон на традиционната логика, поглъща всичко ценно, постигнато от последната, и е нов, най-висок етап в развитието на формалната логика.
Други изхождат от факта, че има обща формална логика и математическа логика, че макар да са близки, те са различни науки и не могат да бъдат идентифицирани.Всяка от тези науки има свой предмет, свои задачи и методи иПоддръжниците на тази гледна точка смятат, че математическата логика не покрива всички проблеми на формалната логика, следователно не може да бъде сведена до математическата логика, заменена от нея.
Някои учени отнасят математическата логика към математиката и я смятат за логика в правилния смисъл.
Повечето съвременни логици признават първата гледна точка, те смятат, че формалната логика на настоящия етап от развитието на логическата наука е математическата (символна) логика.