Knowing Logic