"Çıkarımın sonucu öncüllerden çıkar ve mantık bununla ilgilenir. Mantık, bir çıkarımın öncüllerinin doğru mu yoksa yanlış mı olduğuyla ilgilenmez. (...) Mantıkçılar, çıkarım sonucunun öncüllerden gerçekten çıktığı bir çıkarımı 'geçerli' diye adlandırırlar. Dolayısıyla, mantığın temel amacı geçerliliği anlamaktır."