Näiteks ei ole teada mingit meetodit kõigi hulkade hulga konstrueerimiseks, järelikult ei ole intuitsionisti seisukohalt sellise hulga olemasolu tõestatud. Samamoodi nõuavad intuitsionistid, et ``A või B'' tõestamiseks tuleb tõestada eraldi kas A või B: üldisest tõestusest, et vähemalt üks neist kehtib, ei piisa. Seetõttu ei aktsepteeri intuitsionistid reeglit A ÚØA, sest üldjuhul pole ju teada, kas mingil konkreetsel juhul on tõestatav A või ØA. Intuitsionistlik loogika ei erine klassikalisest loogikast mitte ainult olemasolu kvantori ning või- ja ja-tehete piiratuse poolest: järgmine klassikalise loogika jaoks tõene ja ainult järeldustehet sisaldav väide (nn. Peirce'i reegel) ei ole intuitsionistlikult tõestatav: ((A B) A) A. Intuitsionismi filosoofiline tuum on abstraktsete platooniliste tõdede mitteaktsepteerimine: intuitsionisti jaoks on tõde ainult see, mille jaoks on konstrueeritud tõestus
Teooria, mille kohaselt moraalifaktid eksisteerivad, kuid pole oma loomult naturaalsed. Nad avastatakse intuitsiooni abil. Moore'i arvates ei eristata heast rääkides kolme küsimust: · Hea on lihtne ja jagamatu, teda ei saa koormata "naturalistliku ballastiga" ega asendada näiteks meeldivaga. · Hea on mittenaturaalne, mittesensuaalne omadus. Me saame seda mõista intuitiivselt ja tervikuna. S.t, et hea ei ole ühegi asja või teo omadus. · Intuitsionistlik eetika väidab, et inimestel on vahetu teadvus moraalsetest väärtustest olemas. Intuitsionism · Eetikateooria, mille kohaselt hea või õige tegu tuntakse ära vahetu intuitsiooniga. · G.E.Moore on intuitsionist HEA suhtes, määratledes selle kui lihtsa analüüsimatu omaduse. · W.D.Ross on intuitsionist selle suhtes, mis on ÕIGE. · Intuitsionism on olnud eetikas varem väga levinud seisukoht, kuid tema positsiooni on
annaabi.ee 
