formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed.&nbsp; &nbsp; - formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. &nbsp; -  formaalloogika ütleb, mida saab järeldada lähtudes üksnes väiteid väljendavate lausete vormist.