Формална логика и нейните основни закони

Логиката е науката за методите, законите и формите на мислене. Формалната логика е разработена от древните гърци Преди новата ера. Гръците първо построиха демократично общество, където решенията и законите бяха приети в народните събрания. Те създадоха референтна наука на примитивно ниво изпитвания. И любимата окупация на аристократичната младеж беше дискусията с философите. Оттук и универсалната любов към развитието на теоретичните науки. Гърците просто се нуждаеха от обучение за това как да струват научни доказателства.

Първият курс на основите на логиката е разработен от Аристотел. Той обърна внимание на факта, че всички мотиви се основават на общи закони, чието нарушение води до погрешни заключения. Формалната логика на Аристотел се основава на такива закони:

1. Ако присъдите са положителни, заключението, направено от тях, не може да бъде отрицателно.
2. Ако едно от твърденията е отрицателно, тогава общият извод винаги ще бъде отрицателен.

Оттук следва, че формалната логика - това знание за принципите и законите за ефективно, правилно конструиране на разсъжденията, като се има предвид формата на тяхното изграждане (начини за свързване на отделните части на общото мислене).

Всички феномени и обекти са взаимосвързани. Връзките могат да бъдат обективни или субективни, общи или частни, необходими или случайни. Най-важните от тези връзки се наричат ​​закони. Всички те отразяват една и съща реалност, следователно не могат да се противопоставят една на друга по никакъв начин. Всички закони на човешкото мислене са свързани със законите за развитието на природата.

Законите на мисълта представляват стабилна вътрешна връзка между мислите. Ако човек не може да свърже мислите си, той няма да стигне до правилното заключение и няма да може да го предаде на другите.

Основни закони на формалната логика - това са законите на последователност, идентичност, изключване на третата и закон на достатъчно основания. Развитието на първите три принадлежи на Аристотел и Платон, последното на Лайбниц. Нарушенията на тези закони (особено първите три) водят до противоречия, което прави невъзможно разграничаването на истината от лъжите. Последният закон е по-малко нормативен и се прилага по-ограничително.

Независимите основни закони на логиката са правилата на оперативните преценки и концепции, постигането на истинско заключение в силогизма, увеличаването на вероятността от индуктивни заключения на заключенията и от трансдуктивен характер.

Законът на последователността означава, че мисленето не трябва да противоречи, а трябва да отразява качествената сигурност на нещата.

Законът на изключената трета предписва да не търсят между два противоречащи си един на друг, но истински изявления нещо трето, но да признае истината само на един от тях. Един от компонентите на противоречието е задължително вярно.

правото на идентичност формална логика тълкува като изискване на прецизност мислене, т.е. при всяко условие, което трябва да се разбере точно нейното определение и значение. Същността на понятията и преценките не може да бъде изкривена по желание.

Законът на достатъчна основа е, че всяка истинска мисъл трябва да се основава на други истински мисли и е невъзможно да се оправдаят лъжливи мисли. Разработването на съдебни решения трябва да отразява една причинно-следствена връзка. Само в този случай може да се докаже неговата валидност.

Логическата форма на мислене и методи за определяне на формите на всички мисли, изразени от логически условия, които включват думата "и", "или", "ако ... тогава ..." отказ "Не е вярно, че" ( "не") , думите "някои", "всички" ("никой"), куп "същност" (в смисъла на "е") и т.н. Определянето на логическата форма на преценката може да се разсее от смисъла на нелогичните термини, които влизат в словесния израз на това решение. С други думи, формалната логика изразява структурата на мисълта. Логическата форма винаги е информативна и информативна.

В зависимост от формите си, мислите са разделени на класове: понятия, изводи и преценки. Концепцията е мисъл, която обобщава обекти въз основа на основните им характеристики. Съдът е мисъл, която потвърждава съществуването (отсъствието) на състоянието на делата. Изводът е мисъл, отразяваща придобиването на знание, изразено в преценки от други знания.