E se verdadeiro ou falso não fossem as únicas possibilidades? Neste seminário faremos uma breve apresentação da lógica intuicionista e das principais características que a distinguem da lógica clássica. Porque é que nos permitimos fazer provas por redução ao absurdo? O que é o raciocínio construtivo? Para que pode servir esta lógica em que nem tudo é verdadeiro ou falso? E como se pode pensar neste "novo mundo"?