Geçerlik, bir argümanın yapısıyla ilgili mantıksal bir kavramdır. Bir argümanın geçerli olması, eğer öncüller doğruysa, sonucun da kesinlikle doğru olması gerektiği anlamına gelir. Geçerlik, argümanın biçimiyle (içeriğiyle değil) ilgilidir. Başlıca geçerlik türleri şunlardır:
Bu geçerlik türünde, öncüllerin doğru olması durumunda sonucun kesinlikle doğru olması gerekir. Sonuç, öncüllerde zaten gizli olarak bulunur.
Bu öncüller doğru kabul edilirse, vardığımız sonuç kaçınılmaz olarak doğrudur.
Bu geçerlik türünde, öncüller sonucu muhtemel kılar, ancak kesinleştirmez. Gözlemlenen özel durumlardan genel bir sonuç çıkarılır.
Bu argüman geçerli olabilir, ancak sonuç kesin değildir; siyah bir kuğuyla karşılaşma ihtimali her zaman vardır.
Bu, en iyi açıklamaya ulaşmak için yapılan bir çıkarım türüdür. Gözlemlenen bir olgu için en olası veya en makul açıklama seçilir.
Burada sonuç kesin değildir; yolu bir itfaiye aracının da ıslatmış olma ihtimali vardır. Ancak, en makul açıklama sunulur.
Bir argümanı değerlendirirken, onun hangi tür bir geçerlikle ilerlediğini anlamak, sonucun gücünü ve güvenilirliğini yorumlamak açısından çok önemlidir.
