In order to introduce this novel conception of objectivity (to which he gave the name ‘transcendental idealism’) Kant began from an exploration of a priori knowledge. Among true propositions, some are true independently of experience, and remain true however experience varies: these are the a priori truths. Others owe their truth to experience, and might have been false had experience been different: these are the a posteriori truths. (The terminology here was not invented by Kant, although it owes its popularity to Kant’s frequent use of it.) Kant argued that a priori truths are of two kinds, which he called ‘analytic’ and ‘synthetic’ (A. 6-10). An analytic truth is one like ‘All bachelors are unmarried’ whose truth is guaranteed by the meaning, and discovered through the analysis, of the terms used to express it. A synthetic truth is one whose truth is not so derived but that, as Kant puts it, affirms something in the predicate that is not already contained in the subject. It is a truth like ‘All bachelors are unfulfilled’, which (supposing it to be true) says something substantial about bachelors and does not merely reiterate the definition of the term used to refer to them.