Coba jelasin Dugaan kasus kegagalan dari Modus ponens dong

Filsuf dan ahli logika Vann McGee berpendapat bahwa modus ponens dapat gagal untuk menjadi valid apabila akibat itu sendiri adalah kalimat bersyarat. Berikut adalah contoh:

Shakespeare atau Hobbes menulis Hamlet.

Jika Shakespeare atau Hobbes menulis Hamlet, maka jika Shakespeare tidak melakukannya, Hobbes yang melakukannya.

Oleh karena itu, jika Shakespeare tidak menulis Hamlet, Hobbes melakukannya

Premis pertama tampaknya cukup masuk akal, karena Shakespeare umumnya dikaitkan dengan menulis Hamlet. Premis kedua tampaknya masuk akal juga, karena kemungkinan penulis Hamlet terbatas hanya Shakespere dan Hobbes, menghilangkan satu akan meninggalkan yang lain. Tapi kesimpulan ini meragukan, karena jika Shakespeare dikesampingkan sebagai Hamlet'''s penulis, ada banyak alternatif yang masuk akal dari Hobbes.

Bentuk umum dari tipe penyangkalan McGee untuk modus ponens adalah , therefore  oleh karena itu ; tidak penting bahwa  memiliki bentuk disjungsi, seperti dalam contoh yang diberikan. Kasus-kasus seperti ini merupakan kegagalan dari modus ponens'' tetap menjadi minoritas pandangan di kalangan ulama, tetapi tidak ada konsensus tentang bagaimana kasus-kasus ini harus dibuang.