Hacker News new | past | comments | ask | show | jobs | submit login

"All cats die. Socrates is dead. Therefore Socrates is a cat."



No. Mirroring the parent would be : "All cats die. Socrates is immortal. Therefore Socrates is not a cat." Which is perfectly valid logic.


More like: "Non-living things don't move. The bus moves. Therefore, the bus is alive."

This is false because there exist things that are non-living but move.

Similarly, the original "not alive" => "doesn't need resources" argument is false because there exist things that are not alive that do need resources (such as buses), and so needing resources does not imply being alive.


I'll let Eugène Ionesco know.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: