Logika intuicjonistyczna

Ten artykuł od 2011-04 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu. Za prekursora formalizacji logiki intuicjonistycznej uważa się Arenda Heytinga.

Podstawową cechą logiki intuicjonistycznej jest założenie, że prawdziwość zdania jest oparta na istnieniu dla niego dowodu, a nie na wartościowaniu poszczególnych jego składowych. Z tego powodu logika intuicjonistyczna odrzuca m.in. prawo wyłączonego środka, silne prawo podwójnego przeczenia, silne prawo kontrapozycji, jedno z praw transpozycji czy pierwsze prawo de Morgana. Wynikiem tych zabiegów jest w szczególności rezygnacja z dwu-, a wręcz skończonej wartościowości logiki (tw. o braku skończonej matrycy adekwatnej dla intuicjonizmu zdaniowego).

Składnia

Logika intuicjonistyczna używa tej samej składni, co logika klasyczna. Nie występują żadne nowe spójniki logiczne.

Semantyka

Semantykę dla logiki intuicjonistycznej opisuje się zazwyczaj za pomocą algebr Heytinga lub modeli Kripkego.

Linki zewnętrzne

Artykuły na Stanford Encyclopedia of Philosophy (ang.) [dostęp 2018-09-08]:

• JoanJ. Moschovakis JoanJ., Intuitionistic Logic, 4 września 2018 . (Logika intuicjonistyczna)
• Mark vanM. Atten Mark vanM., The Development of Intuitionistic Logic, 8 listopada 2017 . (Rozwój logiki intuicjonistycznej)
• PeterP. Dybjer PeterP., ErikE. Palmgren ErikE., Intuitionistic Type Theory, 12 lutego 2016 . (Intuicjonistyczna teoria typów)