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

Логика - наука на методи, законите и форми на размислување. Формалната логика е развиена од страна на античките Грци, долго пред нашата ера. Тоа беше прв Грците да изгради демократско општество, каде што одлуките и законите донесени на јавна седница. Тие создадоа примитивни наука за спроведување на испитувања. А омилена поминување на времето на аристократски младите имаа разговори со филозофите. Оттука универзалната љубов на развојот на теоретската наука. Грците едноставно мораше учења за тоа како да се научни докази.

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

1. Ако пресудата е во афирмативен, што да прават со нив заклучокот не може да биде негативен.
2. Ако еден од изјавите е негативен, а општ заклучок е секогаш негативни.

Оттука се чини дека формалната логика - е познавање на принципите и законите ефикасно, соодветна изградба на размислување во однос на обликот на нивната изградба (начини за поврзување на поединечните делови на општите размислувања).

Сите појави и предмети се поврзани. Линкови може да бидат објективни или субјективни, општи или приватни, потребно или случајно. Најзначајните од овие обврзници се нарекуваат закони. сите тие се одразуваат на истата реалност, според тоа, не може да се контрадикторни едни со други. Сите закони на човековата мисла поврзани со законите на природата.

Законите на мислата се стабилна внатрешна врска меѓу мисли. Ако човек не може да се врзуваат своите мисли, тој не се дојде до вистинскиот заклучок и нема да биде во можност да го донесе на другите.

На основните закони на формалната логика - законите на конзистентност, идентитет, исклучената средина и право на доволна причина. Развојот на првите три припаѓаат на Аристотел и Платон, последниот - Лајбниц. Прекршувањето на овие закони (особено во првите три) доведува до противречности, што го прави невозможно да се направи разлика вистината од лагата. Последно закон помалку прописи и повеќе ограничена употреба.

Несуштински закони на логиката - тоа се правилата на оперативни предлози и концепти, добивање на вистински заклучок во силогизам, зголемување на веројатноста за индуктивно расудување и заклучоци traduktivnogo карактер.

Законот на конзистентност значи дека размислување не треба да биде контроверзно, но треба да бидат одраз на квалитетот на некои работи.

Исклучената средина Законот пропишува дека нема да бара меѓу две контрадикторни, но вистинито изјава е трета, и да ја признае вистината на само еден од нив. Една од компонентите на противречности - сигурно е точно.

законот на идентитет формалната логика толкува како барање на прецизноста на размислување, односно, под било кој услов што треба точно да се разбере нејзината дефиниција и значење. Суштината на концепти и пресудите не може да ја нарушат по своја волја.

право на доволна причина е дека секој вистински мисла е потребно за да се оправда со други точно мисли, и лажни идеи не може да се оправда. Во развојот на одлуки треба да бидат одраз на причинско-последична врска. Само во овој случај може да се докаже нејзината сигурност.

На логичката форма на размислување и методи за определување на формите на сите мисли изразени од страна на логичка смисла, која го содржи зборот "и", "или", "ако ... тогаш ..." одрекување "Не е точно дека" ( "Не") , зборот "некои", "сите" ( "Не"), еден куп на "суштината" (во смисла на "е"), итн Идентификување на логичката форма на пресудата може да се расејува од значењето на условите на нелогично, кои се вклучени во вербалниот израз на оваа пресуда. Со други зборови, формалната логика изразува структура на мислата. Логичката форма е секогаш информативни и значајни.

Во зависност од нивните форми на мислата се поделени во класи: концепти, размислување и расудување. Концепт - идејата дека генерализатор на предметите врз основа на нивните основни карактеристики. Пресуда - идејата, тврдејќи присуство (отсуство) на ситуацијата. Инференција - мислев, како одраз на стекнување на знаења, изразена во пресудите на другите знаење.