3 ideas
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
Full Idea: If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist. | |
From: Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11 | |
A reaction: Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance? |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
Full Idea: Even the gods cannot strive against necessity. | |
From: report of Pittacus (reports [c.610 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.5.4 |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
Full Idea: Turing showed that any formal process can be specified computationally, and captured by a Turing Machine. Hence logical rules (and arithmetic) could be obeyed not by someone representing and following them, but by causal organisation of the brain. | |
From: report of Alan Turing (works [1935]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
A reaction: It is questionable whether logic is an entirely formal process, if it involves truth. You would need an entirely formal notion of truth for that. But a brain can do whatever a flow diagram can do. |