“The actual existence of the subject of the proposition is therefore only apparently, not really, implied in the predication, if an essential one: we may say, A ghost is a disembodied spirit, without believing in ghosts.”
John Stuart Mill, A System Of Logic, Ratiocinative And Inductive
