Re:Saturn moon 'able to support life'
by andrewflnr on Thursday April 13, 2017 @08:26PM
(#14111848)
(Life on enceladus -> Life is common) does not entail (No life on enceladus -> Life is rare) by any length of proof, much less one short enough to let you call it a "corollary" with a straight face. This would be so even if "Life is common" and "Life is rare" were perfect logical complements, rather than being endpoints on a wide spectrum.
In that case you must not ignore the corollary: If there is no life on those moons, then it must follow that life is ridiculously rare.
And in that case, then it's pretty likely we are indeed alone in the universe.