Логіка: Розніца паміж версіямі
[дагледжаная версія] | [дагледжаная версія] |
Змесціва выдалена Змесціва дададзена
Радок 109:
У 80-я гады пачаліся таксама змены ў адукацыі. З'яўленне персанальных камп'ютараў у сярэдніх школах прывяло да стварэння падручнікаў інфарматыкі з вывучэннем элементаў матэматычнай логікі для тлумачэння лагічных прынцыпаў працы лагічных схем і прылад вылічальнай тэхнікі, а таксама прынцыпаў лагічнага праграмавання для камп'ютараў пятага пакалення, і распрацоўцы падручнікаў інфарматыкі з вывучэннем мовы вылічэння прэдыкатаў для праектавання баз ведаў.
== Пытанні, вакол якіх ідзе палеміка ў логіцы ==
=== Бівалентнасць і закон выключанага трэцяга ===
Усе логікі, якія мы папярэдне абмяркоўвалі, з'яўляецца «бівалентнымі» або «двухсэнсоўнымі», гэта значыць яны прыпісваюць кожнаму сцвярджэнні, што разглядаецца, адно з двух значэнняў: «ісціна» або «хлусня». Сістэмы што не заўсёды прытрымліваюцца гэтага правіла вядомыя як-класічныя або неарыстоцелеўскія логікі. На пачатку 20-га Століне Ян Лукасевич з Львоўска-Варшаўскай лагічнай школы прапанаваў пашырыць традыцыйную логіку уключыўшы ў яе трэцяе значэнне «магчыма», вынайдучы так трохзнакавую логіку, першую з мнагазначных логік. Інтуіцыйнай логіка была прапанаваная Л. Брауерам як карэктная логіка для меркаванняў аб матэматыцы, і грунтуецца на адхіленні закона выключанага трэцяга. Інтуіцыйнай логіка вельмі цікавай для спецыялістаў па інфарматыцы, паколькі з'яўляецца канструктыўнай логікай, а такім чынам з'яўляецца логікай для кампутараў. Таксама была распрацавана невыразная логіка, якая прадугледжвае бясконцая колькасць «ступеней праўдзівасці», апісаных сапраўднымі лікамі ад 0 да 1.
== Гл. таксама ==
|