Back Intuicionistická logika Czech Intuitionismus German Intuitionistic logic English Intuicia logiko Esperanto Lógica intuicionista Spanish Intuitsionistlik loogika Estonian منطق شهودی Persian Logique intuitionniste French Կոնստրուկտիվ տրամաբանություն Armenian Logica intuizionista Italian
 |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
| Logik, Formellt system |
|---|
| Logiska system |
|
|
Den intuitionistiska logiken har sitt ursprung i intuitionismen som grundar sig på uppfattningen att existensen av ett (matematiskt) objekt endast kan fastställas genom att i någon mening konstruera objektet. I intuitionistisk logik är lagen om det uteslutna tredje inte en giltig princip, d.v.s., man kan inte i allmänhet sluta sig till att utsagan P eller icke P är sann. Idag är intuitionistisk logik inte bara tillämpad inom intuitionismen, utan även i exempelvis toposteori.