Bizim için bir öncülün gerçekten doğru olup olmadığı önemsizdir. Bir mantıkçı bir akıl yürütmeyi denetlerken öncüllerin gerçekten doğru olup olmadığıyla ilgilenmez. Aklın doğru adımları atarak yürüyüp yürümediğiyle ilgilenir.