Öncülü reddetmek - Denying the antecedent
Öncülü reddedilmesi bazen de denilen, ters hatası veya tersi yanılgısı , bir olan biçimsel safsata çıkarsama tersini orijinal ifadeden. Şu biçimde muhakeme yoluyla işlenir :
- Eğer P daha sonra, S .
- Bu nedenle, P değilse, Q değil .
olarak da ifade edilebilir
- (P, Q anlamına gelir)
- (bu nedenle, P değil, Q değil anlamına gelir)
Bu formun argümanları geçersizdir . Gayri resmi olarak, bu, bu biçimdeki argümanların, öncülleri doğru olsa bile, sonuçlarını belirlemek için iyi bir neden vermediği anlamına gelir. Bu örnekte, geçerli bir sonuç şu şekilde olacaktır: ~ P veya Q.
Öncülü reddeden isim , koşullu önermenin "if" cümlesini reddeden " P değil " önermesinden türemiştir .
Bu argüman formunun geçersizliğini göstermenin bir yolu, gerçek öncülleri olan ancak açıkça yanlış bir sonucu olan bir örnektir. Örneğin:
- Kayak eğitmeniyseniz, bir işiniz var.
- Kayak hocası değilsin
- Bu yüzden işin yok
Bu argüman kasıtlı olarak kötüdür, ancak aynı biçime sahip argümanlar bazen, Alan Turing tarafından " Hesaplama Makineleri ve Zeka " makalesinde sunulan aşağıdaki örnekte olduğu gibi, yüzeysel olarak ikna edici görünebilir :
Her insanın hayatını düzenlediği belirli bir davranış kuralları kümesi olsaydı, bir makineden daha iyi olamazdı. Ama böyle kurallar yok, bu yüzden insanlar makine olamaz.
Bununla birlikte, erkekler yine de belirli bir dizi kurala uymayan makineler olabilir. Bu nedenle, bu argüman (Turing'in istediği gibi) geçersizdir.
Eğer argüman başka bir geçerli formu somutlaştırırsa, öncülü reddeden bir argümanın geçerli olması mümkündür. Örneğin, P ve Q iddiaları aynı önermeyi ifade ederse , o zaman argüman , soruyu gerektireceği için önemsiz bir şekilde geçerli olacaktır . Bununla birlikte, günlük söylemde, bu tür durumlar nadirdir, tipik olarak sadece "eğer-o zaman" öncülü aslında bir " eğer ve ancak eğer " iddiası (yani, iki koşullu / eşitlik ) olduğunda ortaya çıkar. Aşağıdaki argüman geçerli değildir, ancak ilk öncül "Kongreyi veto edebilirsem, o zaman ABD Başkanı benim" olsaydı böyle olurdu. Bu iddia artık modus tollens ve dolayısıyla geçerlidir.
- Birleşik Devletler Başkanı isem , Kongreyi veto edebilirim.
- Ben başkan değilim.
- Bu nedenle Kongre'yi veto edemem.
Bu yanılgı , bu örnekte olduğu gibi , reddedilen durumlar için de geçerlidir :
- Eğer uzunsan, o zaman kısa değilsin.
- Uzun değilsin
- Bu nedenle kısasın.