Формализацията е метод на логиката
В традиционната логика се смяташе, че има определени закони и правила на мислене, които са присъщи на човек от раждането, те са заложени по определен начин в човешкия мозък. Следователно придобиването на знания по логика трябва да се сведе до познаването на тези закони и правила чрез изучаване на човешкото мислене, така че хората да могат съзнателно да използват откритите правила.
Горните представи на традиционната логика се опровергават с редица аргументи.
В резултат на тези изследвания беше установено, че хората на нисък етап на развитие не владеят най-простите схеми за извличане на знания, включително тези, които съвременните хора овладяват спонтанно и които не представляват затруднения дори за съвременните ученици от трети клас. Това дава основание за твърдението, че човек няма вродени знания от логиката, тя не получава тези знания по наследство, генетично. Хората придобиват нови знания от логиката чрез научна познавателна дейност, а съществуващите знания чрез обучение.
Втори аргумент. Подобно заключение може да се направи и на базата на анализ на мисленето на деца, израснали с животни. Тези деца не могат да възприемат способността да общуват с помощта на знаци от животни (защото животните не го притежават), така че какъв вид мислене със знаци могат да имат тези деца? Освен това учените са установили, че след определена възраст, ако детето не е овладяло текущия език, тя вече не може да го владее. Очевидно има някакви необратими промени, които правят невъзможно овладяването на езика на възраст, надхвърляща споменатата граница. Така че, ако детето не е усвоило знаците, тогава в мозъка му може да има закони на мислене с помощта на знаци, тоест законите на абстрактното мислене? Очевидно никакви правила не се предават в човешкия мозък с гени.Тези правила не са това, което се предава генетично, а това, което те придобиват (или без да го осъзнават, тоест спонтанно, или в резултат на съзнателни когнитивни действия на учене).
Трети аргумент. Фактът, че човек не се ражда с правилата на абстрактното мислене в мозъка, се доказва и от историята на интелектуалната култура на човечеството. По-специално, фактите, моделите на мислене, запазени в историята на културата, дават основание да се твърди, че преди формирането на логиката като наука мисленето на хората е било по-малко съвършено. Същото се доказва и от изследвания в областта на детската психология - способността за извършване на определени логически операции (класифициране, заключение и т.н.) се формира у детето постепенно, а не се появява веднага от раждането.
И така, законите и правилата на мислене не са вродени, не се предават генетично, човек се ражда с "чист" мозък и съответно е погрешно да се каже, че придобиването на знания по логика се състои в познаването на законите и правилата на мислене, които уж са присъщи на човек. Всъщност знанието в логиката се състои в обосноваване на възможността за извършване на определени заключения по всеки приемлив начин и формулиране, въз основа на тези обосновки, на съответните правила за извод. В този случай, след като усвои предварително обоснованите правила, човек може да ги прилага съзнателно. В същото време това не означава, че изучаването на мисленето на изключителни учени или практици е безсмислено - това е и начин за получаване на знания за това как да се създават нови знания. Изучаването на мисловни модели обаче не е основният начин за получаване на знания от логиката. Споменатият път не може да замени систематичен анализ, теоретичен подход, той е опит за получаване на знания за методите на мисленеемпирично - да наблюдаваме, да идентифицираме мисловни модели в мисловни модели.
Методът, чрез който се получават знания от логиката, е формализацията. Нека разгледаме същността на този метод на най-простия пример. Нека анализираме следните предложения:
никой адвокат не е прокурор.
никое езеро не е море.
никой триъгълник не е четириъгълник.
Лесно се установява, че тези изречения си приличат с нещо, лесно се забелязва и какво точно - във всяко от тях, с наличния слон, има не едно и няколко имена от същия вид (адвокат, прокурор; езеро, море; триъгълник, четириъгълник). Нека въведем обозначения за идентифицираните видове думи. Вместо думи няма да записваме символа e, а вместо всяка от думите (адвокат, прокурор и др.) - символи 5, G.
Тази първа стъпка не е достатъчна, за да напишете със символи изреченията, изречени на естествен език. Да кажем, че изречението Никой триъгълник не е четириъгълник може да бъде написано с приетите символи по няколко начина, например: 1) 8eP; 2) eZR; C) B R д. За еднаквост един от методите на символно означение трябва да бъде приет като норма. С други думи, човек трябва да приеме правилата на синтаксиса, тоест правилата за създаване на изрази въз основа на предварително въведени знаци. За разглеждания пример ще вземем първия метод, тоест всяко от горните изречения ще бъде фиксирано от израза By eP.
Следващата стъпка е да се формулират правилата за трансформиране на изрази, тоест такива правила, с помощта на които могат да се получат други от едни изрази и съответно други от едно знание. За да направите това, нека разберем значението на израза никой (думата е в примера, който разглеждаме, не играе никаква роля, тъй като това е временна форма). Значението на думите никой, например, вИзречението Никой триъгълник не е четириъгълник се крие в обозначаването на връзка на несъвместимост между две групи от обекти (в разглеждания пример между триъгълници и четириъгълници). Тази връзка може да се изобрази графично с две окръжности, които нямат общи точки (фиг. 1).
В изречението Никой триъгълник не е четириъгълник, знанията за триъгълниците са фиксирани (тази дума се намира в началото на изречението). Въпреки това, от диаграмата, показана на фиг. 1 виждаме, че в случай на връзката на несъвместимост на обекти с факта, че нито един триъгълник не е четириъгълник, можем да заключим, че нито един четириъгълник не е триъгълник. Това вече е ново знание – знание за четириъгълниците. И така, след като открихме значението на израза none is not, можем да формулираме правилото за извод: от твърдението none 5> да не се яде може да се заключи P. Едно P е да не се яде. В символична форма това правило може да бъде написано по следния начин:
Над реда изречението, от което е изведен изходът, а под реда изречението, получено в резултат на изхода.
Получената в резултат на описаните действия логическа схема се прилага т.н. Ако съществуващото изречение е от същия тип като трите по-горе, тогава трябва да символизирате отделните части на това изречение, да го напишете в символична форма, да трансформирате този израз, например, според даденото по-горе правило и след това да върнете приетите словесни обозначения към символите на получения израз. В резултат на това, използвайки тази и други подобни схеми за разсъждение, се получават изречения на естествен език, които са извлечени от друго, оригинално изречение. След като разберем чрез пример как се формулират правилата за извод и как се използват, можем да определим какво е формализация в общи линии.Формализацията е:
1) въвеждането на символни обозначения за определени видове изрази на естествен език е оправдано;
2) въвеждане на правила за създаване на сложни изрази от тези символни обозначения;
3) обосновка на правилата за преобразуване на изрази. Тоест правилата, по които друго знание се получава от едно знание.
ДЕФИНИЦИЯ
Логиката е наука за формите и законите за обработка на знанието в знакова форма.
Математическа логика - 1) съвременният етап в развитието на логиката, който започва в средата на 19 век. съзнателно, систематично прилагане на методите на математиката в логиката; 2) логически проблеми, които се разработват от математиката в контекста на изучаването на проблемите в математиката.
Символна логика - вижте първото значение в дефиницията на математическата логика.
Традиционната логика е началният етап в развитието на логиката, който продължава от нейното формиране до средата на 19 век, когато започва съзнателното, систематично прилагане на математическите методи в логиката.
Философска логика - логически проблеми, които философите разработват в контекста на изследването на проблемите на философията.
Формализацията е метод за генериране на знания от логиката, който се състои в последователно изпълнение на следните действия: 1) формиране на набор от знаци; 2) формулирането на синтактични правила, тоест правилата за създаване на изрази от този набор от знаци; 3) формулирането на правилата за преобразуване на изрази, т.е. създаване на едни изрази от други.