Логіка: Розніца паміж версіямі

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