Di logica, tassonomia e altre sciocchezze

Mi è capitato di recente di assistere a una discussione che si è sviluppata secondo questo schema, anche se non parlava esattamente di mammiferi e coccodrilli.

Tizio: Tutti i quadrupedi sono mammiferi.
Caio: È falso.
Tizio (leggermente piccato): Ah! Vorresti forse dire che nessun quadrupede è un mammifero? E il cane, allora? Il gatto? Non sono forse mammiferi? Non hanno quattro zampe?
Caio: Ma no, vedi, negare che tutti i quadrupedi siano mammiferi non vuol dire che nessun quadrupede sia un mammifero...
Tizio (interrompendo): ...e la pecora? il topo? eh? eh? vuoi che ti faccia altri esempi? il rinoceronte, il lupo...
Caio: No, dicevo che negare che tutti i quadrupedi siano mammiferi vuol dire che ci sono dei quadrupedi che non sono mammiferi. Per esempio il coccodrillo, ecco, che è un rettile e ha quattro zampe.
Tizio: Ah, ancora peggio! Quindi vuoi dire che nessun mammifero è quadrupede! o che tutti i quadrupedi non sono mammiferi!
Caio: No, veramente intendevo solo che negare l'asserto che tutti i quadrupedi siano mammiferi vuol dire che...
Tizio (offeso): E il cervo? L'orso? Il maiale? Eh?
Caio: No ecco, vedi, secondo la logica, negare la tua affermazione equivale a dire che esistono...
Tizio: "Secondo la logica"? E che, secondo te non ragiono, io? Ma lo vedi quanto sei arrogante? È così che comunichi la tua scienza?
Caio: Dicevo, per esempio il coccodrillo ha quattro zampe e...
Tizio: Ah e secondo te il fatto che esista il coccodrillo e che abbia quattro zampe toglie di mezzo il fatto che il cane, il gatto, il topo, il maiale, la pecora, l'orso e le vacche abbiano quattro zampe? Scusa, ma come ragioni? Robe da pazzi...
Caio: Dicevo che, secondo logica, il coccodrillo è un controesempio perché...
Tizio: Ma non c'entra! Devi capire che io non posso interessarmi di tutto, ho le mie conoscenze specialistiche, non so niente di coccodrilli, quindi se mi vieni a parlare per filo e per segno di coccodrilli cosa pretendi che capisca? È colpa tua che non ti spieghi bene.
Caio: Ma io veramente non stavo parlando nel dettaglio dei coccodrilli, era un esempio per...
Tizio: Chi è che ha tirato in ballo i coccodrilli?!
Caio: Io, ma era per dire che...
Tizio: ...Che cosa?
Caio: Niente.
Tizio: Ecco. A proposito, sai una cosa? Tutti i quadrupedi sono mammiferi.