Sistema di logica le cui espressioni possono assumere i soli valori "vero" o "falso", spesso utilizzato per determinare il controllo di flusso nella programmazione. Prende il nome da George Boole (1815-1864), matematico che diede un contributo chiave ai campi di logica e algebra.
In Verse, il tipo boolean viene utilizzato per rappresentare i valori logici "vero" o "falso". La logica booleana viene valutata tramite espressioni fallibili in contesti di fallimento.