Sonuç, tesislerinde. Tesisin gerçekten doğru olup olmadığı önemsizdir. Sonucun doğru olup olmadığı da öyle. Önemli olan tek soru şudur: mümkün tesislerin doğru ve sonuçların yanlış olması için? Bu mümkün ise, argüman geçersizdir.
Geçersizliği Kanıtlamak
"Counterexample yöntemi", yanlış olanı geçersiz bir bağımsız değişkenle göstermenin güçlü bir yoludur. Metodik olarak ilerlemek istiyorsak, iki adım vardır: 1) Bağımsız değişken formunu izole edin; 2) Aynı formda bir argüman oluşturun belli ki geçersiz. Karşı örnek budur.
Kötü bir tartışmaya örnek verelim.
- Bazı New Yorklular kaba.
- Bazı New Yorklular sanatçıdır.
- Bu nedenle bazı sanatçılar kaba.
Adım 1: Bağımsız Değişken Formunu Ayırma
Bu, anahtar terimleri harflerle değiştirmek ve bunu tutarlı bir şekilde yaptığımızdan emin olmak anlamına gelir. Bunu yaparsak şunları elde ederiz:
- Bazı N R'dir
- Bazı N'ler A
- Bu nedenle bazı A R'dir
2. Adım: Karşı örnek oluşturun
Örneğin:
- Bazı hayvanlar balıktır.
- Bazı hayvanlar kuştur.
- Bu nedenle bazı balıklar kuştur
Bu, Adım 1'de ortaya konan argüman formunun "ikame örneği" olarak adlandırılır. Bunların hayal edebileceği sonsuz sayıda var. Bağımsız değişken formu geçersiz olduğu için her biri geçersiz olacaktır. Ancak bir karşı örneğin etkili olması için, geçersizliğin ortaya çıkması gerekir. Yani, tesislerin gerçeği ve sonucun sahteliği tartışılmamalıdır.
Bu ikame örneğini düşünün:
- Bazı erkekler siyasetçidir
- Bazı erkekler Olimpiyat şampiyonu
- Bu nedenle bazı politikacılar Olimpiyat şampiyonu.
Karşı denenen bu denemenin zayıflığı, sonucun açıkça yanlış olmamasıdır. Şu anda yanlış olabilir, ancak bir Olimpiyat şampiyonunun siyasete girdiğini kolayca hayal edebilirsiniz.
Argüman formunu tecrit etmek, bir argümanı çıplak kemiklerine (mantıksal formu) kaynatmak gibidir. Yukarıda bunu yaptığımızda, "New Yorker" gibi belirli terimleri harflerle değiştirdik. Yine de, argüman tüm cümleleri veya cümle benzeri ifadeleri değiştirmek için harfler kullanılarak ortaya çıkar. Bu argümanı düşünün, örneğin:
- Seçim gününde yağmur yağarsa, Demokratlar kazanacak.
- Seçim günü yağmur yağmaz.
- Dolayısıyla Demokratlar kazanamayacak.
Bu, "onaylama" olarak bilinen yanlışlığa mükemmel bir örnektir. öncül. "Argümanı tartışma formu, şunu elde ederiz:
- R ise D
- R değil
- Bu nedenle D değil
Burada, harfler "kaba" veya "sanatçı" gibi açıklayıcı kelimeler anlamına gelmez. Bunun yerine, "Demokratlar kazanacak" ve "seçim gününde yağmur yağacak" gibi bir ifadeyi temsil ediyorlar. Bu ifadelerin kendileri doğru veya yanlış olabilir. Ancak temel yöntem aynıdır. Tartışmanın geçersiz olduğunu, tesislerin açıkça doğru olduğu ve sonucun açıkça yanlış olduğu bir ikame örneği ortaya çıkararak gösteririz. Örneğin:
- Obama 90 yaşından büyükse, 9 yaşından büyüktür.
- Obama 90 yaşından büyük değil.
- Bu nedenle Obama 9 yaşından büyük değildir.
Counterexample yöntemi tümdengelimli bağımsız değişkenlerin geçersizliğini ortaya koymada etkilidir. Endüktif argümanlar üzerinde gerçekten işe yaramıyor çünkü açık konuşmak gerekirse, bunlar her zaman geçersiz.