3 ideas
| 8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
| Full Idea: In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'. | |
| From: report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic | |
| A reaction: [He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I. |
| 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? |
| 5958 | The sun is always bright; it doesn't become bright when it emerges [Plutarch] |
| Full Idea: The sun doesn't become bright when it emerges from the clouds; it always is bright. | |
| From: Plutarch (26: Oracles in Decline [c.85], §39) | |
| A reaction: Not an argument, but a nice appeal to common sense, like Russell's example of the cat that disappears behind the furniture and then reappears. To disagree with Plutarch here strikes me as the road to philosophical absurdity. |