Supervenience
From CasGroup
| Line 5: | Line 5: | ||
Supervenience is related to trancendence, the state of being or existence above and beyond the limits of a system. It can be considered as a first step towards trancendence: if a system A which supervenes B is embedded and implemented in a system C, it has transcended B, because it exists above and beyond the limits of system B. | Supervenience is related to trancendence, the state of being or existence above and beyond the limits of a system. It can be considered as a first step towards trancendence: if a system A which supervenes B is embedded and implemented in a system C, it has transcended B, because it exists above and beyond the limits of system B. | ||
| - | + | == Examples == | |
A common example is the mind (system A) which supervenes on the brain (system B): any change in one's mental state implies that there has been some kind of change in one's brain state. Another example is a virtual machine which runs on a host computer. A virtual machine is a software implementation of a machine (computer) that executes programs like a real machine. A program which is executed on the virtual machine is independent from the hardware of the host machine, and yet it is executed by it. The commom examples are: | A common example is the mind (system A) which supervenes on the brain (system B): any change in one's mental state implies that there has been some kind of change in one's brain state. Another example is a virtual machine which runs on a host computer. A virtual machine is a software implementation of a machine (computer) that executes programs like a real machine. A program which is executed on the virtual machine is independent from the hardware of the host machine, and yet it is executed by it. The commom examples are: | ||
| Line 13: | Line 13: | ||
* software supervenes on hardware | * software supervenes on hardware | ||
* a virtual machine supervenes on a a real computer | * a virtual machine supervenes on a a real computer | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
== Links == | == Links == | ||
