Wolna encyklopedia

Logika intuicjonistyczna jest to system logiczny oparty na filozoficznej koncepcji intuicjonizmu. 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 prawo wyłączonego środka oraz dwuwartościowość logiki klasycznej. Za prekursora formalizacji logiki intuicjonistycznej uważa się Arenda Haytinga.

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.