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