Philosophers have talked (and, of course, there has been considerable controversy in recent years over the meaningfulnp$s of these notions) about various categories of truth, which are called 'a priori', 'analytic', 'necessary' and sometimes even 'certain' is thrown into this batch.