Mantık formel midir? Bir bilim olarak mantığın özelliği, içeriksiz, yapay, yani formel bir dil olmasıdır. Böyle bir dil, tıpkı matematik gibi, nesnel bir özelliğe sahiptir.