3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
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? |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
Full Idea: A Gettier case contains a belief which is true and well justified without being knowledge. Its justificatory support is also fallible, ...and there is considerable luck in how the belief combnes being true with being justified. | |
From: Stephen Hetherington (The Gettier Problem [2011], 5) | |
A reaction: This makes luck the key factor. 'Luck' is a rather vague concept, and so the sort of luck involved must first be spelled out. Or the varieties of luck that can produce this outcome. |