Google hasn't invented anything with their OS. It is basically a thin client that uses the internet instead of an intranet.

The biggest danger here is the potential for competitor lock-out. But as we've seen with Microsoft, there will just be lawsuits that will open it up the platform for fair competition (at least, theoretically).

Wooden shoe rather be Dutch?

Computer Science is already grounded in Philosophy, especially in Artificial Intelligence. Have a look at Defeasible Logic (based on defeasible reasoning) for some recent developments. If you want specific programming languages, have a look at Prolog. Search for theorem solvers online. Or check wikipedia for Logic programming http://en.wikipedia.org/wiki/Logic_programming. For that matter, have a look at the Turing machine http://en.wikipedia.org/wiki/Turing_machine. Bottom line, the field of Computer Science is based on logic.