What is Computer Science About
11 Citations•1999•
Oron Shagrir
The Monist
Then the relevant individuative relations are the formal relations among abstract objects, and if the observers wish, they can provide a formal description of the (set-theoretic) relations among theIndividuat ed types.
Abstract
then the relevant individuative relations are the formal relations among abstract objects. After that, if the observers wish, they can provide a formal description of the (set-theoretic) relations among the individuat ed types. This formal description is sometimes called the "computational theory" of the system, sometimes conceived as an abstract automaton im This content downloaded from 157.55.39.10 on Mon, 08 Aug 2016 06:12:03 UTC All use subject to http://about.jstor.org/terms