A term (opposed to synthetic; similar to a priori) used by analytic philosophers to describe a proposition that is tautologous due to its form.