Фармальная логіка і яе асноўныя законы

Логіка - навука аб прыёмах, законах і формах мыслення. Фармальная логіка была распрацавана старажытнымі грэкамі задоўга да нашай эры. Менавіта грэкі першымі пабудавалі дэмакратычнае грамадства, дзе рашэнні і законы прымаліся на народных сходаў. Яны на прымітыўным узроўні стварылі навуку вядзення судовых працэсаў. А любімым заняткам арыстакратычнай моладзі былі дыскусіі з філосафамі. Адсюль ўсеагульная любоў да распрацоўкі тэарэтычных навук. Грэкам проста неабходна было вучэнне пра тое, як каштаваць навуковыя доказы.

Першы курс асноў логікі распрацаваў Арыстоцель. Ён звярнуў увагу на тое, што любыя развагі будуюцца па агульных законах, парушэнне якія прыводзіць да памылковым высноў. Фармальная логіка Арыстоцеля грунтавалася на такіх законах:

1. Калі меркаванні з'яўляюцца сцвярджальна, што зроблены з іх вывад не можа быць адмоўным.
2. Калі адно з сцвярджэнняў адмоўнае, то і агульны вывад заўсёды будзе адмоўным.

Адсюль выходзіць, што фармальная логіка - гэта веды аб прынцыпах і законах эфектыўнага, правільнага пабудовы разваг, з улікам формы іх пабудовы (спосабаў злучэння асобных частак агульнай развагі).

Усе з'явы і прадметы маюць ўзаемасувязь. Сувязі могуць быць аб'ектыўнымі ці суб'ектыўнымі, агульнымі ці прыватнымі, неабходнымі або выпадковымі. Самыя істотныя з гэтых сувязяў называюць законамі. Усе яны адлюстроўваюць адну і тую ж рэальнасць, такім чынам, ніяк не могуць супярэчыць адзін аднаму. Усе законы чалавечага мыслення звязаныя з законамі развіцця прыроды.

Законы мыслення ўяўляюць сабой устойлівую ўнутраную сувязь паміж думкамі. Калі чалавек не можа звязаць свае думкі, то ён не прыйдзе да правільнага высновы і не зможа данесці яго да іншых.

Асноўныя законы фармальнай логікі - гэта законы несупярэчлівасці, тоеснасці, выключэння трэцяга і закон дастатковага падставы. Распрацоўка першых трох належыць Арыстоцеля і Платона, апошняга - Лейбніцу. Парушэння гэтых законаў (асабліва першых трох) прыводзіць да супярэчнасцям, робячы немагчымым адрозніваць праўду ад хлусні. Апошні закон менш Нарматывы і ўжываецца больш абмежавана.

Неасноўныя законы логікі - гэта правілы апэраваньня меркаваннямі і паняццямі, атрымання сапраўднага высновы ў сілагізмах, павышэння верагоднасці высноў высновах індуктыўнага і традуктивного характару.

Закон несупярэчлівасці азначае, што мысленне не павінна быць супярэчлівым, а павінна адлюстроўваць якасную пэўнасць рэчаў.

Закон выключанага трэцяга загадвае не шукаць паміж двума супярэчаць адзін аднаму, але праўдзівымі выказваннях нешта трэцяе, а прызнаваць праўдзівасць толькі аднаго з іх. Адно з складнікаў супярэчнасці - абавязкова праўдзівае.

Закон тоеснасці фармальная логіка трактуе як патрабаванне ад мыслення дакладнасці, гэта значыць пад любым тэрмінам трэба дакладна разумець яго вызначэнне і сэнс. Сутнасць паняццяў і меркаванні нельга скажаць па ўласным жаданні.

Закон дастатковай падставы заключаецца ў тым, што любую сапраўдную думка трэба абгрунтоўваць іншымі праўдзівымі думкамі, а ілжывыя думкі абгрунтоўваць нельга. У развіцця меркаванняў павінна адлюстроўвацца прычынна-следчая сувязь. Толькі ў гэтым выпадку можа быць даказаная сабою маю ноч.

Лагічная форма думкі і спосабы вызначэння формаў любых думак выяўляюцца з дапамогай лагічных тэрмінаў, да якіх ставяцца саюзы "і", "або", "калі ..., то ...", адмаўлення "няправільна, што" ( "ня") , словы "некаторыя", "усе" ( "ні адзін"), звязак "сутнасць" (у значэнні "ёсць") і г.д. Выявіць лагічную форму меркаванні можна, адцягнуўшыся ад сэнсу тэрмінаў нелагічных, якія ўваходзяць у слоўнае выраз гэтага меркаванні. Іншымі словамі, фармальная логіка выказвае структуру думкі. Лагічная форма заўсёды інфарматыўная і змястоўная.

У залежнасці ад іх формаў думкі дзеляцца на класы: паняцці, высновы і меркаваньні. Паняцце - думка, абагульняючая прадметы на аснове іх базавых прыкмет. Меркаваньне - думка, якая сцвярджае наяўнасць (адсутнасць) палажэнняў спраў. Выснова - думка, якая адлюстроўвае атрыманне ведаў, выражаных у меркаваннях, з іншых ведаў.