3 ideas
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
20643 | Consilience is a common groundwork of explanation [Whewell] |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |