Формальная логика - наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области.