Клясычная лёгіка

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

Пры гэтым прынцып двухзначнасьці складаецца ў тым, што кожнае выказваньне прымае сапраўды адно з двух значэньняў — «ісьціна» або «няпраўда». Гэты прынцып раўнасільны прынцыпу выключэньня трэцяга.

У дачыненьні да правільна пабудаваных формул прынцып двухзначнасьці азначае наступнае: усякая формула пры дапушчальнай інтэрпрэтацыі нелягічных знакаў, якія ўваходзяць у яе склад, прымае сапраўды адно з двух значэньняў — «ісьціна» або «няпраўда».

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

Прынцып дапушчальнасьці інтэрпрэтацыі ставіцца да клясычнае лёгікі прэдыкатаў і складаецца ў патрабаваньні непустаты вобласьці інтэрпрэтацыі й прыняцьці тэрмамі значэньняў з вобласьці інтэрпрэтацыі: вобласьць інтэрпрэтацыі (унівэрсум разгляду, прадметная вобласьць) зьмяшчае, прынамсі, адзін аб’ет.

Кожны тэрм павінен мець значэньне, і гэтае значэньне павінна быць элемэнтам вобласьці інтэрпрэтацыі.

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

Выказваньне праўдзівае, калі й толькі калі тое, што ў ім сьцьвярджаецца, мае месца ў рэчаіснасьці.

Літаратура

• Логіка выказванняў: вучэбны дапаможнік / Гарбузаў, Віктар Мікалаевіч; Немец, Уладзімер Сьцяпанавіч; ГрДУ імя Я. Купалы. — Гродна: ГрДУ, 1997. — 44 с.
• Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1 — 2-е выд., перапрац. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., БДПУ, 2005. — 176 с.
• Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1996.
• Кантрольная праца па матэматыцы / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1993.
• Геаметрыя 7 — 11. / Пагарэлаў А. — Мн., 1991.
• Задачнік-практыкум па матэматыцы / Пакала А. А. — Мн., 1994.
• Асновы пачатковага курса матэматыкі / Стойлава Л. П., Пышкала А. М. — Мн., 1990.