Analitik muhakeme, ifadenin kendi içeriğinden dolayı çıkarılan bir mantıktır. Immanuel Kant, önce analitik muhakemeyi "Analitik Yargılar" olarak adlandırdığı Perspektifler Sisteminin bir parçası olarak tanımladı. "
Analitik mantık kullanırken, hiçbir şey gerekli değildir, ancak ifadedeki sözcüklerin doğru olup olmadığına karar vermesi gerekir. Örneğin, "Ted bir bekardır" ifadesinden, Ted'in bekar olarak tanımlandığı gibi evlenmemiş olması nedeniyle Ted'in evlenmemiş olması gerekebilir. Bu nedenle, analitik muhakeme kullanarak, Ted'in karısının olmadığı kesin olarak söylenebilir. Ted'in evli olduğu söylenirse, analitik muhakeme ile varılan sonuca aykırı olurdu.
