Synthetic a priori judgments are propositions that are necessarily true and provide new knowledge about the world, combining empirical content with logical necessity. Immanuel Kant introduced this concept to explain how certain fundamental principles, such as those found in mathematics and natural sciences, are both informative and universally valid without being derived from experience.