Класічная логіка

Класічная логіка (або стандартная логіка або логіка Фрэгэ-Расела) — клас дэдукцыйнай логікі, які найбольш шырока выкарыстоўваецца і інтэнсіўна вывучаеццаShapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical/. Класічная логіка аказала вялікі ўплыў на аналітычную філасофію.

 Характарыстыка 
Кожная лагічная сістэма ў гэтым класе мае характэрныя ўласцівасціGabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press.:

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

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

 Абагульненая семантыка 
Са з’яўленнем алгебраічнай логікі стала відавочным, што класічнае злічэнне выказванняў дапускае іншую семантыку. У булевай семантыцы (для класічнай логікі выказванняў) ісцінныя значэнні з’яўляюцца элементамі адвольнай булевай алгебры; «true» адпавядае максімальнаму элементу алгебры, а «false» — мінімальнаму. Прамежкавыя элементы алгебры адпавядаюць значэнням праўдзівасці, акрамя «ісціна» і «хлусня». Прынцып бівалентнасці выконваецца толькі тады, калі булева алгебра лічыцца двухэлементнай алгебрай, якая не мае прамежкавых элементаў.

 Заўвагі 

 Літаратура 
 Warren Goldfarb, «Deductive Logic», 1st edition, 2003, 

Катэгорыя:Логіка